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

Research on Building Technology of Embedded Software Production Line

下载PDF

导出

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

作者李允罗蕾王丽杰

机构地区电子科技大学计算机学院北京科银京成技术有限公司成都研发中心

出处《计算机科学与探索》 CSCD 2011年第7期652-661,共10页 Journal of Frontiers of Computer Science and Technology

基金国家高技术研究发展计划(863)No.2007AA010304 2009AA010312~~

关键词嵌入式软件生产线调度分析代码自动生成多余度调试飞行控制软件 embedded software production line schedulability analysis automatic code generation multi-modular redundancy debugging flight control software

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献11

1OMG. Model driven architecture[R/OL]. (2010-06-02). http://www.omg.org/mda/.
2Joaquin M, Jishnu M. MDA guide version 1.0.1[R/OL]. (2003-06-12). http://www.omg.org/cgi-bin/do-c?om-g/03- 06-01.pdf.
3Baufreton P, Dupont F, Lesergent T, et al. Safeair: ad- vanced design tools for aircraft systems and airborne software[C]//Proceedings of the 2001 International Con- ference on Dependable Systems and Networks (DSN 2001), Gothenburg, Sweden, July 1-4, 2001.
4Mahoney M J, Cook L. Development and operations of flight systems for responsive missions[C]//Proceedings of the 2nd Responsive Space Conference, Los Angeles, CA April 19-22, 2004.
5AUTOSAR GbR. AUTOSAR: technical overview[R/OL]. http://www.autosar.org/download/AUTOSAR Technical- Overview.pdf.
6Feiler P, Lewis B, Vestal S. Improving predictability in embedded real-time systems[R/OL], http://la.sei.cmu.edu/ aadlinfosite/AADLPublications&Presentations.html.
7Lewis B. Architecture based model driven software and system development for real-time embedded systems[R/OL]. http://la.sei.cmu.edu/aadlinfosite/AADLPublications&Pre- sentations.html.
8Dissaux E Using the AADL for mission critical software development[R/OL], http://la, sei.cmu.edu/aadlinfosite/AADL- Publications&Presentations.html.
9Gui S L, Luo L, Li Y, et al, Formal schedulability analysis and simulation for AADL[C]//Proceedings of the 2008 International Conference on Embedded Software' and Systems (ICESS 2008), Chengdu, Sichuan, China, July 29-31, 2008.
10Gui S L, Luo L, Liu Q, et al. UCaS: a schedulability analysis tool for AADL models[C]//Proceedings of the 2008 International Conference on Embedded and Ubiqui-tous Computing, Shanghai, China, December 17-20, 2008.

计算机科学与探索

2011年第7期

浏览历史

内容加载中请稍等...

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

参考文献11

相关作者

相关机构

相关主题

浏览历史