YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS

MG Hinchey, JL Rash, WF Truszkowski, CA Rouff, R Sterritt

Research output: Contribution to journalArticle

Abstract

The explosion of capabilities and new products within the sphere of information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. NASA faces this dilemma as it envisages advanced mission concepts that involve large swarms of small spacecraft that will engage cooperatively to achieve science goals. Such missions involve levels of complexity that beg for new methods for system development far beyond today s methods, which are inadequate for ensuring correct behavior of large numbers of interacting intelligent mission elements. New system development techniques recently devised through NASA-led research will offer innovative approaches to achieving correctness in complex system development, including autonomous swarm missions that exhibit emergent behavior, as well as general software products created by the software Industry. Keywords: system development, correctness, autonomous and autonomic systems, formal methods
LanguageEnglish
Pages1-16
JournalJournal of Integrated Design and Process Science
Volume9
Issue number1
Publication statusPublished - 2005

Fingerprint

NASA
Large scale systems
Formal methods
Explosions
Information technology
Spacecraft
Industry

Cite this

@article{5d877ecd26664d988860c2848cef0343,
title = "YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS",
abstract = "The explosion of capabilities and new products within the sphere of information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. NASA faces this dilemma as it envisages advanced mission concepts that involve large swarms of small spacecraft that will engage cooperatively to achieve science goals. Such missions involve levels of complexity that beg for new methods for system development far beyond today s methods, which are inadequate for ensuring correct behavior of large numbers of interacting intelligent mission elements. New system development techniques recently devised through NASA-led research will offer innovative approaches to achieving correctness in complex system development, including autonomous swarm missions that exhibit emergent behavior, as well as general software products created by the software Industry. Keywords: system development, correctness, autonomous and autonomic systems, formal methods",
author = "MG Hinchey and JL Rash and WF Truszkowski and CA Rouff and R Sterritt",
year = "2005",
language = "English",
volume = "9",
pages = "1--16",
journal = "Journal of Integrated Design and Process Science",
issn = "1092-0617",
publisher = "IOS Press",
number = "1",

}

YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS. / Hinchey, MG; Rash, JL; Truszkowski, WF; Rouff, CA; Sterritt, R.

In: Journal of Integrated Design and Process Science, Vol. 9, No. 1, 2005, p. 1-16.

Research output: Contribution to journalArticle

TY - JOUR

T1 - YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS

AU - Hinchey, MG

AU - Rash, JL

AU - Truszkowski, WF

AU - Rouff, CA

AU - Sterritt, R

PY - 2005

Y1 - 2005

N2 - The explosion of capabilities and new products within the sphere of information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. NASA faces this dilemma as it envisages advanced mission concepts that involve large swarms of small spacecraft that will engage cooperatively to achieve science goals. Such missions involve levels of complexity that beg for new methods for system development far beyond today s methods, which are inadequate for ensuring correct behavior of large numbers of interacting intelligent mission elements. New system development techniques recently devised through NASA-led research will offer innovative approaches to achieving correctness in complex system development, including autonomous swarm missions that exhibit emergent behavior, as well as general software products created by the software Industry. Keywords: system development, correctness, autonomous and autonomic systems, formal methods

AB - The explosion of capabilities and new products within the sphere of information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. NASA faces this dilemma as it envisages advanced mission concepts that involve large swarms of small spacecraft that will engage cooperatively to achieve science goals. Such missions involve levels of complexity that beg for new methods for system development far beyond today s methods, which are inadequate for ensuring correct behavior of large numbers of interacting intelligent mission elements. New system development techniques recently devised through NASA-led research will offer innovative approaches to achieving correctness in complex system development, including autonomous swarm missions that exhibit emergent behavior, as well as general software products created by the software Industry. Keywords: system development, correctness, autonomous and autonomic systems, formal methods

M3 - Article

VL - 9

SP - 1

EP - 16

JO - Journal of Integrated Design and Process Science

T2 - Journal of Integrated Design and Process Science

JF - Journal of Integrated Design and Process Science

SN - 1092-0617

IS - 1

ER -