SkyEye实现工业安全关键领域基础软件国产替代

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

国产自主可控的航空航天全系统仿真平台SkyEye

新一代全数字仿真平台SkyEye

国产自主可控的航空航天全系统仿真平台SkyEye

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

国产自主可控的航空航天全系统仿真平台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. 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果与其他异构模型协同仿真。

本文标题:国产自主可控的航空航天全系统仿真平台SkyEye

文本链接:http://www.digiproto.com

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

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

相关文章

2寸的照片长宽各是多少_贵州公务员考试照片尺寸要求是多少

中公教育在贵州公务员考试中对于照片要求与2寸照片的林小差不多,简单来说就是长宽最小像素为160px和130px、最佳效果为260px*320px;即使考生们已有照片未达到公务员照片的相关要求,考生们可以通过图片处理系统进行等比例裁剪达到照片尺寸要求…

自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真

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

opencv 叠加两张图_OpenCV基础篇之图片叠加

OpenCV基础篇之图片叠加程序及分析/** FileName : blend.cpp* Author : xiahouzuoxin 163.com* Version : v1.0* Date : Mon 28 Jul 2014 08:47:59 PM CST* Brief :** Copyright (C) MICL,USTB*/#include #include #include using namespace std;using namespace cv;in…

中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真

传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安…

进入实现类快捷键_实测30个自带快捷键,原来键盘也这么好用!

文 / 一周进步 水韬推荐过很多软件快捷键的文章,每次推荐大家都会惊叹,原来自以为熟练掌握的软件,还可以有这么多便捷的操作。活到老,学到老。软件操作是如此,其实在我们使用最多的Windows系统里,在键盘里…

SkyEye——汽车电子系统仿真测试工具

随着汽车电子的发展,电子控制单元(ECU)大量应用到现代汽车上,车内网络变的越来越复杂。 在新车型的研发阶段使用专业的仿真工具SkyEye及其配套产品进行车内芯片实时仿真测试,验证车内电子系统的可靠行和安全性成为必要…

怎么做笔记标签贴_小红书笔记互动到底该怎么做?

小红书很多博主再发完笔记后,喜欢到一些互赞群里去跟别人相互关注点赞收藏评论。这个就是我今天要和大家说的。小红书笔记在一些互赞藏群里自己上关键词车,这样是会被判违规的,什么违规呢?那就是人工干预后台数据。小红书有这样一…

全数字实时仿真平台SkyEye与SystemC集成进行时序仿真

SkyEye与SystemC集成进行时序仿真 仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误。时序仿真使用布局布线后器件给出的模块和连线的延时信息&…

双目立体视觉建立深度图_双目立体视觉系统(答辩).ppt

双目立体视觉系统(答辩)双目立体视觉系统 项目组成员:何健、晏尧、艾晨 指导老师:蒲秀娟 2011年9月21日 项目答辩 重庆大学第二届科研训练项目 汇报提纲 研究目的和意义 1 系统总体设计硬件选择 2 图像算法和显示流程 3 验证 4 心得 5 1 研究目的和意义 …

全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证

全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依…

访问不了_同事的电脑无法访问,共享打印机连接不上,问题都在这

作为一个it服务工作者,发现大家平时遇到最多的问题就是公司内部同事的电脑访问不了或者共享打印机打印不了等等。所以今天给大家分享一下引起这些问题的原因所在和解决办法。其实我们只要掌握了核心的几个关键点,对症下药都是比较容易解决的。常见的一些…

全数字实时仿真平台SkyEye实现了与虚拟FPGA协同仿真

1. 可与虚拟FPGA的协同仿真 全数字实时仿真平台SkyEye实现了与虚拟FPGA的协同仿真,可以支持UVM的验证方法。虚拟的FPGA通过协同仿真总线与SkyEye相连,用户可以自主的控制仿真运行速度,提高较大规模嵌入式系统的测试效率。SkyEye本身是多架构…

python读取两个csv文件后比较_python – 读取两个csv文件并比较每一行.如果行匹配打印两行,如果不相似则打印无效...

import csvf1 open("file1.csv")f2 open("file2.csv")csv_f1 csv.reader(f1)csv_f2 csv.reader(f2)for row1 in csv_f1:for row2 in csv_f2:if row1 row2:print row1[0], row2[0]else:print row1[0], "Invalid"这个程序没有打印出row1,row2…

SkyEye建模之方法介绍篇

SkyEye建模框架介绍 SkyEye模型与硬件开发板,图1-1-1是一块普通的硬件开发板,上面有一些比较常见的设备,包括复杂的CPU、USB口、网口、SD卡控制器等,以及简单的蜂鸣器,键盘等设备。我们试想这样一个问题,真…

加密 lua_三、Lua相关知识

一、lua语言基础1、metatable2、pairs、ipairs、table.sort3、table的内存(数组结构和哈希结构)4、字符串缓存(字符串常量是共享的。这个5.3版本有调整,40字节一下的短字符串才是共享的,长字符串还是保持独立内存&…

全数字实时仿真平台SkyEye目标码覆盖率关键技术

1. 研究背景 1.1零插桩目标码覆盖率统计技术 随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这…

MCDC — 修正判定条件覆盖

什么是MCDC? 答:修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次,在程序中的每一个条件必须产生所有可能的输出结果至少一次,并且每一个判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件…

python terminal调试_python执行命令行调试工具pdb

调试pdbpdb是基于命令行的调试工具,非常类似gnu的gdb(调试c/c)。命令简写命令作用breakb设置断点(用法,b :在第数字行设置断点。.........................................................)b 直接回车,查看所有断点continuec直接…

20以内分数化小数表_如何使用标准正态分布表?

正态分布这个概念在统计学中很常见,在做与正态分布有关计算的时候经常会用到标准正态分布表。如果知道一个数值的标准分数即z-score,就可以非常便捷地在标准正态分布表中查到该标准分数对应的概率值。任何数值,只要符合正态分布的规律&#x…

迪捷软件团队研发的国产替代MBSE系统建模仿真软件

近年来,系统工程的概念越来越火热。其中MBSE(基于模型的系统工程)是最受大家推崇的。在复杂系统和安全关键的开发领域,如果你不能说出一些跟MBSE有关的一些词儿,那么你是无法号称自己站在时代前沿的。 与传统的系统工程…