[發明專利]AADL2TASM模型轉換方法

有效

• 申請號: 201110369259.X
• 申請日: 2011-11-18
• 公開（公告）號: CN102520925A
• 公開（公告）日: 2012-06-27
• 發明（設計）人: 胡凱;蔣樹;楊志斌;顧彬;姜泮昌;張騰
• 申請（專利權）人: 北京航空航天大學
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.AADL2TASM模型轉換方法，用于將AADL模型轉換為TASM模型，其特征在于：

使用KM3描述源語言AADL的元模型；

使用KM3描述目標語言TASM的元模型；

針對AADL模型中的線程構件、分發器、模式變換、調度器，分別使用線程構件的轉換方法、分發器構件的轉換方法、模式變換的轉換方法和調度器構件的轉換方法，將AADL模型轉換為TASM模型。

2.根據權利要求1所述的模型轉換方法，其特征在于：所述AADL的元模型包括：

AadlSpec：AADL模型的根節點，包括25個屬性，其中包括AADL模型的名字等基本信息以及該模型中所有構件的類型(type)和實現(implementation)；

SystemType：描述系統的基本信息；

SystemImpl：與SystemType等級相同，都是AadlSpec的分支節點，該節點是對之前聲明的SystemType進行實例化，該節點聲明該系統實例中包含的子構件和連接，所包含的子構件包含硬件構件和/或軟件構件，硬件構件包括用戶定義的設備和處理器，軟件構件主要是線程，所聲明的連接是端口到端口的數據通信，此外還定義處理器與線程的綁定關系，規定線程在系統運行時對應的處理器；

ProcessorType：AadlSpec下的分支節點，主要描述聲明的處理器的基本信息；

ProcessorImpl：與ProcessorType等級相同，都是直屬于AadlSpec的分支節點，是對ProcessorType的實例化；

ProcessType：AadlSpec下的一個分支節點，主要描述聲明的進程的基本信息；

ProcessImpl：與ProcessType等級相同，都是直屬于AadlSpec的分支節點，是對ProcessType的實例化，定義該線程實例中包含的線程、線程組以及數據端口間的通信關系；

ThreadType：AadlSpec下的一個分支節點，定義一個線程的屬性，包括該線程的調度協議，如果是周期性線程，還包括計算執行時間、時間限和周期表，定義線程的輸入輸出端口；

ThreadImpl：與ThreadType等級相同，都是直屬于AadlSpec的分支節點，是對ThreadType的實例化。