Fundamentals of Designing Complex Aerospace Software Systems

Conference paper

Abstract

Contemporary aerospace systems are complex conglomerates of components where control software drives rigid hardware to aid such systems meet their standards and safety requirements. The design and development of such systems is an inherently complex task where complex hardware and sophisticated software must exhibit adequate reliability and thus, they need to be carefully designed and thoroughly checked and tested. We discuss some of the best practices in designing complex aerospace systems. Ideally, these practices might be used to form a design strategy directing designers and developers in finding the “right design concept” that can be applied to design a reliable aerospace system meeting important safety requirements. Moreover, the design aspects of a new class of aerospace systems termed “autonomic” is briefly discussed as well.

Keywords

software design aerospace systems complexity autonomic systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gilbert, D., Aparicio, M., Atkinson, B., Brady, S., Ciccarino, J., Grosof, B., O’Connor, P., Osisek, D., Pritko, S., Spagna, R., Wilson, L.: IBM Intelligent Agent Strategy. White Paper, IBM Corporation (1995)Google Scholar
  2. 2.
    Philippe, C.: Verification, Validation, and Certification Challenges for Control Systems. In: Samad, T., Annaswamy, A.M. (eds.) The Impact of Control Technology. IEEE Control Systems Society (2011)Google Scholar
  3. 3.
    Herrmann, D.S.: Software Safety and Reliability. IEEE Computer Society Press, Los Alamitos (1999)Google Scholar
  4. 4.
    NASA-STD-8719.13A: Software Safety. NASA Technical Standard (1997)Google Scholar
  5. 5.
    Amey, P.: Correctness By Construction: Better Can Also Be Cheaper. CrossTalk Magazine. The Journal of Defense Software Engineering (2002)Google Scholar
  6. 6.
    Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Boston (1993)MATHGoogle Scholar
  7. 7.
    Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., De Simone, R.: The Synchronous Languages Twelve Years Later. Proceedings of the IEEE 91(1), 64–83 (2003)CrossRefGoogle Scholar
  8. 8.
    Hinchey, M.G., Rash, J.L., Rouff, C.A.: Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation. Technical Report TM-2005-212774, NASA Goddard Space Flight Center, Greenbelt, MD, USA (2004)Google Scholar
  9. 9.
    Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer 34(1), 53–60 (2001)CrossRefMathSciNetGoogle Scholar
  10. 10.
    ACE Spacecraft, Astrophysics Science Division at NASA’s GSFC (2005), http://helios.gsfc.nasa.gov/ace_spacecraft.html
  11. 11.
    Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd edn. Pearson, Prentice Hall, New Jersey (2005)Google Scholar
  12. 12.
    Gilbert, D., Aparicio, M., Atkinson, B., Brady, S., Ciccarino, J., Grosof, B., O’Connor, P., Osisek, D., Pritko, S., Spagna, R., Wilson, L.: IBM Intelligent Agent Strategy. White Paper, IBM Corporation (1995)Google Scholar
  13. 13.
    IBM Corporation: An architectural blueprint for autonomic computing, 4th edn. White paper, IBM Corporation (2006)Google Scholar
  14. 14.
    Kephart, J.O., Chess, D.M.: The vision of Autonomic Computing. IEEE Computer 36(1), 41–50 (2003)CrossRefGoogle Scholar
  15. 15.
    ESA: Robotic Exploration of Mars, http://www.esa.int/esaMI/Aurora/SEM1NVZKQAD_0.html
  16. 16.
    Vassev, E.: ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany (2009)Google Scholar
  17. 17.
    Truszkowski, M., Hinchey, M., Rash, J., Rouff, C.: NASA’s swarm missions: The challenge of building autonomous software. IT Professional 6(5), 47–52 (2004)CrossRefGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2012

Authors and Affiliations

  1. 1.Lero–the Irish Software Engineering Research CentreUniversity of LimerickLimerickIreland

Personalised recommendations