嵌入式实时系统建模验证工具

高端装备制造

为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。

本项目主要特点如下。

1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模；

2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析；

3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。

目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。

未应用