Zobrazeno 1 - 9
of 9
pro vyhledávání: '"D. Yu. Volkanov"'
Autor:
D. Yu. Volkanov
Publikováno v:
Моделирование и анализ информационных систем, Vol 23, Iss 2, Pp 119-136 (2016)
In the paper we consider a method for a reliability allocation problem (RAP) of distributed computer systems (DCS) under cost constraints. In this problem we maximize reliability of DCS under constraints of system cost. The article describes consider
Externí odkaz:
https://doaj.org/article/7bfae420ed014a829edd326e2f7f0131
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 45-56 (2015)
To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchi
Externí odkaz:
https://doaj.org/article/41b86a8b67e748ee96fa18286abd520f
Publikováno v:
Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 45-56 (2012)
To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchi
Externí odkaz:
https://doaj.org/article/8ffba3959d44465b9af44c13034cd83e
Autor:
D. Yu. Volkanov
Publikováno v:
Automatic Control and Computer Sciences. 51:539-550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24ca1cf6b7fe3e99268cecd85f8db09c
https://doi.org/10.3103/s0146411617070239
https://doi.org/10.3103/s0146411617070239
Publikováno v:
Programming and Computer Software. 41:325-335
Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systems (RTDS) is described. RTDSs are specified as statecharts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5871463118696dd01c9bee72572873c0
https://doi.org/10.1134/s0361768815060080
https://doi.org/10.1134/s0361768815060080
Publikováno v:
Automatic Control and Computer Sciences. 48:534-542
To verify real-time properties of UML statecharts one may apply a UPPAAL, toolbox for model checking of real-time systems. One of the most suitable ways to specify an operational semantics of UML statecharts is to invoke the formal model of Hierarchi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df8fd638b1bde7c420f26cd71f908168
https://doi.org/10.3103/s0146411614070232
https://doi.org/10.3103/s0146411614070232
Publikováno v:
Programming and Computer Software. 39:242-254
Problems of analysis and design of embedded real-time systems for controlling complex engineering systems are considered by an example of a DYANA simulation environment and its development at the Laboratory of Computing Systems (LCS), Faculty of Comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3682920916d8cdaa38cf023e498e6eb5
https://doi.org/10.1134/s0361768813050058
https://doi.org/10.1134/s0361768813050058
Autor:
Alevtina B. Glonina, V.N. Pashkov, Ruslan Smeliansky, V.V. Balashov, A. G. Bakhmurov, D. Yu. Volkanov
Publikováno v:
Progress in Flight Dynamics, Guidance, Navigation, Control, Fault Detection, and Avionics.
In this paper, the reliability allocation problem (RAP) for real-time avionics systems (RTAS) is considered. The proposed method for solving this problem consists of two steps: (i ) creation of an RTAS simulation model at the necessary level of abstr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5544cf6f6b44d2f23f9c99872a18cbcc
https://doi.org/10.1051/eucass/201306487
https://doi.org/10.1051/eucass/201306487
Autor:
N.V. Youshchenko, D. Yu. Volkanov, V.V. Balashov, Ruslan Smeliansky, A. G. Bakhmurov, M.V. Chistolinov
Publikováno v:
DepCoS-RELCOMEX
In this paper, we present a technology for integration of distributed real-time embedded systems (RTES) based on hardware-in-the-loop simulation. The environment to support this technology is described. This environment also enables simulation-based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64a28514d0e05bb806286a500c20607c
https://doi.org/10.1504/ijccbs.2010.031706
https://doi.org/10.1504/ijccbs.2010.031706