-
![ECU标定知多少]()
-
![浅议飞机状态监控]()
浅议飞机状态监控
安全问题一贯是全球航空业的重中之重，随着航空装备的日益发展，飞机性能不断提高、功能不断完善，飞机系统结构愈加复杂，与之对应的维护保障成本也日益提升，如何解决这一问题依然是是航空从业者需要研究的课题。
2023-05-15 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
![VxWorks任务调度]()
VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2023-05-15 digiproto
-
![如何确保安全关键领域多核嵌入式系统中的软件时序]()
如何确保安全关键领域多核嵌入式系统中的软件时序
开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。
2023-05-15 digiproto
-
![SkyEye仿真平台下的操作系统实验- 准备篇（一）]()
SkyEye仿真平台下的操作系统实验- 准备篇（一）
《一步步写嵌入式操作系统》从零开始实现了操作系统leeos，并在SkyEye虚拟机中进行了实验验证。 leeos是一个简单的多任务操作系统，进程调度方式为时间片轮询。leeos使用伙伴算法实现了动态内存分配，支持romfs文件系统，支持运行elf格式的可执行文件。leeos提供了一个简单的驱动程序框架，和一个统一的异常与中断处理架构，并通过使用中断嵌套的方法提高了中断效率。leeos支持mmu，使用两级页表结构实现虚拟地址到物理地址的转换。以上涉及到的技术都在《一步步写嵌入式操作系统》中有详细讲解。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
