• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • Deutsch 
    • українська
    • English
    • русский
    • Deutsch
  • Einloggen
Dokumentanzeige 
  •   DSpace Startseite
  • Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5)
  • Наукові праці
  • Статті з наукових журналів та збірок
  • Dokumentanzeige
  •   DSpace Startseite
  • Факультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5)
  • Наукові праці
  • Статті з наукових журналів та збірок
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.

Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів

Thumbnail
Öffnen
Harchenk.pdf (650.0Kb)
Datum
2011
Autor
Харченко, В.С.
Замірець, М.В.
Засуха, С.О.
Поночовний, Ю.Л.
Metadata
Zur Langanzeige
Zusammenfassung
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної верифікації (ОКВ), яка може проводитися за різними сценаріями для функцій різного рівня критичності. Визначені етапи й операції верифікації ПЗ ІКС КС на різних етапах. Даний детальний опис операцій етапу розробки ПЗ ІКС КС. Даний формальний опис цілей верифікації ПЗ ІКС КС. Уточнені цілі оперативної коригувальної верифікації ПЗ в польоті, і запропонований теоретико-множинний опис функцій з урахуванням їх критичності й цілей ОКВ. Описані сценарії й показники для оцінки готовності ІКС КС при реалізації ОКВ. Даний короткий опис моделей готовності. Визначені поняття стратегії ОКВ та особливості її формування. Проведено розробку та дослідження моделі готовності однієї з систем з ОКВ.
 
Проведен анализ программного обеспечения (ПО) информационно-управляющих систем (ИУС) космических систем (КС) как объекта верификации, нормативной базы и существующих методов верификации ПО КС. Введено понятие оперативной корректирующей верификации (ОКВ), которая может проводиться по разным сценариям для функций разного уровня критичности. Определены этапы и операции по верификации ПО ИУС КС на разных этапах. Дано детальное описание операций этапа разработки ПО ИУС КС. Дано формальное описание целей верификации ПО ИУС КС. Уточнены цели оперативной ОКВ ПО в полете, и предложено теоретико-множественное описание функций с учетом их критичности и целей ОКВ. Описаны сценарии и показатели для оценки готовности ИУС КС при реализации ОКВ. Дано краткое описание моделей готовности для разных сценариев ОКВ. Определены понятие стратегии ОКВ и особенности ее формирования. Разработана и исследована модель готовности одной из систем с ОКВ.
 
URI
http://dspace.library.khai.edu/xmlui/handle/123456789/1985
Collections
  • Статті з наукових журналів та збірок

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV
 

 

Stöbern

Gesamter BestandBereiche & SammlungenErscheinungsdatumAutorenTitelnSchlagwortenDiese SammlungErscheinungsdatumAutorenTitelnSchlagworten

Mein Benutzerkonto

EinloggenRegistrieren

DSpace software copyright © 2002-2016  DuraSpace
Kontakt | Feedback abschicken
Theme by 
Atmire NV