一种全数字实时仿真的安全关键领域解决方案

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程(MBSE)技术则给大家提供了一种全新的技术方向,分享一种全数字实时仿真的安全关键领域解决方案,提供一种新的解决思路。

 

什么是MBSE?

MBSE在2007年的 INCOSE (系统工程国际委员会)国际研讨会上首次被提出。MBSE是一种正规化的建模应用,它为系统工程过程各阶段的活动提供支撑:需求分析、功能分析、设计综合和验证和确认。

MBSE对上述活动的支撑贯穿从概念阶段开始,到设计、开发直至交付使用维护的整个系统生命周期。MBSE的核心是模型,模型是对现实的抽象,旨在回答有关现实世界中的具体问题,是模拟或表达一个真实世界的过程或结构。

通俗的说,就是将物理世界数字化,把系统工程中所涉及到的复杂结构用数字模型的方式组件起来,这样做的好处是从需求设计阶段,我们就已经在数字世界中拥有了一个可以虚拟运行的系统,MBSE作为一种全数字实时仿真的安全关键领域解决方案,可以在保证安全性和可靠性的同时,提升开发效率,帮助企业完成数字化转型。

新一代全数字仿真平台SkyEye

一种全数字实时仿真的安全关键领域解决方案

一种全数字实时仿真的安全关键领域解决方案

全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入,从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。

作为基于嵌入式应用的特点,嵌入式软件全数字仿真测试支撑平台SkyEye要为嵌入式系统提供全数字仿真测试环境或测试平台,实现对嵌入式系统进行实时、闭环的系统测试。在该平台上完成被测软件的分析、运行和测试,最重要的是要实现嵌入式系统外部事件的全数字仿真平台,使得嵌入式软件就像在真实硬件环境下连续不中断地运行。

SkyEye的优势

一种全数字实时仿真的安全关键领域解决方案

一种全数字实时仿真的安全关键领域解决方案

作为一种全数字实时仿真的安全关键领域解决方案,SkyEye可与第三方语言或者模型集成,目前已实现SkyEye与SystemC集成进行时序仿真,以及SkyEye与工业软件MATLAB或者Simulink集成进行多领域协同仿真。

SkyEye的十大优势:

  1. 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建。
  2. 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题。
  3. 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题。
  4. 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析。
  5. 提供故障注入功能,可以进行内存和IO的故障注入进行测试。
  6. 提供协同仿真工具,支持与其他异构模型协同仿真。
  7. 提供外设建模工具和二次开发API接口,方便用户进行二次开发。
  8. 提供Python API接口,可以进行自动化测试脚本构建所需测试环境。
  9. Docker容器化支持。
  10. 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果与其他异构模型协同仿真。

出处:http://www.digiproto.com/archives/2126

 

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

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

相关文章

vue 引用网络css_vue如何引用其他组件(css和js)

1.vuejs组件之间的调用components注意:报错Do not use built-in or reserved HTML elements as component id:修改组件的名字,例如不能使用address为组件名字组件名字不要使用内置的或保留HTML元素为组件id,App.vue是一个入口,vue…

国产自主可控的MBSE建模与仿真平台SkyEye

转载: 2020年6月,哈工大、哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术。 截止到2020年12月,中国已有超过300家企业和机构被列入美国“实体名单”,被列入名…

access求斐波拉契数列_打印目录,斐波那契数列的递归与循环,牧场牛数

实验报告1任务概述(任务说明)1 f(n)f(n-1)f(n-2)f(0)f(1)1,求斐波那契数列第20项,分别用循环和递归的方式,比较时间效率。提示:可以使用c函数clock取出当前系统时间,计算前后各一次,两次相减除以每秒的时钟…

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

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

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

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

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字符串编码

问题一字串前面少了u。当遇见以下情况。返回字符串为\u82f9\u679c的unicode时候。str1 \u82f9\u679c # 这里没有u,当传入参数不是unicode的时候print str1 # 结果是 : \u82f9\u679cprint u\u82f9\u679c # 结果是 : 苹果解决方法:加上ustr1 \u82f9\u679…

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

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

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

把桌面上的文件删除,如果想再次找回,只要在电脑的回收站就可以原封不动的把文件找回来。但不小心删除了回收站的信息,怎么办呢?大家遇以这样的情况,也不要太着急,电脑上回收站怎样恢复呢?小编带分享一下解…

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

基于模型的系统工程(MBSE)使用数字模型的方式表达描述工程系统的完整生命周期中的需求和设计等活动,以无歧义、模块化等优点快速覆盖了如航空航天、船舶、卫星等相关安全关键领域。在系统工程的初期,系统产生的信息都以文档得形式…

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

字符编码是计算机编程中不可回避的问题,不管你用 Python2 还是 Python3,亦或是 C, Java 等,我都觉得非常有必要厘清计算机中的字符编码概念。本文主要分以下几个部分介绍:基本概念常见字符编码简介Python 的默认编码Python2 中的字…

基于模型的系统工程MBSE软件工具(ModelCoder)

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

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

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

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

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…

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

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

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余种核心

全数字仿真平台作为工业领域不可缺少的重要软件之一,除了可以与MATLAB或者Simulink集成外,还支持哪些优秀的功能?在了解新一代全数字仿真平台SkyEye之前,先来学习一下什么是全数字仿真平台。 什么是全数字仿真平台 全数字仿真平…

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 代码添加和测试方法

1.启动流程 在 code/utils/ 下添加 new_systemc 相关代码,启动流程如下: 2.调用关系 3.地址映射 假设有两个 systemc 设备:device1 和 device2,device1 的内存地址映射区域为 0x20000x2fff,device2 的内存映射区域为 …

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…