<dd id="g1iou"><center id="g1iou"></center></dd>
<progress id="g1iou"><big id="g1iou"></big></progress>
AADL模型分析工具AADL Inspector
AADL Inspector 是AADL模型分析平臺，是一個執行AADL靜態和動態架構分析的易用和可擴展工具，能夠輕松連接任何AADL兼容認證工具或代碼生成器，包括Stood、Osate、Cheddar和Marzhin等。
選擇AADL Inspector的五大理由：
● 強大的LMP能力有助于提供完備的AADL工具鏈，完善實時系統建模工作流程；
● 提供靜態分析和動態仿真分析手段，為實時分析和移植工作提高效率；
● 提供可定制接口，支持“plugin and check”、宏和命令行方式；
● 提供業內最強大的Cheddar可調度性分析內核及事后處理增強輸出模式；
● 跟蹤AADL標準的最新發布，更新軟件版本；
● 導入AADL 文本說明書
■ 語法分析（aadlrev）
■ AADL v2.1（AS-5506B）
■ AADL行為狀態附錄 (AS-5506/2 Annex D + 正誤表)
■ AADL 錯誤模型附錄 (AS-5506/1 附錄x E + 草案 of AS-5506/3 Annex E)
■ AADL ARINC 653 附錄（AS-5506/2 附錄 F）
■ AADL 版本1 和版本2.0 向上兼容性
■ 轉換 AADL 1.0 和 2.0 到 2.1結構（在屬性關聯上有一定的限制）
● 導入UML/MARTE模塊
● 從GitHub導入AADL庫
● 實時和開發向導
● 靜態規則分析
■ 標準文檔定義的完全追蹤性
■ AADL 命名規則（4.1, 4.2, 4.3 和 4.4章）
■ AADL 合法性規則（4.1, 4.2, 4.3 和 4.4章）
■ AADL 連貫性規則（4.5章）
■ 結構矩陣: 聲明和實例模式
■ 定制性能（用以支持 AADL 子集和項目特定規則）
● 可調度性分析
■ 集成CHEDDAR v3內核分析
■ AADL 對于Cheddar的模型轉化
■ 對于后處理增強的輸出格式
■ VCD（價值變動轉儲）文件定時靜態模擬輸出
● 動態模擬
■ 集成MARZHIN v2多主體模擬引擎
■ AADL運行模擬（多處理器和多分支結構）
■ 顯示處理器、總線、進程、線程和共享數據的動態時間線
■ 異步用戶互動：事件和數據的出入
■ VCD（價值變動轉儲）文件模擬追蹤輸出
●實時屬性編輯器
■ 從所有的線程實例中提取主要的實時屬性
■ 易于修改的電子表格程序編輯器
■ 插入可變項到文本聲明模型
●使用工具定制性能
■“插件和檢查”分析工具
■ 宏命令定義的腳本語言
■ 命令行操作
●LMP（邏輯模式處理）推動
■ AADL和XML/XMI剖析
■ 模型查詢語言
■ 模型強制語言
■模型轉換語言
