-
![如何搭建嵌入式DevOps协作开发环境]()
如何搭建嵌入式DevOps协作开发环境
DevOps（Development和Operations的组合词）是过程、方法与系统的统称，用于促进开发（应用程序/软件工程）、技术运营和质量保障部门之间的沟通、协作与整合。本文将着重讨论如何搭建嵌入式DevOps的协作开发环境。
2025-09-22 digiproto
-
![技术交流 - 漫谈嵌入式实时操作系统]()
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。
2025-08-25 digiproto
-
![浅议实时操作系统RTOS]()
浅议实时操作系统RTOS
相较于通用的分时操作系统（Linux、Windows、Unix等），RTOS有着仅适用于嵌入式应用程序、基于时间片调度、抢占式内核等特点，其中断延迟可达到以微秒为单位。
2025-08-18 digiproto
-
![嵌入式软件测试的10条秘诀]()
-
![汽车软件的模糊测试]()
汽车软件的模糊测试
01ISO/SAE 21434与模糊测试随着AI（Artificial Intelligence，人工智能）、移动通讯、大数据及物联网等新技术、新基础设施建设的高速发展，汽车，尤其是新能源汽车已不再是简单的交通工具，而是逐渐向智能终端转变，安全问题也随之凸显。2021年8月31日，汽车信息安全领域首个国际标准ISO/SAE 21434（道路车辆-网络安全工程）正式发布，众多OEM厂商（Origin
2025-07-15 digiproto
-
![知识丨软件定义汽车的价值]()
知识丨软件定义汽车的价值
通过软硬件分层解耦架构，汽车开发将进入到以软件为核心的迭代开发新模式——软硬件不仅可以同步进行平台化开发，还可保持差异化上市和持续升级迭代，从而大大缩短产品的研发周期。
2025-06-16 digiproto
-
![让高端装备“先跑起来”：虚拟仿真验证平台重塑研制流程]()
让高端装备“先跑起来”：虚拟仿真验证平台重塑研制流程
在工业转型提速、“新质生产力”加快形成的时代背景下，高端装备已成为制造业核心竞争力的体现。从工业机器人到无人机系统，从特种车辆到飞控平台，越来越多融合多种控制器、传感器和执行单元的复杂装备，正逐步在各类重点工程和核心环节中实现落地应用。
2025-06-13 digiproto
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
