Россия
Россия
Россия
Россия
Россия
Россия
УДК 681.518.5 Системы автоматического контроля и технической диагностики
УДК 656.259.9 Другие устройства СЦБ
Целью статьи является изложение результатов формализации описания и разработки формализованного перехода от статической функциональной IDEF0‑модели к динамической, имитационной модели жизненного цикла систем железнодорожной автоматики и телемеханики. Для программной реализации имитационных моделей традиционно используется инструментальное средство GPSS World. Предложена концепция представления формализмов IDEF0‑диаграммы по математической схеме массового обслуживания. Основными положениями концепции являются объект-заявка, тип которой определяется видом объектов, а механизм — обслуживающим устройством. Свойства этих заявок и обслуживающих устройств записываются в строки матрицы паспортов; связи в соответствии с IDEF0‑диаграммой указываются записью индексов блока-функции последовательно в строке данного блока-функции. Возможность реализации функции блока-функции оценивается булевой функцией. Аргументами этой функции являются признак управления, требуемые ресурсы, состояние обслуживающих устройств. Проверка функции блока-функции осуществляется булевой функцией мониторинга времени занятия блока-функции. Для реализации данной концепции определены средства GPSS World: непрерывная и дискретная функции, транзакты, одноканальные устройства, логические ключи, матрица MX$PASP01, список пользователей, булевы переменные. Универсальная GPSS-модель, настроенная на конкретную IDEF0‑диаграмму на уровне исходных данных, разработана на основе косвенной адресации указанных средств. При этом она позволяет не изменять текст программы. Разработанная GPSS-программа формализует возможность и целесообразность перехода от IDEF0‑диаграммы к GPSS-модели жизненного цикла систем железнодорожной автоматики.
IDEF0-диаграмма, жизненный цикл, системы железнодорожной автоматики и телемеханики, математические схемы массового обслуживания, имитационная GPSS-модель, косвенная адресация, имитационная модель, системы массового обслуживания
1. Константинова Т. Ю., Лыков А. А., Марков Д. С. и др. Технология имитационного моделирования систем железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2023. Т. 9, № 2. С. 193–204. DOI:https://doi.org/10.20295/2412-9186-2023-9- 02-193-204. EDN HYPJQU.
2. РД IDEF 0-2000. Методология функционального моделирования IDEF0. Руководящий документ // Прикладная логистика. М.: Госстандарт России, 2000. 61 с.
3. Бистерфельд О. А. Методология функционального моделирования IDEF0: учеб.-метод. пособие. Рязань: Рязанский гос. ун-т имени С. А. Есенина, 2008. 44 [2] с.
4. Veis Šerifi., Predrag Dašić, Ratomir Jecmenica, et al (2009). Functional and Information Modeling of Production Using IDEF Methods. Strojniški vestnik, 55 (2): 131–140.
5. Зараменских Е. П. Управление жизненным циклоинформационных систем: учебник и практикум / 1‑е изд. М.: Юрайт, 2019. 431 с. ISBN: 978-5-9916- 9200-7. EDN WLZOJI.
6. Integration DEFinition for function modeling (IDEF0). Draft Federal Information Processing Standards Publication 183. December 21. https://pcoding.ru/gost/idef0en.pdf
7. Кудрявцев Е. М. GPSS World. Основы имитационного моделирования различных систем: учеб. пособие. М.: ДМК Пресс, 2007. 320 с. ISBN: 5-94074-219-X. EDN RAZBMT.
8. Law A. M. How to build valid and credible simulation models // Proc. of the Winter Simulation Conf. Miam (USA), 7–10 Dec, 2008. P. 39–47.
9. Девятков В. В., Девятков Т. В., Федотов М. В. Имитационные исследования в среде моделирования GPSS STUDIO: учеб. пособие. М.: Научно-издательский центр ИНФРА-М, 2018. 283 с. ISBN: 978-5-9558-0595-5. EDN RRBMCR.
10. Rabe M., Spieckermann S., Wenzel S. Верификация и валидация моделирования в производстве и логистике. Simul. Примечания Eur., 2009, 19. С. 21–29.
11. Марков Д. С., Булавский П. Е. Матричный метод формализации имитационных моделей сложных систем массового обслуживания // Известия ПГУПС. 2010. № 4. С. 63–74. [Электронный ресурс]. URL: https://izvestiapgups.org/assets/files/10.20295-1815-588X‑2015–2/10.20295-1815588X-2015-2-99-105.pdf
12. Марков Д. С., Лыков А. А. Метод формализации имитационных моделей технологических процессов в хозяйстве автоматики и телемеханики на железнодорожном транспорте // Известия Петербургского университета путей сообщения. 2012. №1 (30). С. 24–30.
13. Марков Д. С., Булавский П. Е. Иерархическая многоматричная формализация имитационной модели электронного документооборота технической документации // Актуальные вопросы развития систем железнодорожной автоматики и телемеханики: сб. науч. тр. ПГУПС. СПб., 2013. С. 52–60.
14. Белишкина Т. А., Константинова Т. Ю., Лыков А. А. и др. Логико-временная формализация имитационных моделей систем железнодорожной автоматики и телемеханики // Автоматика на транспорте. 2023. № 4. С. 368–376. DOI: https://doi.org/10.20295/2412-9186-2023-9-04-368-376.
15. Девятков В. В. Руководство пользователя по GPSS World. Казань: Мастер лайн, 2002. 383 с.
