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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Herrmann, D.S.: Software Safety and Reliability. IEEE Computer Society Press, Los Alamitos (1999)
NASA-STD-8719.13A: Software Safety. NASA Technical Standard (1997)
Amey, P.: Correctness By Construction: Better Can Also Be Cheaper. CrossTalk Magazine. The Journal of Defense Software Engineering (2002)
Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Boston (1993)
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)
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)
Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer 34(1), 53–60 (2001)
ACE Spacecraft, Astrophysics Science Division at NASA’s GSFC (2005), http://helios.gsfc.nasa.gov/ace_spacecraft.html
Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd edn. Pearson, Prentice Hall, New Jersey (2005)
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)
IBM Corporation: An architectural blueprint for autonomic computing, 4th edn. White paper, IBM Corporation (2006)
Kephart, J.O., Chess, D.M.: The vision of Autonomic Computing. IEEE Computer 36(1), 41–50 (2003)
ESA: Robotic Exploration of Mars, http://www.esa.int/esaMI/Aurora/SEM1NVZKQAD_0.html
Vassev, E.: ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany (2009)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Berlin Heidelberg
About this paper
Cite this paper
Vassev, E., Hinchey, M. (2012). Fundamentals of Designing Complex Aerospace Software Systems. In: Hammami, O., Krob, D., Voirin, JL. (eds) Complex Systems Design & Management. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25203-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-25203-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25202-0
Online ISBN: 978-3-642-25203-7
eBook Packages: EngineeringEngineering (R0)