-
![VxWorks任务调度]()
VxWorks任务调度
大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。
2023-05-15 digiproto 1934
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto 531
-
![浅谈ARMv7-A协处理器CP15]()
浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2023-05-15 digiproto 2958
-
![初识Web Component]()
初识Web Component
Web Components是为了解决HTML不支持组件导致的代码冗余。在没有组件的情况下，相同的HTML结构需要在代码出现多次，既不美观又严重影响维护，从而影响项目的开发进度。
2023-05-15 digiproto 965
-
![软件定义汽车带来的困境---如何破局？]()
软件定义汽车带来的困境---如何破局？
随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。
2023-05-15 digiproto 684
-
![DevSecOps：软件安全捍卫者]()
DevSecOps：软件安全捍卫者
顾名思义，DevSecOps是DevOps（链接）概念的延续，为应对安全漏洞日益严重的当下DevOps可能存在的安全问题而提出，旨在最大程度减少软件开发全生命周期中的产品漏洞，以避免安全问题可能导致的经济与法律问题。
2023-05-15 digiproto 733
-
![漫谈金丝雀部署(Canary Deployment)]()
漫谈金丝雀部署(Canary Deployment)
一些历史1895年，英国生理学家John Scott Haldane提出，小型恒温动物的呼吸交换比人类更快，矿井中的一氧化碳等有毒气体或甲烷等窒息性气体会先影响它们。同样的一氧化碳浓度下，老鼠会在几分钟内受到一氧化碳的影响，而人类需要 20 倍的时间。于是自1896年左右，老鼠开始被用作预警井下有毒气体的工具。一段时间后，人们发现金丝雀这种生物对于有毒气体更加敏感。最早的记录是在1900年：一些矿
2023-05-15 digiproto 1329
-
![DevOps：定义汽车软件新开发模式]()
DevOps：定义汽车软件新开发模式
汽车的系统开发以模型驱动开发为主（Model-based systems engineering，MBSE），快速迭代、持续集成、可靠性代码自动生成、测试自动化等改善开发流程的需求逐渐受到重视。
2023-05-15 digiproto 1178
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
