原创
文章平均质量分 72
每天造轮子
站在轮子的肩膀上
展开
-
全数字实时仿真平台SkyEye经典案例——空间站项目
1. SkyEye 简介SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。采用基于LLVM的二进制加速技术,加上各种编译器的轻量级的优化技术,从而生成更高效率的主机代码,仿真运行效率大大提升,且具有极致的稳定性,适用于高性能的异构指令模拟仿真。2. SkyEye 可以做什么?2.1 简单的配置使用 SkyEye,只需要在软件上对目标系统进行设置,在SkyEye中只有少量的地址参数需要根据硬件手册设置.原创 2021-04-27 13:43:26 · 630 阅读 · 0 评论 -
全数字实时仿真平台SkyEye经典案例——卫星
1. SkyEye 简介SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。采用基于LLVM的二进制加速技术,加上各种编译器的轻量级的优化技术,从而生成更高效率的主机代码,仿真运行效率大大提升,且具有极致的稳定性,适用于高性能的异构指令模拟仿真。2. SkyEye 可以做什么2.1 灵活构建多种嵌入式系统SkyEye可以轻松地通过图形化拖拽的方式搭建出多种嵌入式目标系统,尝试不同的硬件设置、软件应.原创 2021-04-26 17:11:49 · 1319 阅读 · 0 评论 -
全数字实时仿真平台SkyEye故障注入测试
故障注入测试(Fault Injection Test),简称FIT,是一种可靠性验证技术,在安全关键领域,设备的可靠性与安全性是检验装备制造生产的重要指标之一,针对现有的安全关键领域工程可靠性验证方案中就包括故障注入测试。全数字实时仿真平台SkyEye故障注入测试功能能够保证设计阶段工程的可靠性,提前发现问题并解决。故障注入的对象分为内存地址和设备寄存器。选择好对象后,右侧会出现该寄存器或设备首地址的值。注入方法有两种,一种是对注入位操作,一种是直接修改值,两种方法之间会有联动,二者的值应是一原创 2021-04-25 16:47:22 · 896 阅读 · 0 评论 -
迪捷软件团队研发的国产替代MBSE系统建模仿真软件
今年来,系统工程的概念越来越火热。其中MBSE(基于模型的系统工程)是最受大家推崇的。在复杂系统和安全关键的开发领域,如果你不能说出一些跟MBSE有关的一些词儿,那么你是无法号称自己站在时代前沿的。与传统的系统工程相比较,基于模型的系统工程(MBSE)充分发挥了模型的优势,提高了系统全周期信息表示的一致性,增强了系统功能性能预验证和多学科协同优化设计的能力。国外把基于MBSE视为系统工程的“革命”、“系统工程的未来”、“系统工程的转型”等。国内的很多大型组织和团队也已经在开展了相关研究和应用了。原创 2021-04-21 13:31:41 · 2012 阅读 · 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 评论 -
ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink
ModelCoder介绍在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用飞控,航电,核电DC原创 2021-03-24 11:32:04 · 1394 阅读 · 0 评论 -
国产自主可控的嵌入式仿真软件SkyEye和同步数据流语言高阶运算消去的可信翻译
同步数据流语言高阶运算消去的可信翻译同步数据流语言(例如Lustre,Signal等)广泛应用于工业界的核心安全级控制系统,如航空、核电等高安全等级的关键领域,与语言相关的软件的安全性也越来越受到人们的关注,特别是一些基础软件,如操作系统、编译器等.确认这些软件的安全可靠非常重要,同时,随着软件系统的复杂度的提高,软件的安全性保证也变得越来越困难,依靠传统的测试、代码审核和过程管控等方法来保证软件的安全性是远远不够的.近年来,形式化验证方法已成功地应用于可信编译器的实现中,CompCert是其中的杰出代表原创 2021-03-19 09:31:02 · 347 阅读 · 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 评论 -
支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye
SkyEye 介绍SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工程师,根据需求对虚拟硬件的配置进行改动,并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件,可以大大缩短产品研发周期,提高软件测试效率。功能更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目原创 2021-03-10 09:11:03 · 1325 阅读 · 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-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 评论 -
基于模型的系统工程MBSE软件工具(ModelCoder)
我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具(ModelCoder)。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对飞机发动机,飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真并验证。经过不断的迭代,我们可以很好的将新方法与旧方法结合,创建一套全新的流程,提供比以往更好的服务。ModelCoder简介国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink软件工具是一原创 2021-03-01 10:39:51 · 7043 阅读 · 0 评论 -
应用在核电站DCS系统的代码自动生成工具ModelCoder
对标航空航天领域,核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确,即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段,开发出符合核工业本身的需求(Requirement)、功能(Function)和逻辑(Logical)等系统模型,助力设计端的前期连续仿真与验证,并继承至下游用于物理设计(Physical)、施工仿真、虚拟调试、预防性检修等,保障系统全生命周期的可追溯性,同时进化式地迭代复用。如何实现基于模型的系统工程(MB..原创 2021-02-24 17:14:46 · 498 阅读 · 0 评论 -
面向航空航天工业领域的基于模型的仿真验证工具SkyEye
我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对发动机,飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代,我们可以很好的将新方法与旧方法结合,创建一套全新的流程,提供比以往更好的服务。什么是全数字仿真平台面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的..原创 2021-02-20 11:16:43 · 459 阅读 · 0 评论 -
自主可控的安全关键领域国产工业软件SkyEye
全球制造业正处于新一轮变革的浪潮中,大数据、云计算等新一代信息技术正加速向工业领域融合渗透,工业互联网、工业4.0、智能制造等战略理念不断涌现。传统产业数字化转型升级的需求强烈,工业软件缺乏自主可控成为横亘在我国发展工业4.0道路上的一道坎,尤其在安全关键领域,急需要自主可控的国产工业软件软件。由迪捷软件开发的自主创新的安全关键领域国产工业软件SkyEye,将替代国外Matlab/Sumlink等同类软件。SkyEye 的性能SkyEye采用国产自主可控的特殊算法和LLVM计算进行翻译加速,可以达到上千原创 2021-02-07 17:15:05 · 240 阅读 · 0 评论 -
国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过原创 2021-02-07 17:13:40 · 949 阅读 · 0 评论 -
如何构建裸机hello world目标程序并在SkyEye全数字实时仿真平台上运行及调试?
SkyEye全数字实时仿真平台,简称SkyEye,是一款支持 ARM、TI DSP、PowerPC、X86、SPARC、龙芯、飞腾等多种处理器体系架构的指令级仿真平台。SkyEye可以部署在桌面计算机上,开发人员可以基于SkyEye提供的已有模型库的组件(如处理器、内存总线、存储器、片上外设、外围总线设备等),通过图形化搭建环境拖拽需要的组件并定制与实际目标机相同的虚拟目标系统。使运行在真实目标机上的二进制代码可以不加修改直接在虚拟系统中运行,并且可以得到与在真实目标机下相同的执行结果,支持的目标二进原创 2021-01-29 17:41:33 · 281 阅读 · 1 评论 -
系统建模、分析、仿真和验证软件工具ModelCodoer
在安全关键领域,基于模型的软件工程已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由迪捷软件自主研发的系统建模、分析、仿真和验证软件工具ModelCodoer可以替代国外SimuLink或者SCADE实现基于模型的系统工程的开发。ModelCoder简介系统建模、分析、仿真和验证软件工具ModelCodoer是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和原创 2021-01-29 17:29:17 · 1025 阅读 · 0 评论 -
c6x Linux 内核中断分析
1. 内核中断介绍1.1 中断简介所有支持Linux的平台都采用了中断(interrupt)的概念,以便(因种种原因)引入周期性的中断。需要区分两种类型的中断。1. 硬件中断(hardware interrupt):由系统自身和与之连接的外设自动产生。它们用于支持更高效地实现设备驱动程序,也用于引起处理器自身对异常或错误的关注,这些是需要与内核代码进行交互的。2. 软中断(SoftIRQ):用于有效实现内核中的延期操作。在Linux中用于处理...原创 2020-12-21 17:08:22 · 730 阅读 · 0 评论 -
什么是数字孪生,为什么对物联网很重要
数字孪生是物理设备的虚拟呈现,数据科学家和IT专业人员可以在开发实际项目之前使用数字孪生技术来模拟运行。数字孪生还改变了物联网、人工智能和数据分析等技术的优化方式。什么是数字孪生?数字孪生是指物理世界或系统的虚拟数字化呈现。数字孪生背后的技术已经扩展到包括建筑、工厂甚至城市等大型项目。这个想法首先出现在NASA:在地面上模拟太空舱在太空中的状态,用于诊断发射后进入轨道的问题,最终被全数字模拟所取代。在Gartner将数字双胞胎列为2017年十大战略技术趋势之一之后,这个名词才真正火了起来。他说,在三原创 2020-11-18 18:39:37 · 7660 阅读 · 0 评论