基于模型的软件设计和
代码自动生成工具•轨交
基于模型的软件设计和代码自动生成工具提供基于模型的控制软件及显示系统软件建模,提供图形化的建模方式。基于形式化同步语言,具备严谨的数学基础,可从根本上保证软件模型具备精确性、一致性、可验证性、无二义性,以及模型行为的确定性,非常适合高安全性关键领域的嵌入式系统软件研制开发。
基于模型可自动生成产品级C代码或Ada代码,并能保证代码和模型的一致性,生成的代码具有以下特点:
- 与硬件平台无关,可移植性好,兼容 ISO-C 标准;
- 代码反映数据流模型架构,可追溯到对应的模型;
- 代码可读性好,生成的 C 代码符合 MISRA C 的规范;
- 内存分配完全静态,没有动态内存分配;
- 没有指针运算,没有递归;
- 所有变量都被初始化;
- 所有的循环边界都是确定的;
- 所有的数组边界都是确定的;
- 最长执行时间都是确定的;
且代码生成器通过了 DO-178C/DO-330 TQL-1、IEC 61508 SIL3、EN 50128 SIL 3/4、ISO 26262 ASIL D 等标准相应安全等级的鉴定,代码生成器节省了编码阶段诸如代码审查和代码的低层验证的工作,缩短了认证和修改的时间和工作量。