Výsledky vyhledávání - "Tvardovskii, A."

Akademický článek

Deriving Homing Sequences for Finite State Machines with Timed Guards

Autor: Aleksandr Sergeevich Tvardovskii, Nina Vladimirovna Yevtushenko

Publikováno v: Моделирование и анализ информационных систем, Vol 27, Iss 4, Pp 376-395 (2020)

State identification is the well-known problem in the theory of Finite State Machines (FSM) where homing sequences (HS) are used for the identification of a current FSM state, and this fact is widely used in the area of software and hardware testing

Externí odkaz: https://doaj.org/article/6f14f6811a2b499cb651d044ce3f1ecc

Zobrazit plný text záznamu

Akademický článek

FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts

Autor: Aleksandr Sergeevitch Tvardovskii, Nina Vladimirovna Evtushenko

Publikováno v: Труды Института системного программирования РАН, Vol 31, Iss 4, Pp 175-188 (2019)

Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended

Externí odkaz: https://doaj.org/article/d36a2519d0bf410c841a8b5c0ff9935d

Zobrazit plný text záznamu

Akademický článek

Minimizing Deterministic Timed Finite State Machines

Autor: Bresolin, Davide, Tvardovskii, Aleksandr, Yevtushenko, Nina, Villa, Tiziano, Gromov, Maxim

Publikováno v: In IFAC PapersOnLine 2018 51(7):486-492

Zobrazit plný text záznamu

Akademický článek

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines

Autor: A. S. Tvardovskii, A. V. Laputenko

Publikováno v: Труды Института системного программирования РАН, Vol 30, Iss 1, Pp 25-40 (2018)

Finite State Machines (FSMs) are widely used for analysis and synthesis of digital components of control systems. In order to take into account time aspects, timed FSMs are considered. In this paper, we address the problem of deriving a parallel comp

Externí odkaz: https://doaj.org/article/6ee4b06eb1d048aa92c96f66ed853973

Zobrazit plný text záznamu

Akademický článek

Deriving adaptive distinguishing sequences for Finite State Machines

Autor: A. S. Tvardovskii, N. V. Yevtushenko

Publikováno v: Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 139-154 (2018)

FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage for control systems. Distinguishing sequences (DS) are used in FSM based testing for state identification and can significantly reduce the size of a returne

Externí odkaz: https://doaj.org/article/a254e69ff3354fedbba8956d26ed0fb1

Zobrazit plný text záznamu

Akademický článek

Minimizing Finite State Machines with time guards and timeouts

Autor: A. S. Tvardovskii, N. V. Yevtushenko, M. L. Gromov

Publikováno v: Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 139-154 (2018)

Finite State Machines (FSMs) are widely used for analysis and synthesis of components of control systems. In order to take into account time aspects, timed FSMs are considered. As the complexity of many problems of analysis and synthesis of digital a

Externí odkaz: https://doaj.org/article/609ca53496614422baf76d893081ee87

Zobrazit plný text záznamu

Akademický článek

Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

Autor: Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

Publikováno v: Моделирование и анализ информационных систем, Vol 24, Iss 4, Pp 496-507 (2017)

Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. In this paper, we prop

Externí odkaz: https://doaj.org/article/8c30b7b1dd934f96945a58ff291abf6e

Zobrazit plný text záznamu