为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基...为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基于图形化编程工具SCADE的建模开发方法和自动代码生成技术进行研究,自动生成高可靠嵌入式实时代码,运用SCADE自身的Check、Simulation、Model Test Coverage功能,免去代码的低层测试单元,应用于某余度管理软件仿真平台的开发项目中,大大节约了成本,保证了余度管理软件的可靠性和容错能力。展开更多
文摘为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基于图形化编程工具SCADE的建模开发方法和自动代码生成技术进行研究,自动生成高可靠嵌入式实时代码,运用SCADE自身的Check、Simulation、Model Test Coverage功能,免去代码的低层测试单元,应用于某余度管理软件仿真平台的开发项目中,大大节约了成本,保证了余度管理软件的可靠性和容错能力。
