-
SAFERTOS在医疗设备中的应用
SAFERTOS为开发人员提供响应迅速、稳健、确定性的嵌入式实时操作系统 (RTOS)。它包含开发医疗设备所需的功能,并且提供设计历史文件(DHF),为医疗设备集成SAFERTOS提供满足认证所需的文档。
2022-07-18 digiproto
-
SOA:整车架构下一代的升级方向
长期来看,为了实现软件定义汽车,智能汽车软件架构正在向SOA(Service-Oriented Architecture,面向服务的分布式架构)转型升级。SOA(Service-Oriented Architecture面向服务的架构)将重构汽车生态,汽车行业很可能复制PC和智能手机的“底层硬件、中间层操作系统、上层应用程序”的软件分工模式,同时涌现出智能汽车中间件的行业巨头,上层APP开发者无须关注底层硬件架构,而专注于应用开发。
2022-07-05 digiproto
-
“云上SkyEye,数字未来”——DISA决赛,我们来了!
备受瞩目的DISA*,即“2021工业软件创新应用大赛”正在如火如荼的进行中。备受瞩目的DISA*,即“2021工业软件创新应用大赛”正在如火如荼的进行中。 本次大赛由广东省工业和信息化厅指导,东莞市人民政府主办,东莞市工业和信息化局、数字化工业软件联盟承办、数字化学会、华为云、中国工业技术软件化产业联盟协办,聚焦国内技术短板,获得了行业瞩目。
2022-06-07 digiproto
-
「迪捷软件」喜获Pre-A轮千万级融资,硬核科技打造安全关键领域嵌入式数字仿真平台
不积跬步,无以至千里。面对如此巨大的市场需求,潜心耕耘近20年的迪捷团队抓住机遇,厚积薄发,于2019年成立浙江迪捷软件科技有限公司,推出了基于模型的系统工程(MBSE)的自主研发产品。
2022-05-09 digiproto
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
ModelCoder模块系列:PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库,40余个模块,PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto