Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Модель готовности двухканальной информационно-управляющей системы космического аппарата с оперативной верификацией программных средств
Модель готовності двоканальної інформаційно-управлючої системи космічного апарату з оперативною верифікацією програмних засобів Dependability model of the space vehicle two-channel informational-operating system with operative software verification |
|
| Creator |
С.А. Засуха
Ю.Л. Поночовный С.О. Засуха Ю.Л. Поночовний S.A. Zasuha Y.L. Ponochovnyi |
|
| Subject |
Загальні питання
УДК 004.519.217 многофрагментное моделирование, оперативная корректирующая верификация, модификация программных средств багатофрагментне моделювання, оперативна верифікація, що коректує, модифікація програмних засобів multifragments design, operative correcting верификация, modification of programmatic facilities |
|
| Description |
В статье рассмотрена многофрагментная модель информационно-управляющей системы обслуживаемого космического аппарата. При построении модели учтены проведение оперативной верификации отдельных функций программных средств в процессе эксплуатации системы, а также устранение выявленных программных дефектов. По результатам моделирования сделаны выводы о способах определения оптимальных временных параметров проведения верификации.
У статті розглянута багатофрагментна модель інформаційно-управлючої системи космічного апарату, що обслуговується. При побудові моделі враховані проведення оперативної верифікації окремих функцій програмних засобів в процесі експлуатації системи, а також усунення виявлених програмних дефектів. За результатами моделювання зроблені висновки про способи визначення оптимальних часових параметрів проведення верифікації. In article it is observed multifragments model of the served space vehicle informational-management system. At model construction, also elimination of the revealed software defects are considered conducting of operative verification software separate functions while in service. By results of modeling leading-outs are drawn on ways of definition of optimum time parameters of verification conducting. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2011
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/249
|
|
| Source |
Наука і техніка Повітряних Сил Збройних Сил України. — 2011. — № 2(6). 144-149
Наука и техника Воздушных Сил Вооруженных Сил Украины. — 2011. — № 2(6). 144-149 Science and Technology of the Air Force of Ukraine. — 2011. — № 2(6). 144-149 2223-456X |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/249/nitps_2011_2_38.pdf
|
|