Challenges and solutions for embedded and networked aerospace software systems

Proceedings of the IEEE

Volumn 98, Issue 4, 2010, Pages 621-634

  Sharp, David C ^a   Bell, Alex E ^a   Gold, Jeffrey J ^a   Gibbar, Ken W ^a   Gvillo, Dennis W ^a   Knight, Vann M ^a   Murphy, Kevin P ^a   Roll, Wendy C ^a   Sampigethaya, Radhakrishna G ^a   Santhanam, Viswa ^a   Weismuller, Steven P ^a  

^a BOEING COMPANY   (United States)

Author keywords

Aerospace systems; Aircraft electronics; Distributed computing; Real time systems

Indexed keywords

AIRCRAFT; APPLICATION PROGRAMS; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MIDDLEWARE;

AEROSPACE SYSTEMS; AIRCRAFT ELECTRONICS; ASSOCIATED SOFTWARES; AUTOMATED CODE GENERATION; COMMAND AND CONTROL; MODEL BASED DEVELOPMENT; SYSTEMS OF SYSTEMS; TECHNOLOGY DEVELOPMENT;

REAL TIME SYSTEMS;

EID: 77950459849     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2009.2039631     Document Type: Article

References (44)

1. IEEE Standard for a Software Quality Metrics MethodologyVDescription, IEEE Std. 1061-1998.
2. D. C. Schmidt, D. Levine, and S. Mungee, "The design of the TAO real-time object request broker," Computer Communications Special Issue on Building Quality of Service Into Distributed Systems, vol. 21, no. 4, Apr. 1998, Elsevier Science.
3. W. Roll, "Towards model-based and CCM-based applications for real time systems," in International Symposium on Object-Oriented Real-Time Computing Proceedings, 2003.
4. M. Agrawal and L. Graba, "Distributed middleware requirements for disparate avionics and control software," in 24th Digital Avionics Systems Conference, Oct. 2005.
5. K. Kemp, Flight of the Titans. U.K.: Virgin Books, 2007.
6. U.S. Centennial of Flight Commission. [Online]. Available: http://www. centennialofflight.gov/essay/Commercial- Aviation/Dereg/Tran8.htm
7. Energy Information Administration, U.S. Department of Energy. [Online]. Available: http://tonto.eia.doe.gov/dnav/pet/ hist/rjetnyhd.htm
8. J. W. Ramsey, "Integrated modular avionics: Less is more," Avionics Magazine, Feb. 1, 2007.
9. M. J. Morgan, "Integrated modular avionics for next generation commercial airplanes," Aerospace and Electronic Systems Magazine, IEEE, vol. 6, no. 8, pp. 9-12, Aug. 1991.
10. C. Adams, "Product focus: ARINC 653 and RTOS," Avionics Magazine, Jul. 1, 2004.
11. Certification Authorities Software Team, Addressing Cache in Airborne Systems and Equipment, Jun. 2003, CAST Position Paper 20.
12. N. Gautam and O. P. Yadav, Model Based Development and Auto Testing: A Robust Approach for Reliable Automotive Software Development, Apr. 2006, SAE International Document 2006-01-1420.
13. N. Tudor, M. Adams, P. Clayton, and C. O'Halloran, "Auto-coding/ auto-proving flight control software," in Digital Avionics Systems Conference, Oct. 24-28, 2004.
14. M. D. Schulte, "Model-based integration of reusable component-based avionics systemsVA case study," in 9th International Symposium on Object-Oriented Real-Time distributed Computing (ISORC), Seattle, Washington, May 16-20, 2005.
15. J. C. Knight, "Future trends of software technology and applications model-based development," in Computer Software and Applications Conference, Sep. 2006, vol. 1, p. 18. (Pubitemid 46661615)
16. J. J. Chilenski and S. P. Miller, "Applicability of modified condition/decision coverage to software testing," Software Engineering Journal, vol. 9, no. 5, pp. 193-200, Sep. 1994.
17. K. J. Hayhurst, D. S. Veerhusen, J. J. Chilenski, and L. K. Rierson, "A Practical Tutorial on Modified Condition/Decision Coverage," NASA Technical Report NASA/TM-2001-210876.
18. G. Berry, "Synchronous design of embedded systems: The Esterel/Scade approach," in Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, "Berlin, Germany, July 1-2, 2007, Revised Selected Papers, 2008, Springer.
19. J. Barnes, High Integrity Software, Addison-Wesley Publishing Co., 2003.
20. Boeing Frontiers, vol.4, no.8. [Online]. Available: www.boeing.com/news/ frontiers/ archive/2005/december/ts-sf10.html
21. G. Bird, M. Christensen, D. Lutz, and P. Scandura, "Use of integrated vehicle health management in the field of commercial aviation," in Proceedings of NASA ISHEM Forum, 2005.
22. Radio Technical Commission for Aeronautics, Software Considerations in Airborne Systems and Equipment Certification (RTCA/DO-178B), 1992.
23. Federal Aviation Administration, "14 CFR part 25, special conditions: Boeing model 787-788 airplane; systems and data networks security isolation or protection from unauthorized passenger domain systems access, [docket no. NM364 special conditions no. 250701SC]," Federal Register, vol. 72, no. 71, Apr. 13, 2007. [Online]. Available: http://edocket.access.gpo.gov/ 2007/pdf/ E7-7065.pdf
24. Federal Aviation Administration, "14 CFR part 25, special conditions: Boeing model 787-788 airplane; systems and data networks security protection of airplane systems and data networks from unauthorized external access, [docket no. NM365 special conditions no. 250702SC]," Federal Register, vol. 72, no. 72, Apr. 16, 2007. [Online]. Available: http:// edocket.access.gpo.gov/2007/pdf/ 07-1838.pdf
25. Aeronautical Radio Inc. (ARINC), Electronic Distribution of Software (ARINC 666), 2006.
26. J. Pawlicki, J. Touzeau, and C. Royalty, Data and Communication Security Standards in Practice, 2006. [Online]. Available: http:// www.ataebiz.org/forum/ 2006presentations/ StandardsInPracticeAll.pdf, 2006.
27. R. Robinson, M. Li, S. Lintelman, K. Sampigethaya, R. Poovendran, D. von Oheimb, J. Busser, and J. Cuellar, "Electronic distribution of airplane software and the impact of information security on airplane safety," in Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2007.
28. K. Sampigethaya, R. Poovendran, and L. Bushnell, "Secure operation, control, and maintenance of future e-enabled airplane," in Proceedings of the IEEE, vol. 96, no. 12, Dec. 2008.
29. M. Maidl, D. von Oheimb, P. Hartmann, and R. Robinson, "Formal security analysis of electronic software distribution systems," in Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), 2008.
30. B. Carey, "Editor's Note: Software Standard," Avionics Magazine, Jun. 1, 2008.
31. "Space Shuttle," Wikipedia, The Free Encyclopedia, Jan. 29 2009, 21:05 UTC. 30 Jan. 2009. [Online]. Available: http://en. wikipedia.org/w/index.php?title= Space-Shuttle=267264985
32. K. W. Wise, "First flight of the X-45A Unmanned Combat Air Vehicle (UCAV)," in AIAA Atmospheric Flight Mechanics Conference and Exhibit, Austin, Texas, Aug. 11-14, 2003.
33. R. W. Davidson, "Flight control design and test of the Joint Unmanned Combat Air System (J-UCAS) X-45A," in AIAA 3rd "Unmanned Unlimited" Technical Conference, Workshop and Exhibit, Chicago, Illinois, Sep. 20-23, 2004.
34. D. C. Sharp, "Object-oriented real-time computing for reusable avionics software," in International Symposium on Object-Oriented Real-Time Computing Proceedings, 2001.
35. F. Buschmann, R. Meunier, H. Rohnert, and P. Sommerlad, Pattern-Oriented Software Architecture: A System of Patterns. Wiley & Sons, 1996, p. 31 ff.
36. D. C. Sharp, "Reducing avionics software cost through component based product line development," in Software Technology Conference Proceedings, Apr. 1998.
37. L. M. Northrop and P. C. Clements, A Framework for Software Product Line Practice, Version 5.0: Carnegie Mellon University Software Engineering Institute. [Online]. Available: http://www.sei.cmu.edu/plp/ framework.html
38. B. S. Doerr and D. C. Sharp, "Freeing product line architectures from execution dependencies," in Software Technology Conference, May 1999.
39. M. Effinger, C. Miller, W. Roll, D. Sharp, and D. Stuart, "Challenges and visions for model based integration of avionics systems," in Digital Avionics Systems Conference Proceedings, 2001.
40. G. Karsai, S. Neema, B. Abbott, and D. Sharp, "A modeling language and its supporting tools for avionics systems," in The 21st Digital Avionics Systems Conference, 2002. Proceedings, 2002, vol. 1, pp. 6A3-1-6A3-13.
41. M. D. Schulte, "Model-based integration of reusable component-based avionics systemsVA case study," in International Symposium on Object-Oriented Real-Time Computing Proceedings, 2005.
42. B. Tosney and S. Pavlica, "A successful strategy for satellite development and testing," in Aerospace Corporation CrosslinksR Fall, 2005.
43. D. E. Cooke, M. Barry, M. Lowry, and C. Green, "NASA's exploration agenda and capability engineering," in Computer, vol. 39, no. 1, pp. 63-73, Jan. 2006. (Pubitemid 43186096)
44. D. Corman, T. Herm, J. Paunicka, T. Sheperd, and T. Emrich, Mixed Initiative Control of Automa-Teams, Open Experimentation Platform. [Online]. Available: http://www. stormingmedia.us/34/3445/A344524.html