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

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

什么是MBSE？

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

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

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

新一代全数字仿真平台SkyEye

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

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

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

SkyEye的优势

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

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

SkyEye的十大优势：

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

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

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

支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1.核心翻译步骤示例本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语 ...
汽车软件开发的8种颠覆性趋势及国产自主可控的多领域全数字实时仿真平台SkyEye
汽车工业中产生的断层正引起人们对创新的日益渴望,而创新又极大地增加了汽车中的软件功能.这种创新正在自动驾驶.高级驾驶员辅助系统 (ADAS).数字驾驶舱技术.车辆电气化等领域进行. 目前影响汽车电子产 ...
全数字实时仿真平台SkyEye故障注入测试
故障注入测试(Fault Injection Test),简称FIT,是一种可靠性验证技术,在安全关键领域,设备的可靠性与安全性是检验装备制造生产的重要指标之一,针对现有的安全关键领域工程可靠性验证方 ...
全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证
全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境.用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工 ...
全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造
随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空.高铁.核电及军事等高安全要求领域的软件系统--安全关键系统(safety-critical system,简称SCS)更 ...
全数字实时仿真平台SkyEye与SystemC集成进行时序仿真
SkyEye与SystemC集成进行时序仿真仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误.时序仿真使用布局布 ...
全数字实时仿真平台SkyEye经典案例——空间站项目
1. SkyEye 简介 SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模.采用基于LLVM的二进制加速技术,加 ...
全数字实时仿真平台SkyEye经典案例——卫星
1. SkyEye 简介 SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模.采用基于LLVM的二进制加速技术,加 ...
全数字实时仿真平台SkyEye目标码覆盖率关键技术
1. 研究背景 1.1零插桩目标码覆盖率统计技术随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆 ...

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

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

最新文章

热门文章