Metody analýzy stavových automatů pro vestavné aplikace

Abstract

Táto diplomová práca sa zaoberá analýzou stavových automatov pre vstavané aplikácie. Problematika konečných stavových automatov je rozobraná teoreticky. Dokument ďalej obsahuje návrh prostriedkov pre modelovanie konečných stavových automatov v prostredí Matlab/Simulink. Je navrhnutá dátová reprezentácia konečného automatu. Nad touto dátovou reprezentáciou je aplikovaný algoritmus minimalizácie. Nakoniec je implementovaný algoritmus na generovanie kódu v jazyku C.This master’s thesis deals with analysis of state machines for embedded applications. The issue of finite-state machine is described theoretically. The document also contains a proposal for funding for modeling finite state machines in Matlab/Simulink. It is designed data representation of finite automaton. Over this data representation algorithm of minimization is applied. Finally, the algorithm is implemented to generate code in C language.