Title :
Requirements specification for a real-time embedded expert system for rapid prototyping
Author :
Suh, Sang C. ; Tanik, Murat M. ; Frailey, Dennis J.
Author_Institution :
Dept. of Comput. Sci. & Eng., Southern Methodist Univ., Dallas, TX, USA
Abstract :
Several commercial expert system shells provide knowledge engineers with the capability of developing expert system applications, but are not able to meet the size constraints or provide the run-time performance needed to address problems associated with delivery of embedded real-time applications. In addition, there is no provision to provide deliverable code in Ada, a requirement for many US DoD systems. The embedded consultant project addresses these issues by knowledge-base size reduction by means of code optimization techniques, and by an inference engine, written in Ada, designed for real-time applications. A new rapid prototyping approach for real-time applications is described. The methodology is based on the reuse of existing software components. The approach, and the significance of the work are discussed
Keywords :
expert systems; formal specification; inference mechanisms; real-time systems; software prototyping; software reusability; Ada; DoD systems; code optimization; commercial expert system shells; embedded consultant project; embedded real-time applications; inference engine; knowledge-base size reduction; rapid prototyping; run-time performance; size constraints; software reuse; Application software; Computer languages; Computer science; Design engineering; Engines; Expert systems; Instruments; Prototypes; Real time systems; Runtime;
Conference_Titel :
Rapid System Prototyping, 1992. Shortening the Path from Specification to Prototype, 1992 International Workshop on
Conference_Location :
Research Triangle Park, NC
Print_ISBN :
0-8186-3520-7
DOI :
10.1109/IWRSP.1992.243909