-
SAFERTOS在医疗设备中的应用
SAFERTOS为开发人员提供响应迅速、稳健、确定性的嵌入式实时操作系统 (RTOS)。它包含开发医疗设备所需的功能,并且提供设计历史文件(DHF),为医疗设备集成SAFERTOS提供满足认证所需的文档。
2022-07-18 digiproto 598
-
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 614
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto 795
-
SkyEye Q&A ——第一期
Q1.什么是SkyEye?A1.SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,运用软件仿真技术,逼真地模拟出被测软件运行的物理环境。理想情况下,嵌入式软件的二进制可以不加修改直接运行于全数字实时仿真系统,且其运行的动态特性与真实环境一致。Q2.全数字实时仿真又是什么?A2.全数字实时仿真,指仿真的全过程可完全脱离原有的真实硬件环境完成。它不仅能够解决全物理和半
2022-04-13 digiproto 624
-
ModelCoder模块系列:PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库,40余个模块,PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto 771
-
ModelCoder中的超密时间模型
许多仿真模型中都有时间的概念,这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的,这两个动作在执行时要么按顺序执行,也就是说某个动作在另外一个动作之前;要么两个同时执行(并发执行)。
2022-01-18 digiproto 518