https://libeldoc.bsuir.by/handle/123456789/45783| Title: | Correctness of Control Systems with Concurrenсy Behavior |
| Authors: | Cheremisinova, L. Cheremisinov, D. Черемисинова, Л. Д. Черемисинов, Д. И. |
| Keywords: | материалы конференций;conference proceedings;concurrent algorithm;hardware verification;test pattern;simulation;PRALU language |
| Issue Date: | 2021 |
| Publisher: | UIIP NASB |
| Citation: | Cheremisinova, L. Correctness of Control Systems with Concurrenсy Behavior / Cheremisinova L., Cheremisinov D. // Pattern Recognition and Information Processing (PRIP'2021) = Распознавание образов и обработка информации (2021) : Proceedings of the 15th International Conference, 21–24 Sept. 2021, Minsk, Belarus / United Institute of Informatics Problems of the National Academy of Sciences of Belarus. – Minsk, 2021. – P. 133–139. |
| Abstract: | The discussed problem is to verify whether a reactive control system design with concurrency behavior meets its specification. A model of the desired behavior is in the form of parallel automaton that describes concurrent control algorithms. It is proposed to generate test patterns in the process of simulating the design specification of a concurrent system, which includes an algorithm for the behavior of not only the system itself, but also the environment of the designed device. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/45783 |
| Appears in Collections: | Pattern Recognition and Information Processing (PRIP'2021) = Распознавание образов и обработка информации (2021) |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinova_Correctness.pdf | 975.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.