TY - GEN
T1 - Systems of systems verification
AU - Rouff, Christopher A.
AU - Hinchey, Michael
AU - Rash, James
AU - Truszkowski, Walt
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33748715398&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:33748715398
SN - 1563477394
SN - 9781563477393
T3 - Collection of Technical Papers - InfoTech at Aerospace: Advancing Contemporary Aerospace Technologies and Their Integration
SP - 743
EP - 751
BT - Collection of Technical Papers - InfoTech at Aerospace
T2 - InfoTech at Aerospace: Advancing Contemporary Aerospace Technologies and Their Integration
Y2 - 26 September 2005 through 29 September 2005
ER -