Title :
Cooperating diverse experts: a methodology to develop quality software for critical decision support systems
Author :
Pradhan, Dhiraj ; Hecht, Herbert ; Hecht, Myron ; Meyer, Fred ; Vaidya, Nitin
Author_Institution :
Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
Abstract :
The problem of developing software for critical systems in the decision support context is considered. The limitations of existing software development methodologies are mentioned and a new methodology, cooperating diverse experts (CDE), is proposed. This new methodology draws upon techniques used in multiple version software and in distributed recovery blocks. The methodology relies upon the ultrareliable development of a parameterizable arbitrator to administer the cooperation of multiple diverse implementations (interpretations) of the decision support problem. CDE may be used to develop a single reliable software module or it may be used as an operational system in which some modules are multiply implemented
Keywords :
aerospace control; computer aided software engineering; cooperative systems; decision support systems; expert systems; reliability; safety-critical software; cooperating diverse experts; critical decision support systems; distributed recovery blocks; quality software; software development methodologies; Aircraft; Computer science; Formal languages; Formal specifications; NASA; Natural languages; Programming; Software quality; Software systems; Testing;
Conference_Titel :
Aerospace Applications Conference, 1995. Proceedings., 1995 IEEE
Conference_Location :
Aspen, CO
Print_ISBN :
0-7803-2473-0
DOI :
10.1109/AERO.1995.468917