-
![浅议飞机状态监控]()
浅议飞机状态监控
安全问题一贯是全球航空业的重中之重，随着航空装备的日益发展，飞机性能不断提高、功能不断完善，飞机系统结构愈加复杂，与之对应的维护保障成本也日益提升，如何解决这一问题依然是是航空从业者需要研究的课题。
2023-05-15 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![ARM发家史：无名者的逆袭]()
-
![ModelCoder状态机中的State逻辑]()
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真，其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态（State）的部分逻辑。
2023-05-15 digiproto
-
![浅议嵌入式软件覆盖率测试]()
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展，嵌入式系统的功能日益强大，嵌入式设备和软件应用领域越来越宽泛。近年来，嵌入式软件代码量呈爆炸式增长，对测试的要求越来越高，尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
![SkyEye卫星篇：从无到有的国之“芯”]()
SkyEye卫星篇：从无到有的国之“芯”
SkyEye（中文全称天目全数字仿真软件）是迪捷软件核心产品之一，具备仿真硬件的功能和性能要求，目前已经能够仿真多款嵌入式架构芯片，其中包括卫星中常用到SPARC、POWERPC等架构芯片，也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto
-
![汽车安全困境：如何破局？]()
-
![如何提高安全关键领域的软件开发质量]()
如何提高安全关键领域的软件开发质量
对安全关键领域或业务关键的软件来说，如在质量上有任何细微的妥协，都将可能导致严重的经济损失或危及生命安全的后果，该类软件开发的首要重点必须为质量。本文将讨论把软件质量放在首位时的嵌入式软件开发流程优化方法。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
