Generating requirements for complex embedded systems using State Analysis

被引:17
作者
Ingham, Michel D. [1 ]
Rasmussen, Robert D. [1 ]
Bennett, Matthew B. [1 ]
Moncada, Alex C. [1 ]
机构
[1] CALTECH, Jet Prop Lab, Pasadena, CA 91109 USA
关键词
Aerospace applications - Computational complexity - Large scale systems - Software engineering - Spacecraft - Systems engineering;
D O I
10.1016/j.actaastro.2006.01.005
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
It 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. (C) 2006 International Astronautical Federation. Published by Elsevier Ltd. All rights reserved.
引用
收藏
页码:648 / 661
页数:14
相关论文
共 10 条
[1]  
[Anonymous], 2000, UNIFIED MODELING LAN, DOI DOI 10.1007/3-540-40011-7_10
[2]  
BARRETT A, 2004, P INT WORKSH PLANN S
[3]  
CHUNG S, 2003, THESIS MIT DEP AERON
[4]  
DVORAK D, 2002, P IEEE AER C
[5]  
DVORAK D, 2004, P 7 IEEE INT S OBJ O
[6]  
DVORAK D, 1999, P AIAA GUID NAV CONT
[7]   STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].
HAREL, D .
SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&
[8]  
Kurien J, 2000, SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), P370
[9]  
Williams B. C., 1996, P NAT C ART INT AUG, V2, P971
[10]   Model-based programming of intelligent embedded systems and robotic space explorers [J].
Williams, BC ;
Ingham, MD ;
Chung, SH ;
Elliott, PH .
PROCEEDINGS OF THE IEEE, 2003, 91 (01) :212-237