|
реклама |
|
|
|
|
|
|
Авиакосмическое приборостроение Аннотация к статье << Назад
Аналитические способы составления моделей надежности программного обеспечения комплексов управления летательными аппаратами |
А.В. Воробьев
Современные требования значительного повышения автоматизации полетов вызвали большой рост объемов программного обеспечения (ПО), достигающих десятков тысяч срок, и появление ошибок, приводящих в ряде случаев к недопустимым авариям. Поэтому при традиционных способах написания программ людьми начали разрабатываться аналитические и автоматизированные методы их контроля для нахождения ошибок и внесения соответствующих исправлений. |
|
|
|
Последние новости:
Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018» ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018" |