• ModelCoder:实现汽车四轮转向控制系统的建模仿真

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

    2022-04-27 digiproto

上一页1下一页 转至第
首页
产品
新闻
联系