-
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展，嵌入式系统的功能日益强大，嵌入式设备和软件应用领域越来越宽泛。近年来，嵌入式软件代码量呈爆炸式增长，对测试的要求越来越高，尤其是涉及防务、航空、汽车等安全关键领域。
2022-05-13 digiproto
-
「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台
不积跬步，无以至千里。面对如此巨大的市场需求，潜心耕耘近20年的迪捷团队抓住机遇，厚积薄发，于2019年成立浙江迪捷软件科技有限公司，推出了基于模型的系统工程（MBSE）的自主研发产品。
2022-05-09 digiproto
-
虚拟ECU：唤醒传统汽车开发灵魂
迪捷软件作为汽车等安全关键领域产品与解决方案提供商，通过涵盖基于模型的系统工程（Model Based System Engineering，MBSE）的整个生命周期的全系列产品，为汽车电子系统开发提供完整的解决方案，支持虚拟ECU和从系统到软件的车辆虚拟样机设计。
2022-04-28 digiproto
-
![ModelCoder：实现汽车四轮转向控制系统的建模仿真]()
ModelCoder：实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具，支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于汽车控制系统、飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
![航电系统的GPU虚拟化仿真]()
航电系统的GPU虚拟化仿真
SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模，完美解决航电系统虚拟化的难题。
2022-04-24 digiproto
-
![SkyEye卫星篇：从无到有的国之“芯”]()
SkyEye卫星篇：从无到有的国之“芯”
SkyEye（中文全称天目全数字仿真软件）是迪捷软件核心产品之一，具备仿真硬件的功能和性能要求，目前已经能够仿真多款嵌入式架构芯片，其中包括卫星中常用到SPARC、POWERPC等架构芯片，也包括我国自主研发的芯片——龙芯。
2022-04-19 digiproto
-
![【视频】基于SkyEye仿真运行国产操作系统ReWorks]()
【视频】基于SkyEye仿真运行国产操作系统ReWorks
ReWorks是由我国自主研发的国产嵌入式实时操作系统，该操作系统能够适配多种目标硬件环境，对操作系统内核、集成开发环境、实时中间件、图形用户界面等核心技术有全面的技术支持能力，广泛应用于工业控制和轨道交通等安全关键领域。使用SkyEye天目全数字实时仿真软件能够仿真验证轨道交通设备软件运行的正确性，并有效降低硬件调试所产生的成本。
2022-04-15 digiproto
