网站备案怎么做超链接,新网站一般建设空间大小,网页美工设计需要学什么,深圳58网站建设安全关键系统#xff08;Safety-Critical System#xff0c;SCS#xff09;是指由于某些行为或组合行为能够引发整体系统失效#xff0c;继而导致财物损失、人员受伤等严重影响的系统#xff0c;诸多安全关键领域如航空航天、核电系统、医疗设备、交通运输等领域的系统都属…
安全关键系统Safety-Critical SystemSCS是指由于某些行为或组合行为能够引发整体系统失效继而导致财物损失、人员受伤等严重影响的系统诸多安全关键领域如航空航天、核电系统、医疗设备、交通运输等领域的系统都属于安全关键系统而这些系统中大部分核心功能是由软件实现的。
当前正处于“工业4.0”与“中国制造2025”的时代随着时代发展进程不断加速软件功能也越来越强大、复杂性越来越高。近几十年来由软件失效导致安全关键系统失效进而引发重大事故的情况屡见不鲜
1996年NASA发射Ariane5运载火箭在发射37秒后就被迫自行引爆原因为控制飞行的软件发生了故障在64位浮点数跳至16位浮点数的过程中发生了整数溢出问题。本次事故造成了高达25亿美元的经济损失。 2009年空客公司的A330-200型客机测速仪结冰其飞控软件仍提供了错误的攀升信号。由于软件未设定飞机的高度上限最终导致飞机坠毁祖上228名机组人员及乘客无一生还其中包含9名中国乘客。 2018年10月以及2019年3月波音公司的两起737Max飞机先后坠毁的事件导致了包括机组人员在内的346人死亡中美欧等多个国家将该飞机列为禁飞机型波音公司因此遭受了上亿美元的损失。通过后续的事故调查主要原因在于不完善的软件设计和不合格的适航审查。 如何进一步提高机载软件安全性一直是航空航天领域重要的研究方向。
机载软件安全性是指通过软件验证减少机载软件生命周期内的错误直到软件错误在可控范围内进而保证软件在使用过程中不具备引发系统危害的能力。软件安全性分析是指对特定飞行危害发生的所有途径和因素进行分析建模得到危害场景的模型进行分析识别机载软件中可能造成严重后果的潜在危害同时确定消除或降低危害的方法。 机载软件的安全性需从两个方面思考
开展软件安全性分析及验证工作从系统的安全性分析出发获得系统安全需求识别其中由软件导致的危险从而获取软件的安全规约用于对软件进行形式化验证保证软件设计的正确性。开展机载软件的适航目标符合性验证工作将适航认证标准与软件实现的功能相结合确定软件的安全等级分配相应的适航目标在软件开发过程证明软件满足相应的适航目标来确保软件的安全性。 飞控系统作为飞机机载系统的核心是安全关键关联度最高的机载系统软件之一。飞控系统包括纷繁复杂的飞行控制软件主要完成飞行传感器数据处理、飞行姿态控制和余度管理任务对保证飞机安全性和可靠性起着关键作用但是现实中与飞控软件相关的研发测试过程依旧举步维艰。其主要原因是硬件设备研发成本高且周期长并且软件程序研发和测试过程严重依赖于实体硬件同时也缺乏有效的调试手段无法快速、高效、准确地定位问题导致软件研发陷入冗长的周期循环中。为应对飞控系统软件特别是多核和多节点的复杂系统的开发测试困境仿真模拟技术应运而生。
数字化与工业相结合诞生了数字孪生技术。应用数字孪生技术搭建一套虚实同步的飞控系统建立传感器、样机与仿真模型同步运行的方式方法即可将飞控机的逻辑控制模式应用在虚拟模型中解决复杂嵌入式系统的硬件平台在成本、可用性、可控性、可调试性、可检测性、容错检错测试等方面的问题。
天目全数字实时仿真软件SkyEye是基于可视化建模的硬件行为级仿真平台。基于SkyEye搭建的虚拟飞控机板卡可实现飞控软件程序烧录及运行功能虚拟飞控机与硬件实物测试效果一致满足飞控软件功能和性能要求同时具备“软件在环”技术验证效果。项目还可与Keil、FMU环境集成仿真进行计算周期精度验证与控制数据解算验证解决飞控领域的安全关键问题。 ▲SkyEye基于软件在环的飞控机建模仿真案例
