系统仿真平台SkyEye可替代国外Matlab/Sumlink等同类软件
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在,代码自动生成技术的发展给行业发展带来新的可能性,在需求设计阶段,就由模型来完成,借助形式化验证技术和代码自动生成技术来完成项目开发,在保证安全性的同时,也能极大降低开发成本。目前由迪捷软件开发的国产自主可控的系统仿真平台SkyEye已经在众多安全关键领域中应用,SkyEye可替代国外Matlab/Sumlink等同类软件。
国产自主可控的代码自动生成工具SkyEye
全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入,从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。
作为基于嵌入式应用的特点,嵌入式软件全数字仿真测试支撑平台SkyEye要为嵌入式系统提供全数字仿真测试环境或测试平台,实现对嵌入式系统进行实时、闭环的系统测试。在该平台上完成被测软件的分析、运行和测试,最重要的是要实现嵌入式系统外部事件的全数字仿真平台,使得嵌入式软件就像在真实硬件环境下连续不中断地运行。
SkyEye的优势
作为一种全数字实时仿真的安全关键领域解决方案,SkyEye可与第三方语言或者模型集成,目前已实现SkyEye与SystemC集成进行时序仿真,以及SkyEye与工业软件MATLAB或者Simulink集成进行多领域协同仿真。
SkyEye的十大优势
- 更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建。
- 仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件相同,仿真过程可以通过运行、暂停控制、可以随时重复执行,每次运行结果是确定的,可以使用软件复现问题。
- 提供GDB源码调试和汇编级调试工具,使开发者更高效的分析和定位问题。
- 提供代码覆盖率和生成报告功能,进行源码和目标码的覆盖率分析。
- 提供故障注入功能,可以进行内存和IO的故障注入进行测试。
- 提供协同仿真工具,支持与其他异构模型协同仿真。
- 提供外设建模工具和二次开发API接口,方便用户进行二次开发。
- 提供Python API接口,可以进行自动化测试脚本构建所需测试环境。
- Docker容器化支持。
- 界面提供自动化测试功能,可以选择所需测试用例自动运行并给出测试结果与其他异构模型协同仿真。
本文标题:国产自主可控的MBSE建模与仿真平台SkyEye
文本链接:http://www.digiproto.com/archives/2726
系统仿真平台SkyEye可替代国外Matlab/Sumlink等同类软件相关推荐
- 国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中.使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成 ...
- 国产自主可控的MBSE建模与仿真平台SkyEye
转载: 2020年6月,哈工大.哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术. 截止到2020年12月,中国已有超过300家企业和机构被列入美国&qu ...
- 全数字实时仿真平台SkyEye与SystemC集成进行时序仿真
SkyEye与SystemC集成进行时序仿真 仿真过程是正确实现设计的关键环节,用来验证设计者的设计思想是否正确,及在设计实现过程中各种分布参数引入后,其设计的功能是否依然正确无误.时序仿真使用布局布 ...
- 完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE
基于全数字实时仿真平台 SkyEye 产品性质 :全数字实时仿真平台(软件测试和仿真工具) 对标产品 :美国风河公司的Simics,可替代SCADE SkyEye,中文全称天目全数字实时仿真软件,是基 ...
- wolai一款不错的国产笔记协作平台!可替代notion的协同平台
wolai一款不错的国产笔记协作平台!可替代notion的协同平台 notion一直是国外非常火的在线写作平台,但是作为国民,这个软件的英文化让我十分不能接受,目前的汉化版又不太优秀,所以一直在寻找一 ...
- 【Paper】2022_基于无人驾驶地面车辆的多Agent系统仿真平台的设计及编队控制协议的研究
分享自己的一篇文章,发布在人工生命与机器人ICAROB2022,欢迎各位引用. A Design of Multi-Agent System Simulation Platform Based on ...
- 全数字实时仿真平台SkyEye故障注入测试
故障注入测试(Fault Injection Test),简称FIT,是一种可靠性验证技术,在安全关键领域,设备的可靠性与安全性是检验装备制造生产的重要指标之一,针对现有的安全关键领域工程可靠性验证方 ...
- 全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证
全数字实时仿真平台 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境.用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工 ...
- 支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1.核心翻译步骤示例 本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语 ...
最新文章
- hihoCoder-1830 2018亚洲区预选赛北京赛站网络赛 C.Cheat 模拟
- 基于互联网生态积累,百度Apollo智舱产品斩获智能网联创新奖
- 业务总结004:检验项目时间轮实践与库存实现方案
- TODO:Go语言goroutine和channel使用
- 如何在Windows 10上限制Wi​​ndows Update的下载带宽
- Entity Framework Core 5中实现批量更新、删除
- jvm调优 java_opt_Java-100天知识进阶-JVM调优工具-JDK自带工具-知识铺《八》
- python脚本在linux上运行的两种方式_python脚本当作Linux中的服务启动实现方法
- three.js 键盘w、s、a、d控制几何体移动
- 在WebBrowser中通过模拟键盘鼠标操控网页中的文件上传控件
- java httpsession_JavaWeb:HttpSession
- 中兴盒子ZTE-B860AV1.1T、AV2.1-通刷-线刷固件
- Adaboost Random Forests 等机器学习方法 搜索热度
- 【操作系统】GPT和MBR分区的区别
- 易语言单窗口单ip软件源码_易语言助手下载-易语言助手 v3.2.0701 官方版
- Unity多屏幕设置细节
- Linux是什么?它是哪个国家开发的
- 关于ext2.0基本引入说明引入过多开发环境效验太多老火
- optimizer.zero_grad()意义
- 企业微信开发文档接口API获取accesstoken和读取成员内部员工
热门文章
- websocket 学习--简单使用,nodejs搭建websocket服务器,到模拟股票,到实现聊天室
- Spring 事务方法与非事务方法相互调用 @Transactional 注解失效不回滚?
- Java面试——MyBatis系列总结
- Java番外篇4——BigInteger与BigDecimal
- python爬虫入门实战---------一周天气预报爬取_Python爬虫入门实战--------一周天气预报爬取【转载】【没有分析...
- 宝塔设置thinkphp的伪静态_宝塔面板与WDCP狭路相逢,谁才是国产之光?
- MYSQL的索引类型:PRIMARY, INDEX,UNIQUE,FULLTEXT,SPAIAL 有什么区别?各适用于什么场合?
- 使用缓冲字节流:BufferedInputStream与BufferedOutputStream读写数据
- (二分+区间搜索 )Mountain Walking(poj2110/poj2922)
- python实现dem输出三维模型_python DEM数据可视化