You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems

Mike Hinchey, James L. Rash, Walt F. Truszkowski, Christopher A. Rouff, Roy Sterritt

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

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. These assumptions are encouraged by software producers and vendors, who at this late date have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. 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 entail 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 some 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 computing industry.
LanguageEnglish
Title of host publicationConquering Complexity
Pages159-176
DOIs
Publication statusPublished - 2012

Fingerprint

NASA
Computer systems
Explosions
Information technology
Spacecraft
Large scale systems
Industry
Acoustic waves

Cite this

Hinchey, Mike ; Rash, James L. ; Truszkowski, Walt F. ; Rouff, Christopher A. ; Sterritt, Roy. / You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity. 2012. pp. 159-176
@inbook{b3cd7aba72fc4969b890f9c1a0397b81,
title = "You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer 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. These assumptions are encouraged by software producers and vendors, who at this late date have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. 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 entail 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 some 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 computing industry.",
author = "Mike Hinchey and Rash, {James L.} and Truszkowski, {Walt F.} and Rouff, {Christopher A.} and Roy Sterritt",
year = "2012",
doi = "10.1007/978-1-4471-2297-5_7",
language = "English",
isbn = "978-1-4471-2296-8",
pages = "159--176",
booktitle = "Conquering Complexity",

}

You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. / Hinchey, Mike; Rash, James L.; Truszkowski, Walt F.; Rouff, Christopher A.; Sterritt, Roy.

Conquering Complexity. 2012. p. 159-176.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems

AU - Hinchey, Mike

AU - Rash, James L.

AU - Truszkowski, Walt F.

AU - Rouff, Christopher A.

AU - Sterritt, Roy

PY - 2012

Y1 - 2012

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. These assumptions are encouraged by software producers and vendors, who at this late date have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. 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 entail 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 some 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 computing industry.

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. These assumptions are encouraged by software producers and vendors, who at this late date have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. 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 entail 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 some 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 computing industry.

U2 - 10.1007/978-1-4471-2297-5_7

DO - 10.1007/978-1-4471-2297-5_7

M3 - Chapter

SN - 978-1-4471-2296-8

SP - 159

EP - 176

BT - Conquering Complexity

ER -