- 博客(55)
- 收藏
- 关注
RSS订阅转载 FMI在仿真软件SkyEye中的应用
1.仿真技术的困境随着科技的发展，我国在安全攸关领域对于嵌入式软件的应用日益广泛，并且对于软硬件的性能及可靠性等方面要求变得更高。面对各种复杂的系统设计所提供的设计和分析手段也逐渐完善，其中仿真技术在近几年越来越受到重视，其在西方发达国家的多个工业领域中，都得到了广泛的应用。仿真技术的成熟应用为复杂的系统设计提供了贯穿V流程的全生命周期的分析手段，它可以作为实物实验的有效补充手段，能够在仿真可信度较高的情况下有效降低实物实验的次数，大大节省成本并提高实验效率。但是仿真技术发展至今，在...
2021-11-04 15:31:55
702
转载 软件定义汽车带来的困境——如何破局？
目录 为什么软件定义汽车会掀起如此大的讨论热潮？ 汽车软件的发展方向 软件开发商的挑战与机遇 近两年，关于汽车软件的讨论越来越多，国产替代的呼声也越来越高，软件定义汽车是业内非常火热的话题之一。 为什么软件定义汽车会掀起如此大的讨论热潮？ 随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智...
2021-10-27 09:49:24
177
原创 全数字实时仿真平台SkyEye经典案例——空间站项目
1. SkyEye 简介SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。采用基于LLVM的二进制加速技术，加上各种编译器的轻量级的优化技术，从而生成更高效率的主机代码，仿真运行效率大大提升，且具有极致的稳定性，适用于高性能的异构指令模拟仿真。2. SkyEye 可以做什么？2.1 简单的配置使用 SkyEye，只需要在软件上对目标系统进行设置，在SkyEye中只有少量的地址参数需要根据硬件手册设置.
2021-04-27 13:43:26
596
原创 全数字实时仿真平台SkyEye经典案例——卫星
1. SkyEye 简介SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。采用基于LLVM的二进制加速技术，加上各种编译器的轻量级的优化技术，从而生成更高效率的主机代码，仿真运行效率大大提升，且具有极致的稳定性，适用于高性能的异构指令模拟仿真。2. SkyEye 可以做什么2.1 灵活构建多种嵌入式系统SkyEye可以轻松地通过图形化拖拽的方式搭建出多种嵌入式目标系统，尝试不同的硬件设置、软件应.
2021-04-26 17:11:49
1284
原创 全数字实时仿真平台SkyEye故障注入测试
故障注入测试（Fault Injection Test），简称FIT，是一种可靠性验证技术，在安全关键领域，设备的可靠性与安全性是检验装备制造生产的重要指标之一，针对现有的安全关键领域工程可靠性验证方案中就包括故障注入测试。全数字实时仿真平台SkyEye故障注入测试功能能够保证设计阶段工程的可靠性，提前发现问题并解决。故障注入的对象分为内存地址和设备寄存器。选择好对象后，右侧会出现该寄存器或设备首地址的值。注入方法有两种，一种是对注入位操作，一种是直接修改值，两种方法之间会有联动，二者的值应是一
2021-04-25 16:47:22
873
转载 系统仿真平台SkyEye可替代国外Matlab/Sumlink等同类软件
传统的系统开发过程，都是由工程师根据项目需求书来编写代码完成系统的开发，但随着功能的扩充和版本的迭代，系统中庞大的代码量很难确保正确无误，给后期测试和仿真带来了很大的压力和成本，在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在，代码自动生成技术的发展给行业发展带来新的可能性，在需求设计阶段，就由模型来完成，借助形式化验证技术和代码自动生成技术来完成项目开发，在保证安全性的同时，也能极大降低开发成本。目前由迪捷软件开发的国产自主可控的系统仿真平台SkyEye已经在众多安全关键领域中应用，SkyE..
2021-04-23 19:15:18
527
原创 迪捷软件团队研发的国产替代MBSE系统建模仿真软件
今年来，系统工程的概念越来越火热。其中MBSE（基于模型的系统工程）是最受大家推崇的。在复杂系统和安全关键的开发领域，如果你不能说出一些跟MBSE有关的一些词儿，那么你是无法号称自己站在时代前沿的。与传统的系统工程相比较，基于模型的系统工程(MBSE)充分发挥了模型的优势，提高了系统全周期信息表示的一致性，增强了系统功能性能预验证和多学科协同优化设计的能力。国外把基于MBSE视为系统工程的“革命”、“系统工程的未来”、“系统工程的转型”等。国内的很多大型组织和团队也已经在开展了相关研究和应用了。
2021-04-21 13:31:41
1917
转载 2021-04-19
SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。SkyEye目前支持主流的嵌入式硬件平台，可以运行主流的操作系统，此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术，使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。有效降低了硬件工程师和软件工程师之间的沟通成本，软件工程师可以不依赖硬件工程师，根据需求对虚拟硬件的配置进行改动，并可以在虚拟硬件模型上运行与真实硬件相.
2021-04-19 18:40:14
73
原创 MCDC — 修正判定条件覆盖
什么是MCDC？答：修正判定条件覆盖-----程序中的每个输入和输出都至少被调用一次，在程序中的每一个条件必须产生所有可能的输出结果至少一次，并且每一个判定中的每一个条件必须能够独立影响一个判定的输出，即在其他条件不变的前提下仅改变这个条件的值，而使判定结果改变。什么是条件？答：不包含布尔运算符的布尔表达式什么是判定？答：由条件和零个或多个布尔运算符组成的布尔表达式。没有布尔运算符的判定是条件。 如果一个条件在一个判定中出现不止一次，则每次出现都是一个不同的条件。MCDC示例A || (B &
2021-04-16 15:22:52
13444
原创 全数字实时仿真平台SkyEye目标码覆盖率关键技术
1. 研究背景1.1零插桩目标码覆盖率统计技术随着武器装备的复杂度的大幅度增加，运行在装备上的嵌入式系统也越来越复杂，功能迭代越来越多，代码中就可能就会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能就会给软件带来很大的漏洞，严重降低软件的可靠性。因此，需要构建一个能够动态分析代码执行覆盖情况的能力，来检测代码中未执行覆盖情况。通过覆盖率统计分析，得出嵌入式软件执行覆盖情况，查看软件中有那些函数未执行，函数中哪些分支未执行，由此分析软件中函数为什么没有执行，函数中分支为什么没有执..
2021-04-15 19:20:46
413
原创 SkyEye建模之方法介绍篇
SkyEye建模框架介绍SkyEye模型与硬件开发板，图1-1-1是一块普通的硬件开发板，上面有一些比较常见的设备，包括复杂的CPU、USB口、网口、SD卡控制器等，以及简单的蜂鸣器，键盘等设备。我们试想这样一个问题，真实硬件显而易见，包括所有外设的内存地址、寄存器等信息都可以通过硬件手册得知。那么如何用软件的形式(理论上也就是数据)把它直观的表达成我们日常可以理解的东西呢？SkyEye通过json文件来对真实硬件开发板进行描述，可以理解为一个json文件对应于一块真实的硬件开发板。大体结构我们参照图
2021-04-14 10:43:20
266
原创 全数字实时仿真平台SkyEye实现了与虚拟FPGA协同仿真
1. 可与虚拟FPGA的协同仿真全数字实时仿真平台SkyEye实现了与虚拟FPGA的协同仿真，可以支持UVM的验证方法。虚拟的FPGA通过协同仿真总线与SkyEye相连，用户可以自主的控制仿真运行速度，提高较大规模嵌入式系统的测试效率。SkyEye本身是多架构的功能级别仿真平台，且有丰富的调试功能，可以对多核的嵌入式系统进行调试。2. 基于可视化图形的硬件建模基于可视化图形的硬件建模，有效降低了硬件工程师和软件工程师之间的沟通成本。软件工程师可以不依赖于硬件工程师，而根据需要对硬件的配置进行改动。通
2021-04-13 17:48:53
339
转载 全数字实时仿真平台SkyEye和同步数据流语义与翻译正确性验证
同步数据流语义在从Lustre到C的转换过程中, 经历了同步数据流语义逐步向串行命令式语义的过渡.在现阶段, Vélus的动态语义的形式化定义是从SN-Lustre中间表示开始的, 在Obc, 中间表示被变换至一种基于对象的串行命令式语义; 相应地, L2C的动态语义形式化定义是从LustreS中间表示开始的, 在LustreC, 中间表示彻底变换为一种类C的串行命令式语义.这些中间层语言所处位置, 如图 1和图 2所示.可以看出, Vélus的同步数据流语义消去仅在一个阶段完成, 而L2C则经历了多个
2021-04-12 15:58:45
199
转载 全数字实时仿真平台SkyEye与SystemC集成进行时序仿真
SkyEye与SystemC集成进行时序仿真仿真过程是正确实现设计的关键环节，用来验证设计者的设计思想是否正确，及在设计实现过程中各种分布参数引入后，其设计的功能是否依然正确无误。时序仿真使用布局布线后器件给出的模块和连线的延时信息， 在最坏的情况下对电路的行为作出实际地估价。由迪捷软件自主研发的国产全数字实时仿真平台SkyEye与SystemC集成进行时序仿真，以及SkyEye与Matlab或者Simulink集成进行多领域协同仿真。]基于可视化图形的硬件建模配合基于可视化图形的硬件建模，有效降低
2021-04-09 15:39:37
198
转载 SkyEye——汽车电子系统仿真测试工具
随着汽车电子的发展，电子控制单元（ECU）大量应用到现代汽车上，车内网络变的越来越复杂。 在新车型的研发阶段使用专业的仿真工具SkyEye及其配套产品进行车内芯片实时仿真测试，验证车内电子系统的可靠行和安全性成为必要手段。迪捷软件研发设计了一套流程清晰、界面友好、功能丰富的全数字实时仿真平台SkyEye——汽车电子系统仿真测试工具。产品特点更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建。仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标上运行的二进制文件
2021-04-07 10:20:01
681
转载 中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
传统的系统开发过程，都是由工程师根据项目需求书来编写代码完成系统的开发，但随着功能的完善和版本迭代，系统中庞大的代码量很难确保正确无误，给后期测试和仿真带来了很大的压力和成本，在航空航天、卫星系统、核电等安全关键领域影响更为明显。现在，代码自动生成技术的发展给行业发展带来新的可能性，在需求设计阶段，就由模型来完成，借助形式化验证技术和代码自动生成技术来完成项目开发，在保证安全性的同时，也能极大降低开发成本。由迪捷软件自主设计开发的代码自动生成工具SkyEye已经在众多安全关键领域中应用，SkyEye可替代国
2021-04-06 10:56:14
865
转载 自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真
随着科技的发展，系统工程的设计体量逐渐庞大起来，尤其是对于轨道交通、航空航天、核电站等安全关键领域中，如何在复杂度逐年变大的同时保证其安全性和可靠性，是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程（MBSE）技术则给大家提供了一种全新的技术方向，分享一种全数字实时仿真的安全关键领域解决方案，提供一种新的解决思路。基于模型的全数字研发解决方案MBSE工具软件SkyEye是一款先进的仿真与验证平台，提供高效的运算速度，提高研发效率和安全性。SkyEye 介绍SkyEye，中文全称天目全数字
2021-04-02 13:35:29
250
转载 SkyEye实现工业安全关键领域基础软件国产替代
随着科技的发展，系统工程的设计体量逐渐庞大起来，尤其是对于轨道交通、航空航天、核电站等安全关键领域中，如何在复杂度逐年变大的同时保证其安全性和可靠性，是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程（MBSE）技术则给大家提供了一种全新的技术方向，分享一种全数字实时仿真的安全关键领域解决方案，提供一种新的解决思路。新一代全数字仿真平台SkyEye一种全数字实时仿真的安全关键领域解决方案国产自主可控的航空航天全系统仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试
2021-03-26 09:25:28
181
原创 ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink
ModelCoder介绍在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用飞控，航电，核电DC
2021-03-24 11:32:04
1315
原创 完全自主可控的安全关键领域仿真测试软件SkyEye可替代SCADE
基于全数字实时仿真平台 SkyEye产品性质 ：全数字实时仿真平台（软件测试和仿真工具）对标产品 ：美国风河公司的Simics，可替代SCADESkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。SkyEye目前支持主流的嵌入式硬件平台，可以运行主流的操作系统，此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术，使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。
2021-03-23 09:10:04
519
原创 国产自主可控的嵌入式仿真软件SkyEye和同步数据流语言高阶运算消去的可信翻译
同步数据流语言高阶运算消去的可信翻译同步数据流语言(例如Lustre,Signal等)广泛应用于工业界的核心安全级控制系统,如航空、核电等高安全等级的关键领域,与语言相关的软件的安全性也越来越受到人们的关注,特别是一些基础软件,如操作系统、编译器等.确认这些软件的安全可靠非常重要,同时,随着软件系统的复杂度的提高,软件的安全性保证也变得越来越困难,依靠传统的测试、代码审核和过程管控等方法来保证软件的安全性是远远不够的.近年来,形式化验证方法已成功地应用于可信编译器的实现中,CompCert是其中的杰出代表
2021-03-19 09:31:02
340
原创 全数字实时仿真软件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
321
原创 支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1、核心翻译步骤示例本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语言的.1.1 数据流并发性Lustre程序具有数据流并发性, 而Clight程序却是串行执行的.因此, 翻译过程中的一大难题就是要将Lustre语句串行化.现在一般采用的因果分析和排序大多采用测试或翻译确认的方法, 未进行形式化验证.对于L2C构建经过形式化证明的可信编译器的目标, 对排序做严格证明是
2021-03-17 13:36:59
238
原创 国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变种, 参考下一节), 目标语言是C, 最终可用作相关领域数字化仪控系统的安全级代码生成器.国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译步骤及其设计与实现。国产主可控的嵌入式仿真测试软件SkyEye与可信编译器L2C的核心翻译介绍1、L2C编译器简介L2C编译器的发展进程可归为3个里
2021-03-16 09:20:08
589
原创 全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造
随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空、高铁、核电及军事等高安全要求领域的软件系统——安全关键系统(safety-critical system,简称SCS)更是受到高度的重视.而随着软件系统的复杂度越来越高,软件系统的安全性保证也变得越来越困难.这些系统的开发,仅仅依靠过程规范、代码审核和系统测试来保证软件安全还远远不够,通常需要采用形式化验证方法来保证软件可靠性.全数字实时仿真平台SkyEye的同步数据流语言可信编译器的构造在某些安全性严格要求的领域,不但对目标系
2021-03-15 13:35:01
166
原创 嵌入式系统实时仿真解决方案SkyEye
SkyEye介绍SkyEye，中文全称天目全数字实时仿真软件，应用软件仿真技术，逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统，有效降低了硬件工程师和软件工程师之间的沟通成本，软件工程师可以不依赖硬件工程师，根据需求对虚拟硬件的配置进行改动，并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件，可以大大缩短产品研发周期，提高软件测试效率。功能更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目标
2021-03-12 09:42:07
575
原创 嵌入式仿真平台SkyEye的覆盖率分析
随着嵌入式系统也越来越复杂，功能迭代越来越多，代码中就可能就会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能就会给软件带来很大的漏洞，严重降低软件的可靠性。因此，需要一个能够动态分析代码执娜行覆盖情况的功能，来检测代码中未执行覆盖情况。在覆盖率分析时需要分析嵌入式软件的指令覆盖率、指令函数覆盖率、指令函数分支覆盖率、源代码行覆盖率、源代码函数覆盖率、源代码函数分支覆盖率。通过覆盖率统计分析，得出嵌入式软件执行覆盖情况，查看软件中有哪函数未执行，函数中哪些分支未执行，然后分析软件中函数或分
2021-03-11 09:18:41
155
原创 支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye
SkyEye 介绍SkyEye，中文全称天目全数字实时仿真软件，应用软件仿真技术，逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统，有效降低了硬件工程师和软件工程师之间的沟通成本，软件工程师可以不依赖硬件工程师，根据需求对虚拟硬件的配置进行改动，并可以在虚拟硬件模型上运行与真实硬件相同的二进制文件，可以大大缩短产品研发周期，提高软件测试效率。功能更灵活快速的虚拟目标系统搭建–通过可视化图形界面拖拽虚拟硬件组件快速搭建仿真状态可控性、确定性和重复性–在虚拟系统上运行的二进制文件与实际目
2021-03-10 09:11:03
1305
原创 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
287
转载 高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心
全数字仿真平台作为工业领域不可缺少的重要软件之一，除了可以与MATLAB或者Simulink集成外，还支持哪些优秀的功能？在了解新一代全数字仿真平台SkyEye之前，先来学习一下什么是全数字仿真平台。什么是全数字仿真平台全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入。从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。基于嵌入式应用
2021-03-09 11:21:00
175
原创 高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心
全数字仿真平台作为工业领域不可缺少的重要软件之一，除了可以与MATLAB或者Simulink集成外，还支持哪些优秀的功能？在了解新一代全数字仿真平台SkyEye之前，先来学习一下什么是全数字仿真平台。什么是全数字仿真平台全数字仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测试脚本语言来编写外部硬件逻辑行为所产生外部激励事件以构成嵌入式软件的外部信号激励或数据输入。从而满足软件在全数字仿真运行环境下无须人的干预而闭环运行的要求。基于嵌入式应用
2021-03-05 10:41:23
530
1
原创 高性能高可靠性的全数字嵌入式仿真测试软件SkyEye
随着科技的发展，系统工程的设计体量逐渐庞大起来，尤其是对于轨道交通、航空航天、核电站等安全关键领域中，如何在复杂度逐年变大的同时保证其安全性和可靠性，是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程（MBSE）技术则给大家提供了一种全新的技术方向，分享一种全数字实时仿真的安全关键领域解决方案，提供一种新的解决思路。一种全数字实时仿真的安全关键领域解决方案国产自主可控的航空航天全系统仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、
2021-03-04 14:54:43
528
1
原创 面向航空航天工业领域的基于模型的仿真验证工具SkyEye
我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代，我们可以很好的将新方法与旧方法结合，创建一套全新的流程，提供比以往更好的服务。什么是全数字仿真平台面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、测
2021-03-02 10:34:30
359
原创 基于模型的系统工程MBSE软件工具（ModelCoder）
我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具（ModelCoder）。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对飞机发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真并验证。经过不断的迭代，我们可以很好的将新方法与旧方法结合，创建一套全新的流程，提供比以往更好的服务。ModelCoder简介国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink软件工具是一
2021-03-01 10:39:51
6936
原创 基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用
基于模型的系统工程（MBSE）使用数字模型的方式表达描述工程系统的完整生命周期中的需求和设计等活动，以无歧义、模块化等优点快速覆盖了如航空航天、船舶、卫星等相关安全关键领域。在系统工程的初期，系统产生的信息都以文档得形式描述。但是随着系统规模和复杂程度的不断提高，基于文档的系统工程面临的困难逐渐突出，如信息表示不准确造成的歧义、难以从大量的文档中查找所需要的信息、无法和其他工程领域的设计相衔接。于是基于模型的系统工程设计软件ModelCoder应用应运而生，MBSE也将是未来系统工程发展的必然趋势。MBS
2021-02-26 10:43:39
750
原创 应用在核电站DCS系统的代码自动生成工具ModelCoder
对标航空航天领域，核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确，即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段，开发出符合核工业本身的需求（Requirement）、功能（Function）和逻辑（Logical）等系统模型，助力设计端的前期连续仿真与验证，并继承至下游用于物理设计（Physical）、施工仿真、虚拟调试、预防性检修等，保障系统全生命周期的可追溯性，同时进化式地迭代复用。如何实现基于模型的系统工程（MB..
2021-02-24 17:14:46
487
原创 面向航空航天工业领域的基于模型的仿真验证工具SkyEye
我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真。经过不断的迭代，我们可以很好的将新方法与旧方法结合，创建一套全新的流程，提供比以往更好的服务。什么是全数字仿真平台面向航空航天工业领域的基于模型的仿真验证工具SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的..
2021-02-20 11:16:43
441
原创 自主可控的安全关键领域国产工业软件SkyEye
全球制造业正处于新一轮变革的浪潮中，大数据、云计算等新一代信息技术正加速向工业领域融合渗透，工业互联网、工业4.0、智能制造等战略理念不断涌现。传统产业数字化转型升级的需求强烈，工业软件缺乏自主可控成为横亘在我国发展工业4.0道路上的一道坎，尤其在安全关键领域，急需要自主可控的国产工业软件软件。由迪捷软件开发的自主创新的安全关键领域国产工业软件SkyEye，将替代国外Matlab/Sumlink等同类软件。SkyEye 的性能SkyEye采用国产自主可控的特殊算法和LLVM计算进行翻译加速，可以达到上千
2021-02-07 17:15:05
233
原创 国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过
2021-02-07 17:13:40
911
转载 国产自主可控的MBSE建模与仿真平台SkyEye
转载：2020年6月，哈工大、哈工程被美国商务部列入实体清单，禁用MATLAB事件频繁登上热搜，工业软件被称为「卡脖子」技术。截止到2020年12月，中国已有超过300家企业和机构被列入美国“实体名单”，被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所，美国想以此来打压中国工业和科技的发展，其中就包括Matlab等工业软件的限制。2020年8月，国务院随即出台软件产业扶持新政，发布《新时期促进集成电路产业和软件产业高质量发展的若干政策》，出台了40项支持政策推动我国集成电
2021-02-07 17:13:19
2048
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人