An artificial intelligence approach for the verification of requirements for aircraft electrical power systems

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.<
>