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

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

    2022-05-09 digiproto

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

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

    2022-04-27 digiproto

  • SkyEye Q&A ——第一期

    Q1.什么是SkyEye?A1.SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,运用软件仿真技术,逼真地模拟出被测软件运行的物理环境。理想情况下,嵌入式软件的二进制可以不加修改直接运行于全数字实时仿真系统,且其运行的动态特性与真实环境一致。Q2.全数字实时仿真又是什么?A2.全数字实时仿真,指仿真的全过程可完全脱离原有的真实硬件环境完成。它不仅能够解决全物理和半

    2022-04-13 digiproto

  • 迪捷软件荣登首版次产品目录

    近日,浙江省经济和信息化厅公布的《2021年浙江省首版次软件产品应用推广指导目录》中,浙江迪捷软件科技有限公司的“天目全数字实时仿真软件 V3.5”榜上有名,成为2021年度绍兴市唯一入围软件产品。

    2022-03-03 digiproto

  • 【视频】基于SkyEye的数字卫星仿真平台

    众所周知,在太空中,卫星为了完成航天任务,在安全性与可靠性上有着极高的要求。为了确保卫星能够在太空中长时间安全地运转,卫星的各个系统本身不能有任何功能缺陷,而且需要适应各种特殊的环境,例如,适应巨大的温差变化,或者防止由于外太空高能量粒子冲击卫星太阳能板导致的程序反转等问题的发生。

    2022-02-17 digiproto

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

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

    2021-12-17 digiproto

  • 【视频】基于SkyEye的SoC仿真快速搭建测试用例

    片上系统System on Chip,简称SoC,是一种集成电路(也称为“芯片”),集成了计算机或其他电子系统的所有或大部分组件。SkyEye内置了一些常用SoC,例如DSP架构的c6713、c2812,有助于用户模拟真实硬件环境以及快速搭建测试用例。用户也可以右键板子进行自定义的添加和更新SoC。

    2021-12-15 digiproto

  • 【视频】SkyEye的“多开工程”功能

    一般编译运行程序类软件如eclipse、ccs等仅支持对单个工程的加载、运行、暂停、退出等操作,但SkyEye考虑到用户对工程进行批量测试的需求,故而提供多开工程功能。

    2021-12-10 digiproto

首页
产品
新闻
联系