Ulster University Logo

Ulster Institutional Repository

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

Biomedical Sciences Research Institute Computer Science Research Institute Environmental Sciences Research Institute Nanotechnology & Advanced Materials Research Institute

Hinchey, Mike, Rash, James L., Truszkowski, Walt F., Rouff, Christopher A. and Sterritt, Roy (2012) You Can’t Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. In: Conquering Complexity. Springer, pp. 159-176. ISBN 978-1-4471-2296-8 [Book section]

[img]Other (XPS: An XML Paper Specification (XPS) document ) - Accepted Version
777Kb

URL: http://dx.doi.org/10.1007/978-1-4471-2297-5_7

DOI: 10.1007/978-1-4471-2297-5_7

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.

Item Type:Book section
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Smart Environments
ID Code:21110
Deposited By:Mr Roy Sterritt
Deposited On:20 Feb 2012 14:09
Last Modified:20 Feb 2012 14:09

Repository Staff Only: item control page