01

ModelCoder的介绍


在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具,对算法或控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为安全关键领域的主流软件开发方式。


ModelCoder支持基于模型的嵌入式系统设计、仿真和可信代码自动生成,提供了图形编辑器、模块库以及对应的求解器,可对算法或控制逻辑进行可视化建模。其可信代码生成器可通过形式化验证技术将用户模型翻译为可信代码,进而不加修改地应用于多种嵌入式系统。


ModelCoder具有结构明了、流程清晰、仿真精细、贴近实际、效率高、灵活、适应面广泛等优点,可被应用于如控制系统和数字信号处理(DSP)等复杂模型的设计和仿真。


ModelCoder支持多个领域


图片关键词


首页
产品
新闻
联系