Challenges and Solutions for Embedded and Networked Aerospace Software Systems

Aerospace systems are increasingly dependent upon software for their functionality, with associated software spanning a wide range of application domains. These include aircraft and spacecraft flight controls, mission computing, weapons management, command and control, surveillance, sensor management and processing, telemetry, and more. Understanding of their unique challenges has driven technology development on many fronts associated both with the products - such as real-time component-based application frameworks, supporting middleware, and algorithms - and the processes and tools by which they are created - such as model-based development and integration, automated code generation, simulations, and desktop test environments. This paper describes a number of these domains and challenges, future directions associated with networking and systems of systems, and technologies facilitating their development within The Boeing Company.

[1]  Ronald W. Davidson Flight Control Design and Test of the Joint Unmanned Combat Air System (J-UCAS) X-45A ** , 2004 .

[2]  Wendy Roll Towards model-based and CCM-based applications for real-time systems , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..

[3]  Om Prakash Yadav,et al.  Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development , 2006 .

[4]  Radha Poovendran,et al.  Secure Operation, Control, and Maintenance of Future E-Enabled Airplanes , 2008, Proceedings of the IEEE.

[5]  J Hayhurst Kelly,et al.  A Practical Tutorial on Modified Condition/Decision Coverage , 2001 .

[6]  John C. Knight Future trends of software technology and applications model-based development , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

[7]  M. J. Morgan Integrated modular avionics for next generation commercial airplanes , 1991 .

[8]  Victor L. Winter,et al.  High Integrity Software , 2001 .

[9]  Douglas C. Schmidt,et al.  The design of the TAO real-time object request broker , 1998, Comput. Commun..

[10]  M. Effinger,et al.  Challenges and visions for model-based integration of avionics systems , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).

[11]  Richard Robinson,et al.  Formal Security Analysis of Electronic Software Distribution Systems , 2008, SAFECOMP.

[12]  冯振兴 文献a successful strategy for satellite development and testing点评 , 2009 .

[13]  Radha Poovendran,et al.  Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety , 2007, SAFECOMP.

[14]  Nathan Presser,et al.  6 A Successful Strategy for Satellite Development and Testing , 2005 .

[15]  Gabor Karsai,et al.  A modeling language and its supporting tools for avionics systems , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[16]  Daniel E. Cooke,et al.  NASA's exploration agenda and capability engineering , 2006, Computer.

[17]  David C. Sharp Object-oriented real-time computing for reusable avionics software , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[18]  B. J. Ferro Castro,et al.  Pattern-Oriented Software Architecture: A System of Patterns , 2009 .

[19]  Kevin Wise First Flight of the X-45A Unmanned Combat Air Vehicle (UCAV) , 2003 .

[20]  Mukul Agrawal,et al.  Distributed middleware requirements for disparate avionics and control software , 2005, 24th Digital Avionics Systems Conference.

[21]  D. C. Sharp,et al.  Reducing avionics software cost through component based product line development , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[22]  Kenny Kemp Flight of the Titans , 2006 .

[23]  Mark Schulte Model-based integration of reusable component-based avionics systems - a case study , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[24]  Steven P. Miller,et al.  Applicability of modified condition/decision coverage to software testing , 1994, Softw. Eng. J..

[25]  N. Tudor,et al.  Auto-coding/auto-proving flight control software , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[26]  David E. Corman,et al.  Mixed Initiative Control of Automa-Teams, Open Experimentation Platform , 2004 .

[27]  David Sharp,et al.  Freeing product line architectures from execution dependencies , 2000, SPLC.