高等教育領域數字化綜合服務平臺
北京航空航天大學
工業和信息化部
- 19 高校采購信息
- 298 科技成果項目
- 1 創新創業項目
- 0 高校項目需求
嵌入式實時系統建模驗證工具
2021-04-13 00:00:00
云上高博會
http://www.502d.xyz
關鍵詞：
系統建模
所屬領域:
項目成果/簡介:
為了提高安全關鍵實時嵌入式軟件系統的質量，降低開發成本與周期，并使得軟件系統具有可重用、可移植和互操作等特性，基于目前國際標準體系結構描述語言AADL（ Architecture Analysis and Design Language）和同步語言Signal，研發了輔助配套軟件工具集，可進行系統的可靠性、可調度性、安全性分析，以及自動代碼生成，從全生命周期的角度保證系統的可信性質。
本項目主要特點如下。
1．可以插件的形式集成在AADL開發平臺OSATE上，支持高可靠性實時系統的軟件設計建模；
2．可以提供集成開發環境，將AADL模型轉換為TASM模型和UPPAL模型，然后采用相關的模型分析和檢測工具進行驗證分析，包括可靠性、可調度性、時間屬性等分析；
3．可以支持基本的AADL到C，Signal到OpenMP的自動代碼生成技術。
目前該成果已指導多個關鍵實時系統的建模和驗證應用，獲得國家專利1項。
項目階段:
掃碼關注，查看更多科技成果
取消
確定