-
基于软件在环的飞控机建模仿真
机载软件安全性是指通过软件验证减少机载软件生命周期内的错误，直到软件错误在可控范围内，进而保证软件在使用过程中不具备引发系统危害的能力。
2025-03-10 digiproto
-
异构仿真：打造更可靠的综合化航空电子软件
综合化航空电子系统是一类典型的安全关键系统，具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化，系统的功能越来越多地采用软件来实现，如何打造更为可靠的综合化航空电子软件成为一个重要挑战。
2025-03-10 digiproto
-
敏捷、DevOps和嵌入式系统测试
01 覆盖率测试概念“测试”在百度百科中的注释为：具有试验性质的测量，即测量和试验的综合。如今人们在提到“测试”时，通常指代的是软件测试（Software Testing），而本文着墨对象则为嵌入式系统测试（Embedded Testing）。嵌入式系统测试，特指对嵌入式系统中的软件部分进行测试，与软件测试有所不同。1.1. 嵌入式系统的具体定义IEEE（国际电机工程师协会）：嵌入式系统是“控制、
2025-02-28 digiproto
-
-
![汽车安全困境：如何破局？]()
-
![Schiaparelli着陆器坠毁事故回溯与思考]()
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日，Schiaparelli火星着陆器尝试登陆火星的过程中，在预定着陆前50秒与地面控制中心失联并意外坠毁，引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
![如何确保安全关键领域多核嵌入式系统中的软件时序]()
如何确保安全关键领域多核嵌入式系统中的软件时序
开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。
2023-05-15 digiproto
-
![DevSecOps：软件安全捍卫者]()
DevSecOps：软件安全捍卫者
顾名思义，DevSecOps是DevOps（链接）概念的延续，为应对安全漏洞日益严重的当下DevOps可能存在的安全问题而提出，旨在最大程度减少软件开发全生命周期中的产品漏洞，以避免安全问题可能导致的经济与法律问题。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
