Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Natalia Olegovna Garanina"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 338-355 (2021)
The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance. The novelty of the approach lies in the use of the model checking method to find the optimal t
Externí odkaz:
https://doaj.org/article/5bf3d49d330d42d486cae9e867a365b0
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 442-453 (2020)
Multiagent algorithm is a knowledge-based distributed algorithm that solves some problems by means of cooperative work of agents. From an individual agent's perspective, a multiagent algorithm is a reactive and proactive knowledge/believe-based ratio
Externí odkaz:
https://doaj.org/article/1b04b5070a424c1dac0225241a79e033
Autor:
Natalia Olegovna Garanina, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov, Sergei Petrovich Gorlatch
Publikováno v:
Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 412-427 (2020)
We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programma
Externí odkaz:
https://doaj.org/article/81e74bef07b44382b905e9e27aae2dde
Publikováno v:
Optoelectronics, Instrumentation and Data Processing. 55:189-197
The paper describes solving the problem of automatic verification of control software in cyber-physical systems created by means of process-oriented programming. A method based on plant simulators is proposed, and its implementation on the basis of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1e832bce03d23a0b3b05802ce3a6b6c
https://doi.org/10.3103/s8756699019020110
https://doi.org/10.3103/s8756699019020110
Publikováno v:
2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM).
In the paper, we examine an approach for verifying control programs initially specified in the process-oriented programming language Reflex using model checking, a formal verification method. We propose a technique to translate discrete-state Reflex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9521e0811005dbfb5faa52c1672306f8
https://doi.org/10.1109/edm52169.2021.9507563
https://doi.org/10.1109/edm52169.2021.9507563
Publikováno v:
2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM).
The process-oriented paradigm is a promising approach to the development of control software based on the natural concept of the process. Many safety-critical systems use control software. This is a reason for the formal verification of such systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44fafad7736e9607225d0ba9ee7d4f1f
https://doi.org/10.1109/edm52169.2021.9507628
https://doi.org/10.1109/edm52169.2021.9507628
Publikováno v:
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783030876562
MEDI Workshops
MEDI Workshops
In this paper, we propose an approach to checking consistency of control software requirements described using pattern-based notation. This approach can be used at the beginning of control software verification to effectively identify contradicting a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffec867954abe6c5f3b03ab580b205dc
https://doi.org/10.1007/978-3-030-87657-9_15
https://doi.org/10.1007/978-3-030-87657-9_15
Publikováno v:
2020 21st International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM).
Process-oriented programming is a natural way to describe control software as a set of communicating processes with executable states, that allows to speed up its development. The Reflex language is one of the representatives of the family of process
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a3cbba10bf426c9c480c8755446dd33
https://doi.org/10.1109/edm49804.2020.9153545
https://doi.org/10.1109/edm49804.2020.9153545
Autor:
Vladimir Zyubin, Sergei Gorlatch, Tatiana Liakh, Igor S. Anureev, Natalia Olegovna Garanina, Andrei Rozov
Publikováno v:
System Informatics.
We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d00b7b740c2f76b7f8284cc634763678
https://doi.org/10.31144/si.2307-6410.2020.n17.p33-42
https://doi.org/10.31144/si.2307-6410.2020.n17.p33-42
Autor:
Natalia Olegovna Garanina, Vladimir Zyubin, Dmitry Koznov, Sergei Gorlatch, Elena A. Sidorova, Igor S. Anureev
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)
FM Workshops (1)
Formal verification ensures the absence of design errors in a system with respect to system’s requirements. This is especially important for the control software of critical systems, ranging from automatic components of avionics and spacecrafts to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5de6a138567b33f3bde0294ef1b67236
https://doi.org/10.1007/978-3-030-54994-7_9
https://doi.org/10.1007/978-3-030-54994-7_9