?
Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 496-507.
Подымов В. В., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 222-225.
Сеть временных автоматов (СВА) и иерархический временной автомат (ИВА) — это математические модели, используемые для формальной верификации систем реального времени (СРВ): систем, выполнение которых происходит в реальном времени и зависит от сроков выполнения задач компонентами системы. ИВА, в отличие от СВА, имеет средства описания иерархии вложенности компонентов СРВ. Верификация ИВА основана на уплощении автомата: трансляции ...
Added: October 25, 2018
Kuliamin V., Кушик Н. Г., Евтушенко Н. В., Программирование 2014 Т. 40 № 6 С. 48-53
Аннотация ...
Added: October 30, 2015
Лапутенко А. В., Лопез Х. Е., Evtushenko N. V., Известия высших учебных заведений. Физика 2017 Т. 60 № 11 С. 146-151
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например, встраиваемые датчики и элементы, используемые для передачи данных. Для экспериментальных исследований выбраны схемы из пакета бенчмарок B01-B10 (ITC’99 benchmarks (Second Release)), которые представляют собой компоненты физических систем, спроектированных для различных приложений. Тестовые последовательности ...
Added: August 11, 2018
Твардовский A. C., Evtushenko N. V., Громов М. Л., Труды Института системного программирования РАН 2017 Т. 29 № 4 С. 139-154
Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вводится понятие временного автомата. В настоящей работе мы рассматриваем проблему минимизации автоматов с таймаутами и временными ограничениями, поскольку сложность многих задач в теории автоматов существенно зависит от размеров исследуемой системы. ...
Added: November 9, 2017
Switzerland : Springer, 2016
Control and analysis of the timing of computations are crucial to many domains of system engineering, be it, e.g., for ensuring a timely response to stimuli originating in an uncooperative environment or for synchronizing components in VLSI. Reflecting this broad scope, timing aspects of systems from a variety of domains have been treated independently by ...
Added: September 13, 2016