• SkyEye Q&A ——第二期

    Q1:什么是车载ECU?A1:ECU(Electronic Control Unit)电子控制单元,又称“车载电脑”等。它和普通的电脑一样,由微控制器(MCU,Microcontroller Unit)、存储器(ROM,Read-Only Memory)、RAM(Random Access Memory,随机存取存储器)、输入/输出接口(I/O,Input/Output)、模数转换器(A/D,An

    2022-07-14 digiproto

  • 【视频】基于SkyEye仿真运行RT-Thread国产操作系统

    ​RT-Thread(Real Time-Thread)是一款由中国开源社区主导开发的开源嵌入式实时多线程操作系统。RT-Thread拥有单独的实时操作系统内核,是一个完整的应用系统,包含实时嵌入式系统相关的各个组件,如TCP/IP协议栈、文件系统、libc接口、图形用户界面等。

    2022-06-07 digiproto

  • 「迪捷软件」喜获Pre-A轮千万级融资,硬核科技打造安全关键领域嵌入式数字仿真平台

    不积跬步,无以至千里。面对如此巨大的市场需求,潜心耕耘近20年的迪捷团队抓住机遇,厚积薄发,于2019年成立浙江迪捷软件科技有限公司,推出了基于模型的系统工程(MBSE)的自主研发产品。

    2022-05-09 digiproto

  • ModelCoder:实现汽车四轮转向控制系统的建模仿真

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

    2022-04-27 digiproto

  • ModelCoder模块系列:PID模块介绍

    ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库,40余个模块,PID Controller为ModelCoder实现PID控制算法的模块。

    2022-03-17 digiproto

  • 【视频】SkyEye仿真软件的仿真时间介绍

    仿真时间即虚拟目标系统运行的时间,SkyEye设计了一套专门的仿真时间机制,区别于真实的物理时间。所有虚拟目标系统运行时内部时钟皆基于该机制生成,CPU和外设采用统一的仿真时间以保证系统模块间的同步。

    2021-12-31 digiproto

  • 【视频】基于SkyEye仿真的远程调试

    SkyEye全称天目全数字实时仿真软件,是真实物理硬件的数字孪生。SkyEye提供GDB远程调试功能,能够在没有真实硬件的情况下进行源码级别的调试,且整个调试过程,包括使用人员的操作习惯等与在真实硬件中调试完全一致,大大缩短开发过程中因硬件环境所带来的时间损耗。

    2021-12-27 digiproto

  • 【视频】基于SkyEye的目标码覆盖率分析

    数字时代,嵌入式系统越来越复杂,功能迭代越来越多,代码中可能会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这可能会给软件带来各种漏洞,严重降低软件的可靠性。SkyEye提供的动态分析代码执行覆盖情况的功能,可以方便快捷地检测代码中未执行的覆盖情况。SkyEye还可以涵盖基于模型的系统工程(MBSE)的开发和仿真测试的各个环节。

    2021-12-17 digiproto

首页
产品
新闻
联系