Paper Info
Title
You can’t get there from here! 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 todaypsilas 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.
Year
DOI
Venue
2008
10.1109/IMCSIT.2008.4747311
Wisia
Keywords
Field
DocType
aerospace engineering,program verification,software quality,space vehicles,NASA,advanced mission concepts,autonomous swarm missions,complex computer systems,complex system development,emergent behavior,information technology,interacting intelligent mission elements,new system development,small spacecraft,software correctness,software products,software quality
Complex system,Swarm behaviour,Computer science,Information technology,Correctness,Risk analysis (engineering),Software,Artificial intelligence,Dilemma,Software quality,Machine learning,Database
Conference
ISBN
Citations 
PageRank 
978-83-60810-14-9
0
0.34
References 
Authors
17
5
Name
Order
Citations
PageRank
Michael G. Hinchey169791.11
James L. Rash239543.67
Walter Truszkowski35920.79
Sterritt, Roy471768.34
Christopher A. Rouff540950.08