GAP- and HTT-based analysis of safety-critical systems

Abstract

The paper discusses importance of assessment of interference degree for various attributes of safety-critical systems, as well as proposes applicable metrics. Also, the paper presents an approach to analysis of safetycritical systems. Such approach relies on performance of gap analysis and consideration of influence of human, technique and tool. The approach is applicable to various safety-critical systems, including complex instrumentation and control systems and FPGA-based systems.

У статті обговорюється важливість оцінки ступеня перешкод для різних атрибутів критичних для безпеки систем, а також пропонуються застосовні метрики. Також у статті представлено підхід до аналізу критично важливих для безпеки систем. Такий підхід ґрунтується на проведенні аналізу прогалин та врахуванні впливу людини, техніки та інструменту. Цей підхід застосовний до різноманітних критично важливих для безпеки систем, включаючи складні контрольно-вимірювальні системи та системи керування та системи на основі FPGA.

В статье обсуждается важность оценки степени помех для различных атрибутов критически важных с точки зрения безопасности систем, а также предлагаются применимые метрики. Также в статье представлен подход к анализу систем, критичных к безопасности. Такой подход основан на проведении анализа пробелов и учете влияния человека, техники и инструмента. Подход применим к различным критически важным с точки зрения безопасности системам, включая сложные системы контроля и управления и системы на основе ПЛИС.