-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto 555
-
![细数SkyEye异构仿真的5大特色]()
细数SkyEye异构仿真的5大特色
航天飞行器使用仿真器的重要性航天飞行器如卫星、载人飞船等需要在空中运行很长的时间，如果出现问题回收再调试可能要历时几个月，而且不得不中断任务，损失将是庞大的。
2023-05-15 digiproto 953
-
![ModelCoder中的代数环问题]()
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2023-05-15 digiproto 687
-
![GOF设计模式之桥接模式]()
-
![初识CPS方法的连续动态建模]()
初识CPS方法的连续动态建模
信息物理融合系统（CPS）是对计算进程与物理进程进行集成所形成的综合系统，其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程，且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。
2023-05-15 digiproto 966
-
![基于模型的设计（MBD）在汽车ECU软件开发中的实践]()
基于模型的设计（MBD）在汽车ECU软件开发中的实践
基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。
2023-05-15 digiproto 1403
-
![DevSecOps：软件安全捍卫者]()
DevSecOps：软件安全捍卫者
顾名思义，DevSecOps是DevOps（链接）概念的延续，为应对安全漏洞日益严重的当下DevOps可能存在的安全问题而提出，旨在最大程度减少软件开发全生命周期中的产品漏洞，以避免安全问题可能导致的经济与法律问题。
2023-05-15 digiproto 661
-
![漫谈金丝雀部署(Canary Deployment)]()
漫谈金丝雀部署(Canary Deployment)
一些历史1895年，英国生理学家John Scott Haldane提出，小型恒温动物的呼吸交换比人类更快，矿井中的一氧化碳等有毒气体或甲烷等窒息性气体会先影响它们。同样的一氧化碳浓度下，老鼠会在几分钟内受到一氧化碳的影响，而人类需要 20 倍的时间。于是自1896年左右，老鼠开始被用作预警井下有毒气体的工具。一段时间后，人们发现金丝雀这种生物对于有毒气体更加敏感。最早的记录是在1900年：一些矿
2023-05-15 digiproto 1257
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
