ГОСТ Р ИСО 26262-1—2014
2.47 формальное средство описания (formal notation): Язык технического описания, синтаксис
и семантика которого определены формально.
Пример - Z нотация (Zed), NuSMV (средство проверки символьной модели), Система
верификации прототипа (PVS), Венский метод разработки (VDM).
2.48 формальная верификация (formal verification): Метод, используемый для доказательства
соответствия системы (2.129) спецификации ее требуемого поведения, представленной с помощью
формального средства описания (2.47).
2.49 отсутствие влияния (freedom from interference): Отсутствие каскадных отказов (2.13)
между двумя или более элементами (2.32). которые могут привести к нарушению требования без
опасности.
Примеры
1 Элемент 2 не влияет на элемент 1, если никакой отказ (2.39) элемента 2 не может
нарушить работу элемента 1.
2 Элемент 3 влияет на элемент 4, если существует такой отказ элемента 3, кото
рый нарушает работу элемента 4.
2.50 функциональная концепция (functional concept): Спецификация целевых функций и их
взаимодействий, необходимых для достижения желаемого поведения.
П р и м е ч а н и е - Функциональная концепция разрабатывается на стадии (2.89) формирования кон
цепции системы.
2.51 функциональная безопасность (functional safety): Отсутствие неоправданного риска
(2.136) вследствие опасностей (2.57). вызванных неправильным поведением (2.73) Э/Э систем
(2.31.).
2.52 концепция функциональной безопасности (functional safety concept): Спецификация
требований функциональной безопасности (2.53). связанной с ними информации, их распреде
ления (2.1) по элементам (2.32) архитектуры и их взаимодействия, что необходимо для достижения
целей безопасности (2.108).
2.53 требование функциональной безопасности (functional safety requirement): Специфика
ция независимого от реализации безопасного (2.103) поведения или независимых от реализации
мер безопасности (2.110). в том числе связанных с безопасностью атрибутов.
П р и м е ч а н и я
1 Требование функциональной безопасности может быть реализовано связанной с безопасностью Э/Э
системой (2.31) или связанной с безопасностью системой (2.129). основанной на других технологиях (2.84). с
целью достижения или поддержания безопасного состоянии (2.102) устройства (2.69) для определенного
опасного события (2.59).
2 Требования функциональной безопасности могут быть заданы независимо от используемой технологии
на стадии (2.89) формирования концепции разрабатываемого изделия.
3 Связанные с безопасностью атрибуты включают информацию об УПБА (2.6).
2.54 метрики архитектуры аппаратных средств (hardware architectural metrics): Метрики для
оценки (2.4) эффективности архитектуры (2.3) аппаратных средств, используемой для обеспечения
безопасности (2.103).
П р и м е ч а н и е - Метриками архитектуры аппаратных средств являются метрика одиночного сбоя
(2.122) и метрика скрытого сбоя (2.71).
2.55 часть аппаратного средства (hardware part): Аппаратное средство, которое не может
быть далее декомпозировано.
2.56 вред (harm): Физическое повреждение или ущерб, причиняемый здоровью людей.
2.57 опасность (hazard): Потенциальный источник причинения вреда, вызванный неправиль
ным поведением (2.73) устройства (2.69).
П р и м е ч а н и е - Областью применения данного определения является настоящий стандарт. Более
общим определением является: потенциальный источник причинения вреда.
2.58 анализ опасностей и оценка рисков (hazard analysis and risk assessment): Метод иденти
фикации и классификации опасных событий (2.59) устройств (2.69), а также определения целей
безопасности (2.108) и значений УПБА (2.6), позволяющий предотвратить или смягчить опасности
7