Search
Now showing items 1-10 of 14
Требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники: опыт создания и использования стандарта предприятия
(ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Модели безотказности и готовности встроенных мультидиверсных систем
(ХАИ, 2008)
Проанализировано применение принципа диверсности для встроенных аэрокосмических систем. Определено понятие мультидиверсной системы (МДВС). Разработаны модели надежности (безотказности и готовности) МДВС с учетом возможных ...
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Risk-oriented software reliability assessment
(ХАІ, 2006)
Software risks and risk management model are discussed. Software reliability risks are considered as a part of
general software risk model. Software reliability assessment risks concerned with reliability assessment ...
Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов
(ХАІ, 2006)
Проведен анализ методов засева дефектов программного обеспечения (ПО) при оценке качества его
верификации. Предложена унифицированная модель засева дефектов, которая может быть применена на
любом из этапов разработки ПО.
Обеспечение и оценка безопасности информационных и управляющих систем АЭС на базе ПЛИС
(ХАІ, 2007)
Обобщена структура программного обеспечения, разработанного ЗАО «Радий» для информационных и
управляющих систем АЭС. Выполнен анализ особенностей оценки и обеспечения безопасности
информационных и управляющих систем АЭС, ...
Методика нормализации статистических данных тестирования программного обеспечения
(ХАІ, 2007)
В статье проведен анализ факторов, влияющих на полноту и достоверность статистической информации
о тестировании программного обеспечения. Предложена методика нормализации статистических данных
тестирования с учетом ...
Создание надежных информационных систем, находящихся в постоянном развитии
(ХАІ, 2008)
Определены стратегии развития информационных систем, предложен алгоритм внедрения нового
программного обеспечения, рассмотрен пример информационной системы применяемой в Украинской
академии банковского дела НБУ.
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)
Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ...
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...