-
基于ModelCoder的汽车悬挂系统建模
悬挂系统主要功能为支持车身、改善乘坐感觉。悬挂系统综合多种作用力,决定着汽车行驶过程的稳定性、舒适性和安全性,是整车厂需要考量的重要汽车部件之一。
2022-11-25 digiproto
-
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分,直接影响航天任务成败,需要利用RTOS作为基础平台在机制上予以保障,完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理,从而降低上层应用软件复杂性,使之能专注于核心功能,提高软件产品质量,缩短研制周期,并提高系统的确定性、可靠性和灵巧性。
2022-09-13 digiproto
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
迪捷软件启航杯MBSE建模大赛见闻
2020年10月27日,由中国航天科技集团有限公司八院八〇五研究所(上海宇航系统工程研究所)与中国商用飞机有限责任公司北京民用飞机技术研究中心(以下简称中国商飞北研中心)共同主办的“启航杯”...
2021-06-03 迪捷软件