Дескрипторный контроль программного обеспечения критического применения в реальном времени
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Дескрипторный контроль программного обеспечения критического применения в реальном времени
Дескрипторний контроль програмного забезпечення критичного застосування в реальному часі Descriptor control of critical application software in real time |
|
| Creator |
Ю.С. Манжос
В.Л. Петрик Ю.С. Манжос В.Л. Петрік Yu.S. Manzhos V.L. Petrik |
|
| Subject |
Кібернетика та системний аналіз
УДК 004.05+004.415.5 семантический контроль, семантические инварианты, остаточные программные дефекты семантичний контроль, семантичні інваріанти, залишкові програмні дефект semantic control, semantic invariants, remaining programmatic defects, descriptor control of the real time |
|
| Description |
Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий по сравнению с методом семантического контроля на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационноуправляющих систем для АЭС и авиационно-космических комплексов.
Запропонований метод, що забезпечує контроль семантичної коректності програмного забезпечення на етапі стендового відробітку або в реальному часі, має в порівнянні з методом семантичного контролю на порядок меншу ресурсоемність, значно вищу діагностуючу здатність і точнішу оцінку вірогідності існування залишкових програмних дефектів. Застосування методу в системах реального часу дозволяє підвищити надійність інформаційно-управляючих систем для АЕС і авіаційно-космічних комплексів. A method, providing control of semantic correctness of software on the stage of the stand working off or in real time, having as compared to the method of semantic control on an order less ресурсоемкость, is offered, considerably more high diagnosing ability and more exact estimation of probability of existence of remaining programmatic defects. Application of method in the real-time systems allows to promote reliability of the sensor-based systems for APP and complexes of aviation-spaces. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2008
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/3755
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2008. — № 1(16). 90-93
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2008. — № 1(16). 90-93 Scientific Works of Kharkiv National Air Force University. — 2008. — № 1(16). 90-93 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/3755/zhups_2008_1_23.pdf
|
|