Search
Now showing items 1-10 of 15
Безопасность аэрокосмической техники и надежность компьютерных систем
(ХАИ, 2004)
Проведен анализ рисков, возникающих при использовании аэрокосмической (авиационной и ракетно-космической) техники (АРКТ) вследствие отказов их оборудования и различных системных компонент. Сопоставлены причины отказов ...
Оценка и обеспечение безопасности информационно-управляющих систем критического использования: элементы методологии и формальные модели
(ХАИ, 2005)
Предложен системный подход к оценке и обеспечению безопасности информационно-управляющих систем технических комплексов критического использования, основанный на применении ER-модели (модели «сущность-связь»).
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
(ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Модели безотказности и готовности встроенных мультидиверсных систем
(ХАИ, 2008)
Проанализировано применение принципа диверсности для встроенных аэрокосмических систем. Определено понятие мультидиверсной системы (МДВС). Разработаны модели надежности (безотказности и готовности) МДВС с учетом возможных ...
Анализ рисков аварий для ракетно-космической техники: эволюция причин и тенденций
(ХАІ, 2003)
Проведен эволюционный анализ рисков, возникающих при использовании ракетно-космической
техники (РКТ). Дана оценка влияния отказов аппаратных и программных средств бортовых
компьютеров (БК) на аварии РКТ.
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Модели состояний и событий отказоустойчивых информационно-управляющих систем с учетом их влияния на безопасность
(ХАІ, 2004)
Проанализирована эволюция свойств информационных и управляющих систем (ИУС), сделан вывод о
развитии требований к их надежности: от требований к безотказности и готовности до требований к отказоустойчивости и отказобезопасности. ...
Анализ рисков проектирования и эксплуатации цифровых систем на ПЛИС
(ХАІ, 2006)
Рассмотрен опыт применения цифровых систем в аэрокосмической технике и атомной энергетике,
построенных на ПЛИС. Дана модель специфических рисков ПЛИС-технологии, включающих риски
разработки и верификации проектов и риски ...
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
(ХАІ, 2006)
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются ...
Модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием
(ХАІ, 2007)
Разработаны модели надежности информационно-управляющих систем с сетевым многоярусным мостиковым мажоритированием, учитывающие особенности распределенной реализации мажоритарных элементов при многоканальной организации ...