Reusable software architectures for aerospace systems

Modern, complex control systems for specific application domains often display common system design architectures with similar subsystem functionality and interactions. The similarities between these subsystems in most spacecraft can be exploited to create a model‐driven system development environment and then transformed into software or hardware either manually or automatically. Modifications to software and hardware during operations can be similarly made in the same controlled way. The approach is illustrated using a spacecraft attitude determination and control subsystem, but applies equally to other types of aerospace systems.

[1]  K. Lundqvist,et al.  Investigating the readability of state-based formal requirements specification languages , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[2]  Jeffrey S. Lavell,et al.  Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .

[3]  James R. Wertz,et al.  Space Mission Analysis and Design , 1992 .

[4]  Nancy G. Leveson,et al.  Designing specification languages for process control systems: lessons learned and steps to the future , 1999, ESEC/FSE-7.

[5]  Nancy G. Leveson Completeness in formal specification language design for process-control systems , 2000, FMSP '00.

[6]  Nancy G. Leveson,et al.  Investigating the readability of state-based formal requirements specification languages , 2002, ICSE '02.

[7]  Marcel J. Sidi,et al.  Spacecraft Dynamics and Control: A Practical Engineering Approach , 1997 .

[8]  Elaine J. Weyuker,et al.  Testing Component-Based Software: A Cautionary Tale , 1998, IEEE Softw..

[9]  Nancy G. Leveson,et al.  On the use of visualization in formal requirements specification , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[10]  Nancy G. Leveson,et al.  The Role of Software in Recent Aerospace Accidents , 2001 .

[11]  Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..

[12]  Nancy G. Leveson,et al.  Role of Software in Spacecraft Accidents , 2004 .

[13]  James R. Wertz,et al.  Spacecraft attitude determination and control , 1978 .