VERIFICATION METHOD FOR EMBEDDED REAL TIME SYSTEMS OF AEROSPACE APPLICATION

A difference between deterministic and non-deterministic architectures of digital control systems is explained. A finite-state automation model for the system units is used. A verification method for non-deterministic architecture is proposed. This method is based on graph isomorphism – comparing different parts of architectures without using specific rules or algorithms. It can be useful in multi-purpose Computer-Aided Design (CAD) tools for aerospace applications.