-
![Schiaparelli着陆器坠毁事故回溯与思考]()
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日，Schiaparelli火星着陆器尝试登陆火星的过程中，在预定着陆前50秒与地面控制中心失联并意外坠毁，引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
![二进制文件符号信息]()
二进制文件符号信息
在日常的开发工作中，程序员经常使用gdb工具来调试二进制编译文件，以定位和解决一些bug。但同时，很少会有人关注二进制文件中的调试信息从何而来，又是怎么保存和解读的呢？
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
![设计模式六大原则你都知道吗？]()
设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2023-05-15 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto
-
![漫谈车载操作系统发展趋势]()
漫谈车载操作系统发展趋势
操作系统提供计算机硬件和应用程序之间的接口，通过遵循编程到操作系统中的规则和程序，限制应用程序使用硬件；提供简化应用程序开发和执行的服务，包括将程序加载到内存、与传感器和执行器通信、存储结果等各种硬件资源管理的功能，还包括如中间件、库及其他系统软件功能。
2023-05-15 digiproto
-
![SkyEye——如何实现1553B总线仿真？]()
SkyEye——如何实现1553B总线仿真？
011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准，具有双向传输的特性，实时性和可靠性高，现已广泛应用于航空、航天、船舶、电子等众多领域中，如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成，分别是总线控制器 BC（Bus Controler），远程终端RT（Remote Terminal）以及总线监视器 BM（Bus Monitor）。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
