DOI: 10.17586/2226-1494-2020-20-1-94-100


УДК681.518.54

АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ СРЕДСТВ ДИАГНОСТИРОВАНИЯ ДЛЯ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ 

Лукоянов Е.В., Грузликов А.М.


Читать статью полностью 
Язык статьи - русский

Ссылка для цитирования:
Лукоянов Е.В., Грузликов А.М. Автоматизация построения средств диагностирования для пото- ковой вычислительной системы реального времени //Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 1. № 1. С. 94–100. doi: 10.17586/2226-1494-2020-20-1-94-100


Аннотация
Предмет исследования. Рассмотрены вопросы проектирования средств диагностирования нарушений в адресации информационных обменов между программными модулями для потоковой вычислительной системы реального времени. Несмотря на декомпозицию процесса проектирования на основе иерархического подхода, он остается достаточно сложным, а значит, остается актуальной и проблема его автоматизации. Метод. Проблема автоматизации построения модели и тестов для потоковой вычислительной системы реального времени решается на основе декомпозиции и с привлечением дискретно-событийного моделирования. Основные результаты. Разработана инструментальная среда, автоматизирующая процедуру построения модели, генерации тестовых воздействий и эталонных выходных последовательностей. Приведено ее краткое описание. В основу функционала среды положены алгоритмы синтеза динамической модели системы и формирования теста для диагностирования нарушений обменов между программными модулями системы. Практическая значимость. Разработанная инструментальная среда позволяет существенно сокращать время проектирования средств диагностирования для потоковых вычислительных систем реального времени.

Ключевые слова: автоматизация построения модели, дискретно-событийная модель, потоковая вычислительная система, тестовое диагностирование, периодически нестационарная система

Благодарности. Работа проведена при поддержке гранта РФФИ № 19-08-00052.

Список литературы
1. Issues of Fault Diagnosis for Dynamic Systems / ed. by R.J. Patton,
P.M. Frank, R.N. Clark. London: Springer-Verlag, 2000. 597 p.
2. Isermann R. Fault-Diagnosis Application. Heidelberg: Springer, 2011. 354 p.
3. Мироновский Л.А. Функциональное диагностирование динами- ческих систем. М.-СПб.: Изд-во МГУ-ГРИФ, 1998. 256 с.
4. Шумский А.Е., Жирабок А.Н., Гаджиев Ч. Диагностирование и отказоустойчивое управление динамическими системами. Владивосток: Дальневосточный федеральный университет, 2016. 178 с.
5. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Теория соответствия для систем с блокировками и разрушениями. М.: Физматлит, 2008. 412 с.
6. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование ко- нечных автоматов для тестирования программ // Программи- рование. 2000. № 2. С. 12–28.
7. Сперанский Д.В. Лекции по теории экспериментов с конечными автоматами. М.: Национальный Открытый Университет
«ИНТУИТ», 2016. 354 с.
8. Колесов Н.В., Толмачева М.В., Юхта П.В. Системы реального времени. Планирование, анализ, диагностирование. СПб: ОАО
«Концерн «ЦНИИ «Электроприбор», 2014. 180 с.
9. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагно- стическая модель распределенной вычислительной системы. Независимые цепи // Автоматика и телемеханика. 2016. № 10. С. 140–155.
10. Грузликов А.М., Колесов Н.В. Дискретно-событийная диагно- стическая модель для распределенной вычислительной системы. Слияние цепей // Автоматика и телемеханика. 2017. № 4. С. 126– 134.
11. Gruzlikov A.M., Kolesov N.V., Lukoyanov E.V., Tolmacheva M.V. Test-based diagnosis of distributed computer system using a time- varying model // IFAC-PapersOnLine. 2018. V. 51. N 24. P. 1075– 1082. doi: 10.1016/j.ifacol.2018.09.724
12. Грузликов А.М., Колесов Н.В., Лукоянов Е.В. Тестовое диагно- стирование нарушений адресации информационных обменов в вычислительных системах с использованием параллельной мо- дели // Известия РАН. Теория и системы управления. 2018. № 3. С. 76–89. doi: 10.7868/S0002338818030071
13. Cassandras C.G., Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008. 770 p.
14. Zaytoon J., Lafortune S. Overview of fault diagnosis methods for discrete event systems // Annual Reviews in Control. 2013. V. 37. N 2. P. 308–320. doi: 10.1016/j.arcontrol.2013.09.009
15. Гилл А. Линейные последовательностные машины: Анализ, синтез и применение. М.: Наука, 1974. 288 с.
 


Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2020 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика