Обеспечение безопасности посредством проектирования

Astah System Safety - это инструмент моделирования критически важных систем безопасности, который поддерживает моделирование архитектуры, оценку и анализ безопасности систем с использованием STAMP / STPA, SysML, SCDL и GSN.

Это относится к автомобильной промышленности с автономными автомобилями, совместимыми с SOTIF и ISO 26262, а также к аэрокосмической, железнодорожной, оборонной, робототехнической и медицинской промышленности (MBSE), где безопасность имеет решающее значение и заинтересована в разработке систем на основе моделей.

График SysML

Поддержка SysML от Astah System Safety более продвинута, чем у Astah SysML, и включает в себя такие функции, как объединение и сравнение проектных файлов, импорт / экспорт XMI и интеграция с моделями Cameo Systems от Dassault Systèmes.

1. Диаграмма определения блока (BDD)
2. Внутренняя блок - схема (IBD)
3. Диаграмма параметров
4. Диаграмма / таблица потребностей
5. Примеры использования
6. Диаграмма деятельности
7. Карта состояния
8. Хронология

STAMP / STPA

STAMP (System - Theoretic Accident Model and Processes) - основанная на теории систем модель причинно - следственной связи, разработанная профессором Нэнси Левесон из Массачусетского технологического института, а STAMP (System - Theoretic Process Analysis) - это технология, основанная на STAMP. Astah System Safety предоставляет следующие диаграммы и таблицы для анализа STPA.

1. Структура управления
2. Таблица предварительных условий
3. схема контура управления
4. Таблица UCA (небезопасные действия управления)
5. Сценарий потерь
6. Таблица ответных мер
7. Таблица ограничения аварийной опасности
8. CS (Структура компонентов) Полный вид

SCDL

SCDL (язык описания концепций безопасности) - это язык проектирования архитектуры безопасности, определенный Исследовательской группой по символам концепций безопасности.

Astah System Safety поддерживает одну из диаграмм, представленных в SCDL:

1. Концептуальная схема безопасности

GSN (символ структуры цели)

Вы можете визуализировать аргументы безопасности с помощью Goal Structuring Notation и D - Case, которые эффективно используются для формирования консенсуса и обеспечения подотчетности.

1. GSN (символ структуры цели) / D - Case

У нас есть еще один редактор, предназначенный для GSN, который называется только « Astah GSN». Безопасность Astah System включает в себя все функции Astah GSN.

Почему система Astah безопасна?

Astah была первоначально создана японской компанией ChangeVision в 2006 году в качестве инструмента моделирования UML. Программное обеспечение было разработано, чтобы включать в себя шесть различных инструментов, каждый из которых предназначен для удовлетворения различных потребностей в картографии, используя отзывы пользователей более 15 лет. Astah System Safety - это новейший продукт, который мы с гордостью представляем для критически важных систем безопасности.

Astah объединяет STPA и SysML, включив преобразование моделей, что помогает вам строить анализ STPA, создавая компоненты непосредственно с блоками SysML. Работа с одними и теми же моделями в проекте будет последовательной, и все будет легко отслеживаться на протяжении всего анализа.

Поддержка импорта / экспорта XMI в модели SysML позволяет загружать данные из модели Cameo Systems Modeler. Вы также можете добавить профиль OMG XMI 2.5.