Systems of systems verification

Christopher A. Rouff, Michael Hinchey, James Rash, Walt Truszkowski

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

To perform new science and exploration, NASA is proposing missions using multi-spacecraft where each spacecraft can act independently to perform a part of a mission but cannot complete it by itself. These missions are utilizing the concept of "System of Systems" that are being used to develop large systems made up of interacting components, each of which is a system in its own right. To develop these systems with a high level of assurance, new verification methods will be needed to address the added complexity resulting from the nondeterminate nature of these systems as well as emergent behavior. To support the level of assurance that NASA missions require, formal specification techniques and formal verification will play vital roles in the future development of NASA space exploration missions. The role of formal methods will be in the specification and analysis of forthcoming missions, enabling software assurance and proof of correctness of the system of systems behavior, whether or not this behavior is emergent. Formal models derived may also be used as the basis for automating the generation of much of the code for the mission to further reduce the cost and probability of adding new errors during coding.

Original languageEnglish
Title of host publicationCollection of Technical Papers - InfoTech at Aerospace
Subtitle of host publicationAdvancing Contemporary Aerospace Technologies and Their Integration
Pages743-751
Number of pages9
Publication statusPublished - 2005
Externally publishedYes
EventInfoTech at Aerospace: Advancing Contemporary Aerospace Technologies and Their Integration - Arlington, VA, United States
Duration: 26 Sep 200529 Sep 2005

Publication series

NameCollection of Technical Papers - InfoTech at Aerospace: Advancing Contemporary Aerospace Technologies and Their Integration
Volume2

Conference

ConferenceInfoTech at Aerospace: Advancing Contemporary Aerospace Technologies and Their Integration
Country/TerritoryUnited States
CityArlington, VA
Period26/09/0529/09/05

Fingerprint

Dive into the research topics of 'Systems of systems verification'. Together they form a unique fingerprint.

Cite this