Title :
An artificial intelligence approach for the verification of requirements for aircraft electrical power systems
Author :
Glass, Robert ; Said, Waleed ; Thom, James
Author_Institution :
Sundstrand Aerosp., Rockford, IL, USA
Abstract :
An expert system shell called Expert Electric Power Simulator (EXEPS) has been implemented for use in verifying the requirements of aircraft power generating systems (EPGS). The requirements are modeled as rules for the inference engine of the shell. Behavioral models of each of the components of the EPGS are used to simulate the hardware response of the system. The combination of rules and behavioral models provide a simulation of the response of the EPGS to external events. By monitoring the system response, errors in the requirements specification can found
Keywords :
aerospace computing; aircraft; artificial intelligence; digital simulation; expert systems; power engineering computing; power supplies to apparatus; EXEPS; Expert Electric Power Simulator; aircraft electrical power systems; artificial intelligence; behavioral models; errors; expert system shell; inference engine; response monitoring; rules; simulation; verification of requirements; Aircraft; Artificial intelligence; Circuit breakers; Control systems; Load flow; Logic; Paramagnetic resonance; Power systems; Product development; Sequential circuits;
Conference_Titel :
Aerospace and Electronics Conference, 1991. NAECON 1991., Proceedings of the IEEE 1991 National
Conference_Location :
Dayton, OH
Print_ISBN :
0-7803-0085-8
DOI :
10.1109/NAECON.1991.165789
