УДК
658.562
АНАЛИЗ ХME(C)A МЕТОДИК В КОНТЕКСТЕ ЖИЗНЕННОГО ЦИКЛА КРИТИЧЕСКИХ СИСТЕМ
Я.А. Чуйков, аспирант; В.С. Харченко, д.т.н., профессор
Национальный аэрокосмический университет им. Н.Е.Жуковского «ХАИ»
Одной из основных задач при разработке критических систем, базирующихся на применении технологий программируемой логики, является выявление и предотвращение потенциальных несоответствий (дефектов) на всех стадиях жизненного цикла. Для решения этой задачи применяется метод анализа видов и последствий (критичности) отказов, имеющий англоязычную аббревиатуру FME(С)A.
Методология FME(С)A позволяет оценить риски и возможный ущерб, вызванный потенциальными несоответствиями продуктов и процессов на ранних стадиях создания систем.
Целью работы является анализ различных ХME(С)A методик (где Х определяется видами анализируемых продуктов и/или процессов) с их привязкой и особенностями модификации на разных этапах жизненного цикла. Анализируются процедуры роботы экспертной команды, которая выполняет ХME(С)A.
Проанализированы следующие типы ХME(С)A методик исходя из области применения:
- Concept, СFME(С)A для уровня концептуального предложения;
- Design, DFME(С)A для проектов и конструкций;
- System, SystME(С)A для системы в целом (включая НSME(С)A для иерахических структур);
- Process, ProcME(С)A для различных процессов;
- Product, ProdME(С)A для продуктов (включая традиционную FME(С)A для аппаратных средств и SWME(С)A для программного обеспечения);
- Service, ServME(С)A для сервисного обслуживания;
- Intrusion - IME(С) для вторжений (атак на уязвимости).
Проведен анализ программного обеспечения (существующих инструментальных средств и систем) для проведения ХME(С)A анализа.
Разработана модель и сформулированы предложения по встраиванию ХME(С)A в жизненный цикл систем, важных для безопасности. В частности, предложены элементы такого встраивания для модели жизненного цикла функциональной безопасности (safety life cycle model) на основе стандарта IEC61508 для информационно-управляющих систем АЭС, разрабатываемых с использованием платформы RadICS научно-производственного предприятия «Радий» (Кировоград). Эта платформа состоит из модулей, базовыми элементами которых являются FPGA кристаллы компании Altera.