Fundamentals of Designing Complex Aerospace Software Systems
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.
Keywordssoftware design aerospace systems complexity autonomic systems
Unable to display preview. Download preview PDF.
- 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.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.Herrmann, D.S.: Software Safety and Reliability. IEEE Computer Society Press, Los Alamitos (1999)Google Scholar
- 4.NASA-STD-8719.13A: Software Safety. NASA Technical Standard (1997)Google Scholar
- 5.Amey, P.: Correctness By Construction: Better Can Also Be Cheaper. CrossTalk Magazine. The Journal of Defense Software Engineering (2002)Google Scholar
- 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
- 10.ACE Spacecraft, Astrophysics Science Division at NASA’s GSFC (2005), http://helios.gsfc.nasa.gov/ace_spacecraft.html
- 11.Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd edn. Pearson, Prentice Hall, New Jersey (2005)Google Scholar
- 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.IBM Corporation: An architectural blueprint for autonomic computing, 4th edn. White paper, IBM Corporation (2006)Google Scholar
- 15.ESA: Robotic Exploration of Mars, http://www.esa.int/esaMI/Aurora/SEM1NVZKQAD_0.html
- 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