Preview

Труды Института системного программирования РАН

Расширенный поиск

Решение автоматных уравнений для временных автоматов относительно параллельной композиции

https://doi.org/10.15514/ISPRAS-2014-26(6)-8

Полный текст:

Аннотация

Рассматривается задача синтеза неизвестной компоненты, которая при совместной работе с известной частью системы удовлетворяет заданной спецификации, в случае, когда поведение компонент и спецификация системы в явном виде зависят от времени. Результаты, известные для решения параллельного автоматного уравнения для классических конечных автоматов, обобщаются на случай автоматов с таймаутами. Задача синтеза неизвестной компоненты возникает во многих приложениях и в статье иллюстрируется ее применение для реализации композиции сервисов с заданными ограничениями на временные параметры качества.

Об авторах

О. В. Кондратьева
НИ ТГУ; Телеком Южный Париж
Россия


Н. В. Евтушенко
НИ ТГУ
Россия


А. Р. Кавалли
Телеком Южный Париж
Россия


Список литературы

1. T. Villa, N. Yevtushenko, R.K. Brayton, A. Mishchenko, A. Petrenko, A.L. Sangiovanni Vincentelli. The unknown component problem: theory and applications. Springer, 2012. 311 p.

2. Н.В. Евтушенко, А.Ф. Петренко, М.В. Ветрова. Недетерминированные автоматы: анализ и синтез. Ч.1. Отношения и операции: Учебное пособие. Томск: Томский государственный университет, 2006. 142 с.

3. M. Zhigulin, N. Yevtushenko, S. Maag, A.R. Cavalli. FSM-based test derivation strategies for systems with timeouts. Proceedings of the international conference QSIC 2011. P. 141-149.

4. D. Bresolin, K. El-Fakih, T. Villa, N. Yevtushenko. Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. Proceedings GandALF 2014. EPTCS 161, 2014. P. 203-216.

5. О.В. Кондратьева, Н.В. Евтушенко, А.Р. Кавалли. Параллельная композиция конечных автоматов с таймаутами. Вестн. Том. гос. ун-та. Управление, вычислительная техника и информатика. № 2(27). 2014. стр. 73-81.


Для цитирования:


Кондратьева О.В., Евтушенко Н.В., Кавалли А.Р. Решение автоматных уравнений для временных автоматов относительно параллельной композиции. Труды Института системного программирования РАН. 2014;26(6):85-98. https://doi.org/10.15514/ISPRAS-2014-26(6)-8

For citation:


Kondratyeva O..., Yevtushenko N..., Cavalli. A. Solving parallel equations for Finite State Machines with Timeouts. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):85-98. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-8

Просмотров: 31


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)