Stratified Model of Safety-critical System Non-functional Properties Representation at Design

Abstract

Стратифікована модель подання нефункціональних характеристик системи критичного призначення при проєктуванніПроєктування -це етап процесу розроблення, який подається у наступній послідовності: аналіз вимог до розроблюваної системи, проєктування, реалізація і валідація, яка може бути здійснена за допомогою імітаційного моделювання або тестування. Система критичного призначення -це система, в якій збої і відмови у роботі призводять до критичних наслідків. Використано поняття «артефакт», тобто сутність, що характеризується архітектурою і змістом. Результат виконання певного кроку на етапі проєктування надано у вигляді блок-схеми алгоритму, діаграми та формалізованого подання. На етапі проєктування процесу розроблення за даними артефактами здійснюється контроль показників не лише функціональних характеристик (ФХ), а й нефункціональних характеристик (НФХ), які типово перевіряються на заключному етапі валідації процесу розроблення. Проведення контролю при цьому сприяє підвищенню рівня функційної безпечності розроблюваної системи з позиції програмно-алгоритмічної складової. Пропонується сприяти цьому через реалізацію механізму спадковості артефактів. Артефакти, несуперечність яких розглянуто і підтверджено як показник ФХ на етапі проєктування процесу розроблення, позиціонуються як вихідні конструкції, на основі яких синтезуються похідні від них артефакти, а саме формалізовані подання, тобто засоби контролю показників НФХ. Для синтезу таких засобів запропоновано ієрархічну модель подання НФХ, яка є засобом уніфікації, за допомогою якого виконується контроль показників НФХ на етапі проєкту-