嵌入式实时系统建模验证工具
为了提高安全关键实时嵌入式软件系统的质量,降低开发成本与周期,并使得软件系统具有可重用、可移植和互操作等特性,基于目前国际标准体系结构描述语言AADL( Architecture Analysis and Design Language)和同步语言Signal,研发了辅助配套软件工具集,可进行系统的可靠性、可调度性、安全性分析,以及自动代码生成,从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1.可以插件的形式集成在AADL开发平台OSATE上,支持高可靠性实时系统的软件设计建模; 2.可以提供集成开发环境,将AADL模型转换为TASM模型和UPPAL模型,然后采用相关的模型分析和检测工具进行验证分析,包括可靠性、可调度性、时间属性等分析; 3.可以支持基本的AADL到C,Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用,获得国家专利1项。
北京航空航天大学
2021-04-13