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

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