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