Контроль надійності програмного забезпечення бортових відмовостійких обчислювальних систем

A. A. Зеленков

Анотація


Поставлена задача контролю надійності програмного забезпечення сучасних бортових відмовостійких обчислювальних систем автоматизованого керування, що створюються за технологією інтегральної модульної авіаційної електроніки, на етапі експлуатації. Розглянуто спосіб отримання оцінки імовірності відмови програмного забезпечення та послідовне вирішальне правило на основі визначення границь для кількості відмов програмного забезпечення за даними експлуатаційного контролю

Посилання


Каган Б.М. Электронные вычислительные машины и системы. -М. : Энергия, 1979. - 528 с.

Штрш А.А., Осовецкий Л.Г., Мессих И.Г. Структурное проектирование надежных программ встроенных ЭВМ. - JI. : Машиностроение, 1989. - 296 с.

ВальдА. Последовательный анализ. - М.: Физматгиз, i960,- 328 с.

Синщын Б.С., Белогородский С.Л., Зеленков А.А., Мирошниченко О.Г. Применение методов математической статистики при анализе точности бортовых систем автоматизированного управления //Измерения, контроль, автоматизация (ИКА). - 1981. № 3(37). С. 43-52.


Повний текст: PDF

Посилання

  • Поки немає зовнішніх посилань.


ISSN 2306-1472 (Online), ISSN 1813-1166 (Print)

Передплатний індекс 86179

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

Ulrich's Periodicals DirectoryIndex CopernicusDOAJSSMРИНЦWorldCatCASEBSCOCrossRefBASEDRIVERНаціональна бібліотека ім. ВернадськогоНауково-технічна бібліотека НАУ