Formalized approach to the design of microprocessor systems with elements of human-machine interaction

Abstract

The article discusses the methodology of a formalized approach to the design of microprocessor systems that provide human-machine interaction. Classical procedures for designing sequential systems (circuit logic) applicable to the development of MP-systems, in particular, formal methods for obtaining transition/output tables and the graph of the automaton being designed, are considered. The main emphasis of the design is based on the logic of the Mealy automaton graph, characterized by the fact that during the entire period of the “stable” state Qi, the input Xi and output Zi vectors remain unchanged. However, at the same time, the conditional statements of the algorithm select changes in the input vector Xi, if it occurred in the state Qi under the influence of events external to the MP-system. As a result of such selection, the MP-system passes to another “stable” state Qi+k, which is determined by the algorithm scheme. As an example of the designed MP-system, there is a controller for calling control subroutines corresponding to specific modes of operation of the control object. A software solution is proposed for a section of the algorithm that provides a conditional transition based on the results of the implementation of the constant comparison procedure. As a rationale for the functional implementation of the prototype of the designed controller, a circuit diagram based on a microcontroller is given, which provides elements of human-machine interaction.