-
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发,是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
基于模型的设计(MBD)在汽车ECU软件开发中的实践
基于模型的设计(MBD)是整车厂在当前激烈的竞争环境下的最优选,但如何选择一套应用MBD、以模型为核心,且能处理从需求、设计、代码生成到测试的开发工具?点击原文了解详情。
2023-05-15 digiproto
-
概念:四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境,开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证,并进行最终的产品部署。
2023-05-15 digiproto
-
知识丨软件定义汽车下的整车开发
新一轮科技革命和产业变革方兴未艾,作为新技术集成应用最佳载体之一的汽车正加速向智能化转型,智能汽车已成为全球汽车产业发展的战略方向。整车电子系统功能复杂度呈指数级上升,软件占比持续增大。
2022-12-02 digiproto