Меню
Публикации
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Главный редактор
![](/pic/nikiforov.jpg)
НИКИФОРОВ
Владимир Олегович
д.т.н., профессор
Партнеры
doi: 10.17586/2226-1494-2020-20-1-94-100
УДК 681.518.54
АВТОМАТИЗАЦИЯ ПОСТРОЕНИЯ СРЕДСТВ ДИАГНОСТИРОВАНИЯ ДЛЯ ПОТОКОВОЙ ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИ
Читать статью полностью
![](/images/pdf.png)
Язык статьи - русский
Ссылка для цитирования:
Аннотация
Ссылка для цитирования:
Лукоянов Е.В., Грузликов А.М. Автоматизация построения средств диагностирования для потоковой вычислительной системы реального времени //Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 1. № 1. С. 94–100. doi: 10.17586/2226-1494-2020-20-1-94-100
Аннотация
Предмет исследования. Рассмотрены вопросы проектирования средств диагностирования нарушений в адресации информационных обменов между программными модулями для потоковой вычислительной системы реального времени. Несмотря на декомпозицию процесса проектирования на основе иерархического подхода, он остается достаточно сложным, а значит, остается актуальной и проблема его автоматизации. Метод. Проблема автоматизации построения модели и тестов для потоковой вычислительной системы реального времени решается на основе декомпозиции и с привлечением дискретно-событийного моделирования. Основные результаты. Разработана инструментальная среда, автоматизирующая процедуру построения модели, генерации тестовых воздействий и эталонных выходных последовательностей. Приведено ее краткое описание. В основу функционала среды положены алгоритмы синтеза динамической модели системы и формирования теста для диагностирования нарушений обменов между программными модулями системы. Практическая значимость. Разработанная инструментальная среда позволяет существенно сокращать время проектирования средств диагностирования для потоковых вычислительных систем реального времени.
Ключевые слова: автоматизация построения модели, дискретно-событийная модель, потоковая вычислительная система, тестовое диагностирование, периодически нестационарная система
Благодарности. Работа проведена при поддержке гранта РФФИ № 19-08-00052.
Список литературы
Благодарности. Работа проведена при поддержке гранта РФФИ № 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 с.
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 с.