Средства верификации протокола информационного взаимодействия специального программного обеспечения бортовой аппаратуры космических

Бесплатный доступ

Рассмотрен подход к разработке комплексов бортовой аппаратуры космических аппаратов на основе интегрированной модульной бортовой аппаратуры. Предложен набор инструментов для автоматизации процессов проектирования комплексов бортовой аппаратуры. Представлена модель верификации протокола информационно-логического взаимодействия программного обеспечения бортового комплекса управления и специальной аппаратуры космического аппарата с использованием метода формальной верификации моделей требований с помощью инструментального средства верификации 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).
Еще
Статья научная