Р ис.2 Модель переходов состояний в жц проекта критического по
Рисунок 3 «4+1» парадигма архитектуры ПО.
2.2.2Квалификационные испытания критического по [1, 2, 3, 6, 3, 15]:
Фундаментальные методики анализа критичности ПО в программном и системном контексте:
SFMECA - Анализ видов, последствий и критичности отказов ПО (Software failure mode, effects and criticality analysis);
SFTA - Анализ дерева дефектов (Software Fault Tree Analysis);
HSIA - Анализ аппаратно-программных взаимодействий (Hardware-software interaction analysis);
HA, HAZOP - Анализ безопасности (Hazard analysis) и анализ эксплуатационной безопасности (hazard and operability analysis);
SCCFA - Анализ отказа по общей причине (Software common cause failure analysis)
Анализ, оценка (меры, метрики) и регулирование рисков, связанных со скрытыми дефектами ПО, реализующего критические функции систем (главным образом систем реального времени), как величины вероятного ущерба обусловленного существованием скрытых дефектов критического ПО
Анализ, обеспечение и оценка характеристик «Функциональная безопасность» и «Информационная безопасность» критического ПО как свойства системы, функциональность которой реализована с помощью ПО, находиться в состоянии проектно допустимых рисков, связанных со скрытыми дефектами ПО.
Классификация, анализ ограничений и обоснование выбора методов (тестирование, имитационное моделирование, формальный анализ, статический анализ, model-checking верификация) для верификации, валидации, сертификации, аттестации критического ПО.
Доказательная независимая верификация критического ПО. Назначение, цели, области применения. Использование принципа разнообразия – диверсификации для обеспечения достоверности результатов и требуемой степени неопределенности оценок. Прогноз вероятности скрытых дефектов ПО.
Ограничения и предельные возможности верификации в условиях «комбинаторного взрыва» в пространстве «состояния-переходы» критического ПО, диверсифицированная (полимодельная) model-checking верификация с использованием темпоральной логики и инварианто-ориентированных моделей критического ПО.
Квалификационные испытания критического ПО в «расцепленной V-модели» ЖЦ при модернизациях ИУС в течении длительной эксплуатации на объектах заказчика. Верификация ПО на объектах Заказчика. Цели. Задачи. Методология. Независимая верификация. Роль мобильных инструментальных комплексов (МИК).
2.2.3 Управление качеством критического по
Представление ПО как отображения (математич.) области определения в область значений
Концепция дуализма качества ПО в измерениях «Качество программного продукта – качество процессов ЖЦ ПО»
Модели качества программного продукта и процессов ЖЦ ПО, определяемые международными стандартами серий SQuaRE, SPICE.
Определение и систематическое следование стратегии TQM (total quality management - всеобщего управления качеством) [33]. Стратегия (технология) TQM заключается в непрерывно совершенствуемом превращении неуправляемых процессов ЖЦ ПО в управляемые. Целью является повышение уровня технологической зрелости (мощности) процессов, определяющей, в свою очередь, качество программного продукта. В целом технология TQM обеспечивает смещение акцентов с непосредственного измерения качества программного продукта на прогноз качества программного продукта при достижении определенных уровней технологической зрелости (управляемости) процессов ЖЦ ПО. Главными критериями технологии TQM являются:
Кумулятивность качества,
Точность прогноза качества,
Рентабельность качества ПО.
Процессная, композиционная система менеджмента качества, реализующая стратегию TQM. Реализация в СМК контуров регулирования «быстрых» вариативностей PDСA (Plan, Do, Check, Act) и «медленных» вариативностей SPICE (Software Process Improvement and Capability Determination) с использованием нечеткого регулятора и теории нечетких множеств (нечетко-множественных моделей) для анализа и непрерывного улучшения качества производимого программного продукта (рис.4). Постановка задач имитационного моделирования и оптимизации качества в стратегии TQM с использованием нечеткого регулятора [32-34].