嵌入式软件生产线的构建技术研究

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (7): 652-661.

嵌入式软件生产线的构建技术研究

李允¹, 罗蕾^1,2, 王丽杰¹

1. 电子科技大学计算机学院, 成都 610054
2. 北京科银京成技术有限公司成都研发中心, 成都 611731

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-07-01 发布日期:2011-07-01

Research on Building Technology of Embedded Software Production Line

LI Yun, LUO Lei, WANG Lijie

1. School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China 2. Chengdu Research and Development Center, CoreTek Systems Inc., Chengdu 611731, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-07-01 Published:2011-07-01

摘要/Abstract

摘要： 嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势, 提出了基于Trustie环境的嵌入式软件生产线的构建方法, 阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术, 介绍了嵌入式软件生产线在飞行控制领域的应用情况。

关键词: 嵌入式软件生产线, 调度分析, 代码自动生成, 多余度调试, 飞行控制软件

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

李允1 , 罗蕾1,2 , 王丽杰1 . 嵌入式软件生产线的构建技术研究[J]. 计算机科学与探索, 2011, 5(7): 652-661.

LI Yun, LUO Lei, WANG Lijie. Research on Building Technology of Embedded Software Production Line[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(7): 652-661.

[1]	景翠萍，廖丽，王伟. 面向非结构网格应用并行程序的编程工具[J]. 计算机科学与探索, 2018, 12(2): 252-262.
[2]	王淼，漆锋滨. 异构多核代码自动生成框架[J]. 计算机科学与探索, 2013, 7(6): 518-526.