TY - GEN
T1 - You can't get there from here! problems and potential solutions in developing new classes of complex computer systems
AU - Hinchey, Michael G.
AU - Rash, James L.
AU - Truszkowski, Walter F.
AU - Rouff, Christopher A.
AU - Sterritt, Roy
PY - 2008
Y1 - 2008
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 productscreated 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 productscreated by the computing industry.
UR - http://www.scopus.com/inward/record.url?scp=70349328568&partnerID=8YFLogxK
U2 - 10.1109/IMCSIT.2008.4747311
DO - 10.1109/IMCSIT.2008.4747311
M3 - Conference contribution
AN - SCOPUS:70349328568
SN - 9788360810149
SN - 9788360810149
T3 - Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008
SP - 639
EP - 647
BT - Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008
PB - IEEE Computer Society
T2 - International Multiconference on Computer Science and Information Technology, IMCSIT 2008
Y2 - 20 October 2008 through 22 October 2008
ER -