摘要 同步数据流语言(如Lustre,Signal)近年来在航空、高铁、核电等安全关键领域得到了广泛应用，因此与这类语言相关的开发工具本身的安全性问题受到高度关注.同步数据流语言到串行命令式语言的代码生成工具是此类工具的典型代表(如Scade)。构造代码生成工具的途径可…

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

对标航空航天领域，核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确，即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段，开发出符合核工业本身的需求&#xff0…

把桌面上的文件删除，如果想再次找回，只要在电脑的回收站就可以原封不动的把文件找回来。但不小心删除了回收站的信息，怎么办呢?大家遇以这样的情况，也不要太着急，电脑上回收站怎样恢复呢？小编带分享一下解…

基于模型的系统工程（MBSE）使用数字模型的方式表达描述工程系统的完整生命周期中的需求和设计等活动，以无歧义、模块化等优点快速覆盖了如航空航天、船舶、卫星等相关安全关键领域。在系统工程的初期，系统产生的信息都以文档得形式…

我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具（ModelCoder）。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对飞机发动机，飞机的飞控进行预测性的虚拟…

我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字…

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

方案设计问题在一元一次方程实际问题中有所接触，在一次函数实际应用题中也有。一次函数中的方案设计问题，常与一次函数的性质、不等式(组)、方程组等知识点相结合，这类题目一旦掌握解题方法，难度不是很大。本篇文章主要介绍一次函…

全数字仿真平台作为工业领域不可缺少的重要软件之一，除了可以与MATLAB或者Simulink集成外，还支持哪些优秀的功能？在了解新一代全数字仿真平台SkyEye之前，先来学习一下什么是全数字仿真平台。 什么是全数字仿真平台 全数字仿真平…

1.启动流程 在 code/utils/ 下添加 new_systemc 相关代码，启动流程如下： 2.调用关系 3.地址映射 假设有两个 systemc 设备：device1 和 device2，device1 的内存地址映射区域为 0x20000x2fff，device2 的内存映射区域为 …

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

随着嵌入式系统也越来越复杂，功能迭代越来越多，代码中就可能就会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能就会给软件带来很大的漏洞，严重降低软件的可靠性。因此，需要一个能够动态分析…

小程序云开发之数据库自动备份数据是无价的，我们通常会把重要的业务数据存放在数据库中，并需要对数据库做定时的自动备份工作，防止数据异常丢失，造成无法挽回的损失。小程序云开发提供了方便的云数据库供我们直接使用，…

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

前言今天在一个群里面看到的一个朋友提交，说of_property_read_string 这个函数有两个定义，到底是用了哪个呢？所以这篇文章就说下这个函数。函数引用的头文件引用的头文件位置在kernel-4.4includelinuxof.h其中一个是extern int of_property_r…

随着计算机控制系统在人们生活中的普及,软件自身的可靠性也越来越受到重视.在航空、高铁、核电及军事等高安全要求领域的软件系统——安全关键系统(safety-critical system,简称SCS)更是受到高度的重视.而随着软件系统的复杂度越来越高,软件系统的安全性保证也变得越来越困难.这…

HTML的组成部分dtd部分：文档类型说明，声明版本、标准header部分：给机器看的body部分：给人看的CSS控制div显示是一个块级元素。这意味着它的内容自动地开始一个新行。实际上，换行是 固有的唯一格式表现。可以通过 的 cl…

为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个变种, 参考下一节), 目标语言是C, 最终可用作相关领域数字化仪控系统的安全级代码生成器.国产…

1、核心翻译步骤示例 本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语言的. 1.1 数据流并发性 Lustre程序具有数据流并发性, 而Clight程序却是串行执行的.因此…