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

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

    2021-12-10 digiproto

  • 初识CPS方法的连续动态建模

    信息物理融合系统(CPS)是对计算进程与物理进程进行集成所形成的综合系统,其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程,且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。

    2021-10-25 digiproto

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