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

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

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

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 с.
 

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License