AbstractIt has become clear that spacecraft system complexity is reaching a threshold where customary methods of control are no longer affordable or sufficiently reliable. At the heart of this problem are the conventional approaches to systems and software engineering based on subsystem-level functional decomposition, which fail to scale in the tangled web of interactions typically encountered in complex spacecraft designs. Furthermore, there is a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors. This problem is addressed by a systems engineering methodology called State Analysis, which provides a process for capturing system and software requirements in the form of explicit models. This paper describes how requirements for complex aerospace systems can be developed using State Analysis, using representative spacecraft examples.
Generating requirements for complex embedded systems using State Analysis
Acta Astronautica ; 58 , 12 ; 648-661
2006-01-03
14 pages
Article (Journal)
Electronic Resource
English
Generating requirements for complex embedded systems using State Analysis
Online Contents | 2006
|Requirements Engineering for complex embedded systems
Automotive engineering | 2005
|Minimal embedded robustness requirements analysis
IEEE | 2011
|Requirements Engineering for Automotive Embedded Systems
Springer Verlag | 2019
|