Challenges and Solutions for Embedded and Networked Aerospace Software Systems Development of real-time component-based systems, model-based system development, and the use of automated code generation, simulation techniques and desktop test methods are described.

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 technol- ogy development on many fronts associated both with the productsVsuch as real-time component-based application frameworks, supporting middleware, and algorithmsVand the processes and tools by which they are createdVsuch 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]  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.

[2]  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).

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

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

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

[6]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture: A System of Patterns: John Wiley & Sons , 1987 .

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

[8]  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..

[9]  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).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[24]  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).

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