Модели проектирования и верификация автоматных систем логического управления

Abstract

The purpose of work is development of methods of increase of testable models of finite state machines and also methods of realization of diagnostic experiments above the models of finite state machines. Conducted analysis of existent methods of realization of diagnostic experiments above finite state machines, analyzed methods of increase of testability of finite state machines, worked out methods of realization of diagnostic experiments above finite state machines in the conditions of introduction of vehicle surplus in the model of finite state machines. The worked out methods are realize CAD on the basis of hardware description languages