Средства верификации протокола информационного взаимодействия специального программного обеспечения бортовой аппаратуры космических
Автор: Киреев Андрей Павлович, Шаров Сергей Алексеевич
Рубрика: Управление сложными системами
Статья в выпуске: 1, 2022 года.
Бесплатный доступ
Рассмотрен подход к разработке комплексов бортовой аппаратуры космических аппаратов на основе интегрированной модульной бортовой аппаратуры. Предложен набор инструментов для автоматизации процессов проектирования комплексов бортовой аппаратуры. Представлена модель верификации протокола информационно-логического взаимодействия программного обеспечения бортового комплекса управления и специальной аппаратуры космического аппарата с использованием метода формальной верификации моделей требований с помощью инструментального средства верификации SPIN.
Специальное программное обеспечение, комплекс бортовой аппаратуры, космический аппарат, верификация программного обеспечения, линейная темпоральная логика
Короткий адрес: https://sciup.org/148323985
IDR: 148323985
Список литературы Средства верификации протокола информационного взаимодействия специального программного обеспечения бортовой аппаратуры космических
- Голубев Е.Н., Тимофеев А.С. Проблемы и методы испытаний бортовых комплексов управления с сетевой архитектурой // Сборник XVIII Всероссийской научно-практической конференции "Решетневские чтения". 2014. С. 224-226.
- Карпов Ю.Г. Modelchecking. Верификация параллельных и распределенных программных систем. СПб.: БХВ-Петербург, 2010. 560 с.
- Шейнин Ю., Солохина Т., Петричкович Я. Технология SpaceWire для параллельных систем и бортовых распределенных комплексов. Ч.2 // Электроника: НТБ. 2007. № 1. С. 38-49.
- EDN: IAWXPV
- Gerard J. Holzmann (2014) Communications of the ACM, vol. 57, No. 2, pp. 64-73. Available at: https://dl.acm.org/doi/.html.
- DOI: 10.1145/2560217.2560218
- ECSS Standart ECSS-E-ST-50-12C. SpaceWire, Links, Nodes, Routers and Networks. European Cooperation for Data Standardization, November, 2014.
- Selby R.W. (2007) Software Engineering: Barry W. Boehm's Lifetime Contributions to Soft-ware Development, Management, and Research. Wiley- IEEE Computer Society Press.
- Spin Model Checker. The Primer and Reference Manual by Gerard J. Holzmann, Addison Wesley 04.09.2003, 608 p. 0-321-22862-6.
- ISBN: 0-321-22862-6
- Spin Online References. Available at: http://spinroot.com/spin/Man/index.html (date of the application: 22.09.2021).
- The Standish Group report. Available at: https://www.standishgroup.com/store/services/10-chaos-report-decision-latency-theory-2018-package.html (date of the application: 21.09.2019).
