国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink

在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

ModelCoder简介

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

ModelCoder的3大功能

  1. 仿真测试
  2. 生成C代码
  3. 模型搭建

Modelcoder的优势

  1. 代码生成全过程经过形式化验证，安全可靠
  2. 图形化方式建模，更直观
  3. 国产处理器和国产操作系统的支持

转载于：http://www.digiproto.com

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/566736.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

自主可控的安全关键领域国产工业软件SkyEye

自主可控的安全关键领域国产工业软件SkyEye

全球制造业正处于新一轮变革的浪潮中，大数据、云计算等新一代信息技术正加速向工业领域融合渗透，工业互联网、工业4.0、智能制造等战略理念不断涌现。传统产业数字化转型升级的需求强烈，工业软件缺乏自主可控成为横亘在我国发展工业4.0道路上…
阅读更多...
weblogic中ssrf漏洞修复_Weblogic-SSRF漏洞复现

weblogic中ssrf漏洞修复_Weblogic-SSRF漏洞复现

0x00简介WebLogic是美国Oracle公司出品的一个application server确切的说是一个基于JAVAEE架构的中间件，BEA WebLogic是用于开发、集成、部署和管理大型分布式Web应用、网络应用和数据库应用的Java应用服务器。SSRF简介服务端请求伪造(Server-Side Request Forgery)…
阅读更多...
python 字符串unicode编码_python的string与Unicode转换，gbk字符串编码

python 字符串unicode编码_python的string与Unicode转换，gbk字符串编码

问题一字串前面少了u。当遇见以下情况。返回字符串为\u82f9\u679c的unicode时候。str1 \u82f9\u679c # 这里没有u，当传入参数不是unicode的时候print str1 # 结果是 : \u82f9\u679cprint u\u82f9\u679c # 结果是 : 苹果解决方法：加上ustr1 \u82f9\u679…
阅读更多...
应用在核电站DCS系统的代码自动生成工具ModelCoder

应用在核电站DCS系统的代码自动生成工具ModelCoder

对标航空航天领域，核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确，即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段，开发出符合核工业本身的需求&#xff0…
阅读更多...
怎样在电脑上上传图片_电脑上回收站怎样恢复

怎样在电脑上上传图片_电脑上回收站怎样恢复

把桌面上的文件删除，如果想再次找回，只要在电脑的回收站就可以原封不动的把文件找回来。但不小心删除了回收站的信息，怎么办呢?大家遇以这样的情况，也不要太着急，电脑上回收站怎样恢复呢？小编带分享一下解…
阅读更多...
基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用

基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用

基于模型的系统工程（MBSE）使用数字模型的方式表达描述工程系统的完整生命周期中的需求和设计等活动，以无歧义、模块化等优点快速覆盖了如航空航天、船舶、卫星等相关安全关键领域。在系统工程的初期，系统产生的信息都以文档得形式…
阅读更多...
python的字符编码叙述_Python: 熟悉又陌生的字符编码

python的字符编码叙述_Python: 熟悉又陌生的字符编码

字符编码是计算机编程中不可回避的问题，不管你用 Python2 还是 Python3，亦或是 C, Java 等，我都觉得非常有必要厘清计算机中的字符编码概念。本文主要分以下几个部分介绍：基本概念常见字符编码简介Python 的默认编码Python2 中的字…
阅读更多...
基于模型的系统工程MBSE软件工具（ModelCoder）

基于模型的系统工程MBSE软件工具（ModelCoder）

我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具（ModelCoder）。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对飞机发动机，飞机的飞控进行预测性的虚拟…
阅读更多...
面向航空航天工业领域的基于模型的仿真验证工具SkyEye

面向航空航天工业领域的基于模型的仿真验证工具SkyEye

我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字…
阅读更多...
高性能高可靠性的全数字嵌入式仿真测试软件SkyEye

高性能高可靠性的全数字嵌入式仿真测试软件SkyEye

随着科技的发展，系统工程的设计体量逐渐庞大起来，尤其是对于轨道交通、航空航天、核电站等安全关键领域中，如何在复杂度逐年变大的同时保证其安全性和可靠性，是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…
阅读更多...
二元一次函数最值问题_初二上学期，一次函数方案设计最值问题，两类题目解题思路不一样...

二元一次函数最值问题_初二上学期，一次函数方案设计最值问题，两类题目解题思路不一样...

方案设计问题在一元一次方程实际问题中有所接触，在一次函数实际应用题中也有。一次函数中的方案设计问题，常与一次函数的性质、不等式(组)、方程组等知识点相结合，这类题目一旦掌握解题方法，难度不是很大。本篇文章主要介绍一次函…
阅读更多...
rabiitmq卸载_RabbitMQ安装方式及常用命令

rabiitmq卸载_RabbitMQ安装方式及常用命令

在ubuntu系统中安装rabbitmq# wget http://www.rabbitmq.com/releases/rabbitmq-server/v3.6.6/rabbitmq-server_3.6.6-1_all.deb# dpkg -i rabbitmq-server_3.6.6-1_all.deb如果提示依赖其他的包，执行如下命令安装依赖包# apt-get -f install然后# dpkg -i rabbitm…
阅读更多...
高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心

高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心

全数字仿真平台作为工业领域不可缺少的重要软件之一，除了可以与MATLAB或者Simulink集成外，还支持哪些优秀的功能？在了解新一代全数字仿真平台SkyEye之前，先来学习一下什么是全数字仿真平台。 什么是全数字仿真平台 全数字仿真平…
阅读更多...
dalsa线扫相机调试文档_线阵相机调试文档

dalsa线扫相机调试文档_线阵相机调试文档

1.相机型号参数相机：线16k CL分辨率：16384 x 1像素大小：3.52 μm x 3.52 μm麦克斯行费率：48 千赫镜头安装(螺纹)：M72 x 1产品编号：LA-CM-16K05A-xx-R注：现场采用的相机型号即为上表1.1型号参数…
阅读更多...
SystemC 代码添加和测试方法

SystemC 代码添加和测试方法

1.启动流程 在 code/utils/ 下添加 new_systemc 相关代码，启动流程如下： 2.调用关系 3.地址映射 假设有两个 systemc 设备：device1 和 device2，device1 的内存地址映射区域为 0x20000x2fff，device2 的内存映射区域为 …
阅读更多...
channelsftp的put_JSch - Java实现的SFTP（文件上传详解篇）

channelsftp的put_JSch - Java实现的SFTP（文件上传详解篇）

public void put(String src, String dst)将本地文件名为src的文件上传到目标服务器，目标文件名为dst，若dst为目录，则目标文件名将与src文件名相同。采用默认的传输模式：OVERWRITEpublic void put(String src, String dst, int mo…
阅读更多...
支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye

支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye

SkyEye 介绍 SkyEye，中文全称天目全数字实时仿真软件，应用软件仿真技术，逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统，有效降低了硬件工程师和软件工程师之间的沟通成本，软件工程师可以不依赖硬件工…
阅读更多...
xxljob默认登录_xxl-job安装部署整理

xxljob默认登录_xxl-job安装部署整理

xxl-job github源码地址：https://github.com/xuxueli/xxl-jobxxl-job 官方文档：https://www.xuxueli.com/xxl-job/#系统组成调度模块(调度中心)：负责管理调度信息，按照调度配置发出调度请求，自身不承担业务代码。调度系…
阅读更多...
嵌入式仿真平台SkyEye的覆盖率分析

嵌入式仿真平台SkyEye的覆盖率分析

随着嵌入式系统也越来越复杂，功能迭代越来越多，代码中就可能就会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能就会给软件带来很大的漏洞，严重降低软件的可靠性。因此，需要一个能够动态分析…
阅读更多...
access重复数据累计_小程序·云开发之数据库自动备份丨云开发101

access重复数据累计_小程序·云开发之数据库自动备份丨云开发101

小程序云开发之数据库自动备份数据是无价的，我们通常会把重要的业务数据存放在数据库中，并需要对数据库做定时的自动备份工作，防止数据异常丢失，造成无法挽回的损失。小程序云开发提供了方便的云数据库供我们直接使用，…
阅读更多...
最新文章

Copyright @ 2022~2023