计算机科学与探索2011，Vol.5Issue(7)：652-661,10.DOI:10.3778/j.issn.1673-9418.2011.07.009
嵌入式软件生产线的构建技术研究
Research on Building Technology of Embedded Software Production Line*
摘要
Abstract
Software risk is being aggravated with the increasing complexity of embedded software. After researching on the specialty and development trend of embedded software, a building method for embedded software production line based on Trustie environment is described. Then the major technology in this production line is discussed from three aspects: schedulability analysis, automatic code generation and multi-modular redundancy debugging. Finally, embedded software production line is applied to the development of flight control software.关键词
嵌入式软件生产线；调度分析；代码自动生成；多余度调试；飞行控制软件Key words
embedded software production line/ schedulability analysis/ automatic code generation/ multi-modular redundancy debugging/ flight control software分类
信息技术与安全科学引用本文复制引用
李允,罗蕾,王丽杰..嵌入式软件生产线的构建技术研究[J].计算机科学与探索,2011,5(7):652-661,10.基金项目
The National High-Tech Research and Development Plan of China under Grant No.2007AA010304，2009AA010312(国家高技术研究发展计划(863)). （国家高技术研究发展计划(863）
