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

fYear

1991

fDate

20-24 May 1991

Firstpage

455

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/NAECON.1991.165789

Filename

165789