-
![技术洞见｜软件定义汽车的思辩]()
-
![技术交流 - 漫谈嵌入式实时操作系统]()
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。
2022-09-13 digiproto
-
![如何搭建点燃式发动机仿真模型]()
-
![嵌入式系统开发中的DevOps自动化： 工具、益处和挑战]()
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
![ModelCoder状态机：对柴油机工况判断策略进行建模]()
ModelCoder状态机：对柴油机工况判断策略进行建模
1.柴油机ECU简介柴油机是用柴油作燃料的内燃机，属于压缩点火式发动机。柴油机ECU（Electronic Control Unit，电子控制单元）的主要功能有：接受来自柴油机上的各个传感器信号；进行工况判断；根据开发人员事先编写的控制策略与标定存储的各类MAP（汽车工程上常用的实验数据图），计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数；通过功率驱动模块控制执行器输出。柴油机E
2022-07-29 digiproto
-
![DevOps在物联网解决方案中的应用]()
DevOps在物联网解决方案中的应用
物联网对生产生活的应用赋能体现在方方面面：通过传感器，即便远隔千里也能对设备进行运维监控；智能音箱普及之下，语音呼唤就能乐享智慧生活；覆盖道路的视频监控实时传输给行驶中的车辆，车路协同让无人驾驶成为可能……
2022-07-28 digiproto
-
![什么是CI/CD？]()
什么是CI/CD？
CI（Continuous Integration，持续集成）/CD（Continuous Delivery，持续交付/Continuous Deployment，持续部署）属于DevOps的概念，指将传统开发过程中的代码构建、测试、部署以及基础设施配置等一系列流程的人工干预转变为自动化。使用CI/CD，代码经由开发人员更改后，可进行自动化测试并完成交付和部署。恰当的CI/CD管道可使计算机停机时
2022-07-21 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
