SkyEye
文章平均质量分 76
SkyEye技术文章
每天造轮子
站在轮子的肩膀上
展开
-
FMI在仿真软件SkyEye中的应用
1.仿真技术的困境随着科技的发展,我国在安全攸关领域对于嵌入式软件的应用日益广泛,并且对于软硬件的性能及可靠性等方面要求变得更高。面对各种复杂的系统设计所提供的设计和分析手段也逐渐完善,其中仿真技术在近几年越来越受到重视,其在西方发达国家的多个工业领域中,都得到了广泛的应用。仿真技术的成熟应用为复杂的系统设计提供了贯穿V流程的全生命周期的分析手段,它可以作为实物实验的有效补充手段,能够在仿真可信度较高的情况下有效降低实物实验的次数,大大节省成本并提高实验效率。但是仿真技术发展至今,在...转载 2021-11-04 15:31:55 · 739 阅读 · 0 评论 -
软件定义汽车带来的困境——如何破局?
目录 为什么软件定义汽车会掀起如此大的讨论热潮? 汽车软件的发展方向 软件开发商的挑战与机遇 近两年,关于汽车软件的讨论越来越多,国产替代的呼声也越来越高,软件定义汽车是业内非常火热的话题之一。 为什么软件定义汽车会掀起如此大的讨论热潮? 随着科技的发展,人们的生活正在发生翻天覆地的变化巨大改变,生活质量不断提高,这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件,只能在局限的空间内改善舒适度,而无法适应人们对智...转载 2021-10-27 09:49:24 · 185 阅读 · 0 评论 -
MCDC — 修正判定条件覆盖
什么是MCDC?答:修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次,在程序中的每一个条件必须产生所有可能的输出结果至少一次,并且每一个判定中的每一个条件必须能够独立影响一个判定的输出,即在其他条件不变的前提下仅改变这个条件的值,而使判定结果改变。什么是条件?答:不包含布尔运算符的布尔表达式什么是判定?答:由条件和零个或多个布尔运算符组成的布尔表达式。没有布尔运算符的判定是条件。 如果一个条件在一个判定中出现不止一次,则每次出现都是一个不同的条件。MCDC示例A || (B &原创 2021-04-16 15:22:52 · 14847 阅读 · 0 评论 -
全数字实时仿真平台SkyEye目标码覆盖率关键技术
1. 研究背景1.1零插桩目标码覆盖率统计技术随着武器装备的复杂度的大幅度增加,运行在装备上的嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这可能就会给软件带来很大的漏洞,严重降低软件的可靠性。因此,需要构建一个能够动态分析代码执行覆盖情况的能力,来检测代码中未执行覆盖情况。通过覆盖率统计分析,得出嵌入式软件执行覆盖情况,查看软件中有那些函数未执行,函数中哪些分支未执行,由此分析软件中函数为什么没有执行,函数中分支为什么没有执..原创 2021-04-15 19:20:46 · 423 阅读 · 0 评论 -
SkyEye建模之方法介绍篇
SkyEye建模框架介绍SkyEye模型与硬件开发板,图1-1-1是一块普通的硬件开发板,上面有一些比较常见的设备,包括复杂的CPU、USB口、网口、SD卡控制器等,以及简单的蜂鸣器,键盘等设备。我们试想这样一个问题,真实硬件显而易见,包括所有外设的内存地址、寄存器等信息都可以通过硬件手册得知。那么如何用软件的形式(理论上也就是数据)把它直观的表达成我们日常可以理解的东西呢?SkyEye通过json文件来对真实硬件开发板进行描述,可以理解为一个json文件对应于一块真实的硬件开发板。大体结构我们参照图原创 2021-04-14 10:43:20 · 273 阅读 · 0 评论 -
全数字实时仿真平台SkyEye实现了与虚拟FPGA协同仿真
1. 可与虚拟FPGA的协同仿真全数字实时仿真平台SkyEye实现了与虚拟FPGA的协同仿真,可以支持UVM的验证方法。虚拟的FPGA通过协同仿真总线与SkyEye相连,用户可以自主的控制仿真运行速度,提高较大规模嵌入式系统的测试效率。SkyEye本身是多架构的功能级别仿真平台,且有丰富的调试功能,可以对多核的嵌入式系统进行调试。2. 基于可视化图形的硬件建模基于可视化图形的硬件建模,有效降低了硬件工程师和软件工程师之间的沟通成本。软件工程师可以不依赖于硬件工程师,而根据需要对硬件的配置进行改动。通原创 2021-04-13 17:48:53 · 345 阅读 · 0 评论 -
中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在,代码自动生成技术的发展给行业发展带来新的可能性,在需求设计阶段,就由模型来完成,借助形式化验证技术和代码自动生成技术来完成项目开发,在保证安全性的同时,也能极大降低开发成本。由迪捷软件自主设计开发的代码自动生成工具SkyEye已经在众多安全关键领域中应用,SkyEye可替代国转载 2021-04-06 10:56:14 · 886 阅读 · 0 评论 -
SkyEye实现工业安全关键领域基础软件国产替代
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程(MBSE)技术则给大家提供了一种全新的技术方向,分享一种全数字实时仿真的安全关键领域解决方案,提供一种新的解决思路。新一代全数字仿真平台SkyEye一种全数字实时仿真的安全关键领域解决方案国产自主可控的航空航天全系统仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试转载 2021-03-26 09:25:28 · 183 阅读 · 0 评论 -
ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink
ModelCoder介绍在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用飞控,航电,核电DC原创 2021-03-24 11:32:04 · 1394 阅读 · 0 评论 -
完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE
基于全数字实时仿真平台 SkyEye产品性质 :全数字实时仿真平台(软件测试和仿真工具)对标产品 :美国风河公司的Simics,可替代SCADESkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。SkyEye目前支持主流的嵌入式硬件平台,可以运行主流的操作系统,此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术,使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。原创 2021-03-23 09:10:04 · 529 阅读 · 0 评论 -
全数字实时仿真软件SkyEye与可信编译器L2C的核心翻译步骤的设计与实现
有关翻译正确性验证的重点疑难问题及其设计实现方案在L2C可信编译器的设计与实现中, 对于实线所对应的翻译过程 (CompCert编译器除外) 均借助于Coq证明了正确性 (语义保持性), 然后得出LustreSGen所产生的LustreS代码到Clight代码整个翻译过程的正确性.从LustreS到Clight的任意两个中间语言***S***和***T***(设***S***在前) 之间的语义保持性可描述为| ∀P.sound§⇒sound(τ§)∧SS§≈ST(τ§),∀P.sound§⇒sound(原创 2021-03-18 10:49:46 · 328 阅读 · 0 评论 -
支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1、核心翻译步骤示例本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语言的.1.1 数据流并发性Lustre程序具有数据流并发性, 而Clight程序却是串行执行的.因此, 翻译过程中的一大难题就是要将Lustre语句串行化.现在一般采用的因果分析和排序大多采用测试或翻译确认的方法, 未进行形式化验证.对于L2C构建经过形式化证明的可信编译器的目标, 对排序做严格证明是原创 2021-03-17 13:36:59 · 242 阅读 · 0 评论 -
国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变种, 参考下一节), 目标语言是C, 最终可用作相关领域数字化仪控系统的安全级代码生成器.国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译步骤及其设计与实现。国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍1、L2C编译器简介L2C编译器的发展进程可归为3个里原创 2021-03-16 09:20:08 · 600 阅读 · 0 评论 -
全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造
随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空、高铁、核电及军事等高安全要求领域的软件系统——安全关键系统(safety-critical system,简称SCS)更是受到高度的重视.而随着软件系统的复杂度越来越高,软件系统的安全性保证也变得越来越困难.这些系统的开发,仅仅依靠过程规范、代码审核和系统测试来保证软件安全还远远不够,通常需要采用形式化验证方法来保证软件可靠性.全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造在某些安全性严格要求的领域,不但对目标系原创 2021-03-15 13:35:01 · 173 阅读 · 0 评论 -
嵌入式系统实时仿真解决方案SkyEye
SkyEye介绍SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。功能更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标原创 2021-03-12 09:42:07 · 587 阅读 · 0 评论 -
嵌入式仿真平台SkyEye的覆盖率分析
随着嵌入式系统也越来越复杂,功能迭代越来越多,代码中就可能就会存在部分无用代码,或者在执行过程中无法测试覆盖的分支,这可能就会给软件带来很大的漏洞,严重降低软件的可靠性。因此,需要一个能够动态分析代码执娜行覆盖情况的功能,来检测代码中未执行覆盖情况。在覆盖率分析时需要分析嵌入式软件的指令覆盖率、指令函数覆盖率、指令函数分支覆盖率、源代码行覆盖率、源代码函数覆盖率、源代码函数分支覆盖率。通过覆盖率统计分析,得出嵌入式软件执行覆盖情况,查看软件中有哪函数未执行,函数中哪些分支未执行,然后分析软件中函数或分原创 2021-03-11 09:18:41 · 162 阅读 · 0 评论 -
SystemC 代码添加和测试方法
1.启动流程在 code/utils/ 下添加 new_systemc 相关代码,启动流程如下:2.调用关系3.地址映射假设有两个 systemc 设备:device1 和 device2,device1 的内存地址映射区域为 0x20000x2fff,device2 的内存映射区域为 0x3000 ~ 0x3ffff。首先将 json 文件中的 skyeye_device(sc_dev_0) 设备映射地址改为 如下图中的 json文件所示。如果 cpu 有个一个对 0x20010原创 2021-03-09 11:21:42 · 299 阅读 · 0 评论 -
高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心
全数字仿真平台作为工业领域不可缺少的重要软件之一,除了可以与MATLAB或者Simulink集成外,还支持哪些优秀的功能?在了解新一代全数字仿真平台SkyEye之前,先来学习一下什么是全数字仿真平台。什么是全数字仿真平台全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入。从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。基于嵌入式应用转载 2021-03-09 11:21:00 · 186 阅读 · 0 评论 -
高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心
全数字仿真平台作为工业领域不可缺少的重要软件之一,除了可以与MATLAB或者Simulink集成外,还支持哪些优秀的功能?在了解新一代全数字仿真平台SkyEye之前,先来学习一下什么是全数字仿真平台。什么是全数字仿真平台全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入。从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。基于嵌入式应用原创 2021-03-05 10:41:23 · 540 阅读 · 1 评论 -
高性能高可靠性的全数字嵌入式仿真测试软件SkyEye
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程(MBSE)技术则给大家提供了一种全新的技术方向,分享一种全数字实时仿真的安全关键领域解决方案,提供一种新的解决思路。一种全数字实时仿真的安全关键领域解决方案国产自主可控的航空航天全系统仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、原创 2021-03-04 14:54:43 · 545 阅读 · 1 评论 -
面向航空航天工业领域的基于模型的仿真验证工具SkyEye
我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对发动机,飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代,我们可以很好的将新方法与旧方法结合,创建一套全新的流程,提供比以往更好的服务。什么是全数字仿真平台面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测原创 2021-03-02 10:34:30 · 373 阅读 · 0 评论 -
面向航空航天工业领域的基于模型的仿真验证工具SkyEye
我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对发动机,飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代,我们可以很好的将新方法与旧方法结合,创建一套全新的流程,提供比以往更好的服务。什么是全数字仿真平台面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的..原创 2021-02-20 11:16:43 · 459 阅读 · 0 评论 -
国产自主可控的MBSE建模与仿真平台SkyEye
转载:2020年6月,哈工大、哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术。截止到2020年12月,中国已有超过300家企业和机构被列入美国“实体名单”,被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所,美国想以此来打压中国工业和科技的发展,其中就包括Matlab等工业软件的限制。2020年8月,国务院随即出台软件产业扶持新政,发布《新时期促进集成电路产业和软件产业高质量发展的若干政策》,出台了40项支持政策推动我国集成电转载 2021-02-07 17:13:19 · 2108 阅读 · 0 评论 -
国产自主可控的MBSE解决方案和全数字仿真平台(SkyEye)
2020年6月,哈工大、哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术。截止到2020年12月,中国已有超过300家企业和机构被列入美国“实体名单”,被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所,美国想以此来打压中国工业和科技的发展,其中就包括Matlab等工业软件的限制。2020年8月,国务院随即出台软件产业扶持新政,发布《新时期促进集成电路产业和软件产业高质量发展的若干政策》,出台了40项支持政策推...原创 2021-02-05 11:55:59 · 2449 阅读 · 1 评论 -
国产自主可控的代码自动生成工具SkyEye
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在,代码自动生成技术的发展给行业发展带来新的可能性,在需求设计阶段,就由模型来完成,借助形式化验证技术和代码自动生成技术来完成项目开发,在保证安全性的同时,也能极大降低开发成本。国产自主可控的代码自动生成工具SkyEye已经在众多安全关键领域中应用,SkyEye可替代国外M..转载 2021-02-04 15:44:32 · 672 阅读 · 0 评论