机载积冰预警功能对于飞行安全至关重要。该功能需要实时监测飞行环境参数,并及时向飞行员发出积冰告警,以保障飞行安全。基于安全关键应用开发环境(safety critical application development environment,SCADE)模型化开发方法,研究并...机载积冰预警功能对于飞行安全至关重要。该功能需要实时监测飞行环境参数,并及时向飞行员发出积冰告警,以保障飞行安全。基于安全关键应用开发环境(safety critical application development environment,SCADE)模型化开发方法,研究并设计了一套积冰预警系统软件。利用SCADE工具完成了模型设计、模拟仿真及嵌入式代码自动生成的全流程开发。经验证,自动生成的代码与模型一致性达到100%,有效避免了传统手写代码可能引入的逻辑错误,显著提升了积冰预警系统的可靠性与安全性。目前,该软件已成功应用于某型民用飞机,并稳定运营两年。展开更多
为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基...为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基于图形化编程工具SCADE的建模开发方法和自动代码生成技术进行研究,自动生成高可靠嵌入式实时代码,运用SCADE自身的Check、Simulation、Model Test Coverage功能,免去代码的低层测试单元,应用于某余度管理软件仿真平台的开发项目中,大大节约了成本,保证了余度管理软件的可靠性和容错能力。展开更多
文摘机载积冰预警功能对于飞行安全至关重要。该功能需要实时监测飞行环境参数,并及时向飞行员发出积冰告警,以保障飞行安全。基于安全关键应用开发环境(safety critical application development environment,SCADE)模型化开发方法,研究并设计了一套积冰预警系统软件。利用SCADE工具完成了模型设计、模拟仿真及嵌入式代码自动生成的全流程开发。经验证,自动生成的代码与模型一致性达到100%,有效避免了传统手写代码可能引入的逻辑错误,显著提升了积冰预警系统的可靠性与安全性。目前,该软件已成功应用于某型民用飞机,并稳定运营两年。
文摘为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基于图形化编程工具SCADE的建模开发方法和自动代码生成技术进行研究,自动生成高可靠嵌入式实时代码,运用SCADE自身的Check、Simulation、Model Test Coverage功能,免去代码的低层测试单元,应用于某余度管理软件仿真平台的开发项目中,大大节约了成本,保证了余度管理软件的可靠性和容错能力。
