Skip to main content
The AIG web pages make heavy use of cascading style sheet features for formatting. You may still browse the text of the site, but for best results, please use a CSS enabled browser. Netscape 6 and Mozilla 5 are good. IE 5 will do.

JPL Header



Navigation Sidebar



Main Content


Publications

2005

A Model-Based Requirements Database Tool for Complex Embedded Systems ABSTRACT - 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 (1) how requirements for complex aerospace systems can be developed using State Analysis, (2) how these requirements inform the design of the system software, and (3) how this process has been aided through a State Analysis Database (SDB) and supporting multi-platform client. The SDB provides a productive, collaborative development environment for State Analysis that is shared by both systems and software engineers. M. Bennett, R. Rasmussen, M. Ingham International Council on Systems Engineering (INCOSE) International Symposium. Washington DC. May 2005 . + PDF CL#04-3613
State-Based Models for Planning and Execution ABSTRACT - Many traditional planners are build on top of existing execution engines that were not necessarily intended to be operated by a planner. The Mission Data System has been designed from the onset to have both an execution and planning engine and provides a framework for defining state-based models that can be used to coordinate planning and execution. The models provide a basis for ensuring the consistency of assumptions made by the execution engine and planner, and a basis for run-time communications between the planner and execution engines. M. Bennett, R. Knight, R. Rasmussen, M. Ingham International Conference on Automated Planning and Scheduling (ICAPS). Monterey, CA. June 2005 . + PDF CL#05-0762
A Unifying Framework for Systems Modeling, Control Systems Design, and System Operation ABSTRACT - Current engineering practice in the analysis and design of large-scale multi-disciplinary control systems is typified by some form of decomposition -- whether functional or physical or discipline-based -- that enables multiple teams to work in parallel and in relative isolation. Too often, the resulting system after integration is an awkward marriage of different control and data mechanisms with poor end-to-end accountability. System of systems engineering, which faces this problem on a large scale, cries out for a unifying framework to guide analysis, design, and operation. This paper describes such a framework for semi-autonomous control systems that guides analysis and modeling, shapes control system software design, and directly specifies operational intent. This paper illustrates the key concepts in the context of a large-scale, concurrent, globally-distributed system of systems: NASA's proposed array-based Deep Space Network. D. Dvorak, M. Indictor, M. Ingham, R. Rasmussen, M. Stringfellow IEEE System, Man, and Cybernetics Conference. Kona, HI. October 2005 . + PDF CL#05-0805
Achieving Control and Interoperability Through Unified Model-Based Engineering and Software Engineering ABSTRACT - This paper describes the control challenge faced by future exploration systems and outlines a realistic approach to solving it, based upon a unified, principled architectural approach to both software and systems engineering. It concludes by suggesting the steps necessary to put this capability in place for exploration systems. R. Rasmussen, M. Ingham, D. Dvorak AIAA Infotech@Aerospace Conference. Arlington, VA. September 2005 . + PDF CL#05-2806
Data Management in the Mission Data System ABSTRACT - As spacecraft systems evolve from simple embedded devices to become more sophisticated computing platforms with complex behaviors it is increasingly necessary to model and manage the flow of data, and to provide uniform models for managing data that promote adaptability, yet pay heed to the physical limitations of the embedded and space environments. The Mission Data System (MDS) defines a software architecture in which both control theory and end-to-end data management provide the primary guiding principles. This paper describes how the MDS architecture facilitates data accountability and storage resource management. D. Wagner IEEE System, Man, and Cybernetics Conference. Kona, HI. October 2005 . + PDF CL#05-0950
Engineering Complex Embedded Systems with State Analysis and the Mission Data System ABSTRACT - 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 and how these requirements inform the design of the system software, using representative spacecraft examples. M. Ingham, R. Rasmussen, M. Bennett, A. Moncada AIAA Intelligent Systems Technical Conference. Chicago, IL. September 2004 . AIAA Journal of Aerospace Computing, Information and Communication . Vol. 2, No. 12, December 2005 , pp-507-536. + PDF CL#04-2815

Publications

+ Complete Bibliography
+ Featured Publications
+ MDS TSPA Docushare Repository

By Year

+ 2010
+ 2009
+ 2008
+ 2007
+ 2006
+ 2005
+ 2004
+ 2003
+ 2002
+ 2001
+ 2000

By Author

+ Choi
+ Barrett
+ Bennett
+ Dvorak
+ Horvath
+ Ingham
+ Lee
+ Knight
+ Kordon
+ Mishkin
+ Morris
+ Murray
+ Rasmussen
+ Reeves
+ Reinholtz
+ Starbird
+ Wagner
+ Weiss
+ Wolgast


Copyright Notice

This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from the paper's publisher and/or author.

You may not upload this material to any public server, on-line service, network, or bulletin board without prior written permission from the publisher and/or author. You may not make copies for any commercial purpose.

This material is not public domain. Reproduction or storage of materials retrieved from this web site are subject to the U.S. Copyright Act of 1976, Title 17 U.S.C.


Footer