-
![SkyEye仿真平台下的操作系统实验- 准备篇（一）]()
SkyEye仿真平台下的操作系统实验- 准备篇（一）
《一步步写嵌入式操作系统》从零开始实现了操作系统leeos，并在SkyEye虚拟机中进行了实验验证。 leeos是一个简单的多任务操作系统，进程调度方式为时间片轮询。leeos使用伙伴算法实现了动态内存分配，支持romfs文件系统，支持运行elf格式的可执行文件。leeos提供了一个简单的驱动程序框架，和一个统一的异常与中断处理架构，并通过使用中断嵌套的方法提高了中断效率。leeos支持mmu，使用两级页表结构实现虚拟地址到物理地址的转换。以上涉及到的技术都在《一步步写嵌入式操作系统》中有详细讲解。
2023-05-15 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
![GOF设计模式之桥接模式]()
-
![基于模型的设计（MBD）在汽车ECU软件开发中的实践]()
基于模型的设计（MBD）在汽车ECU软件开发中的实践
基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。
2023-05-15 digiproto
-
![概念：四种基于模型的嵌入式软件开发、测试与验证方法]()
概念：四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境，开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证，并进行最终的产品部署。
2023-05-15 digiproto
-
![知识丨软件定义汽车下的整车开发]()
知识丨软件定义汽车下的整车开发
新一轮科技革命和产业变革方兴未艾，作为新技术集成应用最佳载体之一的汽车正加速向智能化转型，智能汽车已成为全球汽车产业发展的战略方向。整车电子系统功能复杂度呈指数级上升，软件占比持续增大。
2022-12-02 digiproto
-
![嵌入式软件测试的10条秘诀]()
-
![汽车领域：基础软件验证平台]()
汽车领域：基础软件验证平台
汽车电子的高速发展决定了基础软件所面临的要求将会更加严格，其要求会覆盖软件的安全性、稳定性、可扩展性等方方面面。为了提高软件质量，降低软件应用风险，构建高安全、高可靠性、高效率实施的基础软件验证平台则是必不可少的一环。
2022-11-04 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
