-
![Schiaparelli着陆器坠毁事故回溯与思考]()
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日，Schiaparelli火星着陆器尝试登陆火星的过程中，在预定着陆前50秒与地面控制中心失联并意外坠毁，引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
![你真的了解虚拟机吗？]()
你真的了解虚拟机吗？
近年来，随着科技的发展，计算机在各行各业的应用越来越广泛，所扮演角色也越来越重要。小到超市收银系统，大到飞机导弹都有计算机的影子。正是因为这些广泛的应用推动了计算机体系的迅猛发展，为了满足各种需求，
2023-05-15 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
![设计模式六大原则你都知道吗？]()
设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2023-05-15 digiproto
-
![VxWorks任务调度]()
VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2023-05-15 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
