Новый авиационный стандарт ARP 4754B ARP 4761A и соответствие требованиям с помощью инструмента MBSA "medini analyze" AFuzion & Ansys S

YOUTUBE · 24.11.2025 05:15

Ключевые темы и таймкоды

Введение в авиационную экосистему

0:00

Видео обсуждает авиационную экосистему, включающую различные компании и процессы, связанные с разработкой, сертификацией и оценкой безопасности полетов.
Упоминается компания Fusion, предоставляющая сертификационные услуги и программное обеспечение для авиационных систем.

Анализ безопасности полетов

3:52

Видео обсуждает новую версию авиационного стандарта 4761 и его влияние на экосистему.
Упоминаются различные оценки безопасности, такие как FHA, PAS, PSSA и SSA.

Автоматизация и управление интерфейсами

8:05

Видео обсуждает автоматизацию и управление интерфейсами в процессе оценки безопасности.
Упоминается важность анализа непреднамеренного поведения и взаимодействия между системами.

Medini Analyze

12:48

Видео представляет Medini Analyze, инструмент для анализа безопасности полетов.
Нильс, эксперт в области Medini Analyze, рассказывает о его возможностях и применении в авиационной экосистеме.

Обзор анализа безопасности Medini

13:05

Medini - интегрированный инструмент для анализа безопасности и кибербезопасности, основанный на моделях.
Поддерживает анализ общих причин и соответствие стандартам безопасности, таким как ARP 4761 A для бортовых систем.
Интегрированный анализ безопасности и кибербезопасности, возможность просмотра состояния анализа в различных проектах и подсистемах.

Анализ безопасности на основе моделей

16:38

Medini поддерживает импорт и редактирование моделей из SysML-инструментов, таких как Skate Architect, Cameo, Rhapsody и Enterprise Architect.
Анализ ключевых слов, анализ рисков, итоговые требования безопасности, назначение FDahl и IIDL, прослеживаемость условий отказа и анализ дерева неисправностей.

Анализ дерева неисправностей

20:22

Medini поддерживает создание и импорт деревьев неисправностей из существующих библиотек или с использованием скриптов.
Автоматизация создания деревьев неисправностей на основе моделей для анализа безопасности.
Примеры использования деревьев неисправностей для анализа безопасности на примере потери подъемных устройств.

Создание FMEA и Formica

26:07

Medini поддерживает создание FMEA и Formica с помощью различных функций.
В качестве первого шага можно создать лист Formica на основе существующей архитектуры.

Анализ каскадных эффектов

28:17

Medini предоставляет аналитикам более обширные контрольные списки, основанные на ARP 4761 A.
Анализ каскадных эффектов CEa из ARP 4761 A может быть выполнен полностью с использованием причинно-следственных связей.

Компоненты для деревьев неисправностей

32:12

Medini использует компонент для деревьев неисправностей (CFT) для упрощения анализа безопасности.
CFT добавляет дедуктивную информацию о сбоях к элементам архитектуры в модели системы.
CFT позволяет использовать определения компонентов для разных ситуаций с различными входными данными.

Сравнение CFT и традиционных for-деревьев

38:27

CFT ведут себя идентично традиционным for-деревьям.
Использование CFT в for-дереве преобразуется в обычное for-дерево перед вычислением.

Презентация

40:08

Нил представляет новую версию "а" и "фьюжн", которые применимы ко всем коммерческим и военным самолетам.
Обсуждается использование 4761 в проектах, таких как новый ударный самолет армии США.

Анализ и изменения

41:05

Нил предлагает использовать анализ medini для внесения изменений, которые могут иметь серьезные последствия.
Medini доступен уже сегодня, и можно получить дополнительную информацию о нем через QR-код.
Нил приглашает на конференцию, где можно узнать больше о medini и посмотреть QR-код.