航空-媒体中心-迪捷软件-关键领域·国内领先的嵌入式数字样机提供商

Schiaparelli着陆器坠毁事故回溯与思考

2016年10月19日，Schiaparelli火星着陆器尝试登陆火星的过程中，在预定着陆前50秒与地面控制中心失联并意外坠毁，引起较大轰动。点击原文了解事故详情和解决方案。

2023-05-15 digiproto

二进制文件符号信息

在日常的开发工作中，程序员经常使用gdb工具来调试二进制编译文件，以定位和解决一些bug。但同时，很少会有人关注二进制文件中的调试信息从何而来，又是怎么保存和解读的呢？

2023-05-15 digiproto

L2C中Lustre语义的环境定义

随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。

2023-05-15 digiproto

浅谈状态机

在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。

2023-05-15 digiproto

设计模式六大原则你都知道吗？

单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。

2023-05-15 digiproto

L2C中CtempGen层语义保持证明中环境匹配的定义

ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

2023-05-15 digiproto

011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准，具有双向传输的特性，实时性和可靠性高，现已广泛应用于航空、航天、船舶、电子等众多领域中，如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成，分别是总线控制器 BC（Bus Controler），远程终端RT（Remote Terminal）以及总线监视器 BM（Bus Monitor）。

2023-05-15 digiproto

如何确保安全关键领域多核嵌入式系统中的软件时序

开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。

2023-05-15 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷