TY - JOUR
T1 - You can't get there from here! Problems and some potential solutions in developing new classes of complex systems
AU - Hinchey, Michael G.
AU - Rash, James L.
AU - Truszkowski, Walter F.
AU - Rouff, Christopher A.
AU - Sterritt, Roy
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.
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.
KW - Autonomous and autonomic systems
KW - Correctness
KW - Formal methods
KW - System development
UR - http://www.scopus.com/inward/record.url?scp=29244444232&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:29244444232
SN - 1092-0617
VL - 9
SP - 1
EP - 16
JO - Journal of Integrated Design and Process Science
JF - Journal of Integrated Design and Process Science
IS - 1
ER -