摘要
为提高机载计算机的可靠性和容错能力,普遍采用余度技术。但目前余度管理软件开发过程中通常采用手写代码,容易引入错误,软件可靠性和开发效率较低,验证工作在软件开发的后期且工作量大,导致软件开发周期较长,成本高等一系列问题。对基于图形化编程工具SCADE的建模开发方法和自动代码生成技术进行研究,自动生成高可靠嵌入式实时代码,运用SCADE自身的Check、Simulation、Model Test Coverage功能,免去代码的低层测试单元,应用于某余度管理软件仿真平台的开发项目中,大大节约了成本,保证了余度管理软件的可靠性和容错能力。
In order to improve the reliability and error tolerant ahility of flight control computer, the redundant manage- ment technical is proposed generally. But the problems of bringing errors, low reliability, low efficiency, long develop- ment period, verify work at the final procedure ,large verify workload and high cost in the process of redundancy manage- ment software development by using manual coding, which can generate high reliable real-time embedded codes automati- cally and applied in practical of simulate platform for redundancy management, can be exempt from low-level cell test by using Check,Simulation,Model Test Coverage mechanism, with the advantages of short period and ensure the reliability and error tolerant of flight control computer.
出处
《软件导刊》
2012年第10期14-16,共3页
Software Guide
