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