• ModelCoder中的超密时间模型

    许多仿真模型中都有时间的概念,这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的,这两个动作在执行时要么按顺序执行,也就是说某个动作在另外一个动作之前;要么两个同时执行(并发执行)。

    2022-01-18 digiproto

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

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

    2021-12-31 digiproto

  • 基于常微分方程初值问题的ModelCoder固定步长求解器分析

    形式化验证的代码生成工具ModelCoder由迪捷软件自主开发,是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。

    2021-12-10 digiproto

上一页1下一页 转至第
首页
产品
新闻
联系