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

Authors:
Michael G. Hinchey;James L. Rash;Walter F. Truszkowski;Christopher A. Rouff;Roy Sterritt
Affiliations:
NASA Goddard Space Flight Center, Greenbelt, MD, USA;NASA Goddard Space Flight Center, Greenbelt, MD, USA;NASA Goddard Space Flight Center, Greenbelt, MD, USA;SAIC, Advanced Concepts Business Unit, McLean, VA, USA;University of Ulster, School of Computing and Mathematics, Jordanstown, Northern Ireland
Venue:
Journal of Integrated Design & Process Science
Year:
2005

Citing 20
Cited 1

Communicating sequential processes

Communicating sequential processes
No Silver Bullet Essence and Accidents of Software Engineering

Computer
On visual formalisms

Communications of the ACM
Biting the Silver Bullet: Toward a Brighter Future for System Development

Computer
Communicating sequential processes

Communications of the ACM
Rebirth of the computer industry

Communications of the ACM - Adaptive middleware
Concurrent Systems: Formal Development in CSP

Concurrent Systems: Formal Development in CSP
Specification in B: An Introduction Using the B Toolkit

Specification in B: An Introduction Using the B Toolkit
High-Integrity System Specification and Design

High-Integrity System Specification and Design
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach
The Future of Formal Methods in Industry

ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
csp2B: A Practical Approach to Combining CSP and B

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Towards Autonomic Computing: Effective Event Management

SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
An operational semantics for ZCCS

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT

ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
The dawning of the autonomic computing era

IBM Systems Journal
NASA's Swarm Missions: The Challenge of Building Autonomous Software

IT Professional
Why Computer-Based Systems Should Be Autonomic

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Formal Requirements-Based Programming for Complex Systems

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Autonomous and autonomic systems: a paradigm for future space exploration missions

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Software engineering and swarm-based systems

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems

Quantified Score

Hi-index	0.00

Visualization

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.