Category: Technical diagnostics and controllable systems


Mukhopad A.Yu. , Mukhopad Yu.F.

Design methods for software versions of control automata essentially depend on verification of structural models of complicated and highly complicated automata for real-time engineering systems. It is suggested to use a new original structural model of an automaton, where a logical block organized as two-input elements “I” is used addressing via subset of {?} logical conditions ?1 … ?q from a decoder of conditions of a new control automaton independent of subset {A} action statements A1…Ak. The software version is presented in the form of sequence of operators as well as logical conditions in the form of a flowgraph. Implementation of the flowgraph for a software model on a microcontroller is simple and identical for any degree of complexity of the given. The design method of the software version in question was termed as structural automata-based programming; the latter being one of the most efficient methods on record. The software model is compiled once from the selected type of microcontrollers. In case of the initial operation change it is required only to alternate the meaning of the working storage (OZU), which holds jump codes, pick tables for logical conditions and action statements.

Key words:
Automaton, control, program, combinational circuit, working storage, operator algorithmic schemes

Download article