Parallel decomposition of control algorithms for computational processes based on the use of nondeterministic automaton logic
DOI:
https://doi.org/10.5377/nexo.v34i01.11278Keywords:
control algorithm, verification, finite automaton, simulation, parallel system, formalizationAbstract
The paper deals with the issues of decomposition of control algorithms for the processes in parallel computing systems and the use of automaton models. When designing parallel processing systems, an important task is the formal presentation of process control algorithms since they allow achieving a packaged solution to the problems of specification, development, implementation, verification, and analysis of complex control systems, including the control of interacting processes and resources in parallel computing systems. It is especially necessary to use formal methods to verify complex information processing systems by model testing. One of the methods for the formal description of control algorithms is based on the use for these purposes of the nondeterministic automaton (NDA) logic, which is a method that allows one to present control algorithms for information processing in the form of systems of canonical equations describing all particular events implemented in the algorithm. The advantage of such a language is that all transitions in the control system are described not in terms of system states, but in terms of particular events, the simultaneous existence of which determines all states and transitions in the system; this allows avoiding a "combinatorial explosion" in the state space to the possibilities of means verification. Purpose of the paper: research of control algorithms for parallel computing systems using the NDA apparatus. The development and research object is parallel decomposition of control algorithms for parallel computing systems using automatic models.
Downloads
652
Downloads
Published
How to Cite
Issue
Section
License
The authors who publish in Nexo Scientific Journal agree to the following terms:
- Authors retain the copyright and grant the journal the right of the first publication under the license Creative Commons Attribution License, which allows others to share the work with a recognition of the authorship of the work and the initial publication in Nexo Scientific Journal.
- Authors may separately establish additional agreements for the non-exclusive distribution of the version of the work published in the journal (for example, in an institutional repository or a book), with the recognition of the initial publication in Nexo Scientific Journal.
- Authors are allowed and encouraged to disseminate their works electronically (for example, in institutional repositories or in their own website) before and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published works.