An toàn thông qua thiết kế

Astah System Safety là một công cụ mô hình hóa cho các hệ thống quan trọng về bảo mật, hỗ trợ mô hình hóa kiến trúc hệ thống, đánh giá bảo mật hệ thống và phân tích sử dụng STAMP/STPA, SysML, SCDL và GSN.

Điều này áp dụng cho các ngành công nghiệp ô tô có xe tự lái tương thích SOTIF và ISO 26262, cũng như các ngành hàng không vũ trụ, đường sắt, quốc phòng, robot và chăm sóc sức khỏe (MBSE), nơi hiệu suất an toàn là rất quan trọng và quan tâm đến việc áp dụng kỹ thuật hệ thống dựa trên mô hình.

Sơ đồ SysML

Hỗ trợ SysML của An toàn Hệ thống Astah tiên tiến hơn so với những gì được cung cấp bởi "Hệ thống Astah", bao gồm các tính năng như hợp nhất và so sánh các tệp dự án, nhập/xuất XMI và tích hợp với Mô hình Hệ thống Camera của Dassault Systèmes.

1. Các bản vẽ định nghĩa khối (BDD)
2. Sơ đồ khối nội bộ (IBD)
3. Sơ đồ tham số
4. Biểu đồ yêu cầu/Bảng
5. Sơ đồ trường hợp sử dụng
6. Sơ đồ hoạt động
7. Sơ đồ máy trạng thái
8. Sơ đồ thời gian

STAMP / STPA

STAMP (System Theoretic Accident Model and Processes) là một mô hình nhân quả tai nạn dựa trên lý thuyết hệ thống được phát triển bởi Giáo sư Nancy Leveson tại MIT và STPA (System Theoretic Process Analysis) là một kỹ thuật dựa trên STAMP. Astah System Safety cung cấp các biểu đồ và bảng sau đây cho quá trình phân tích STPA của bạn.

1. Sơ đồ cấu trúc điều khiển
2. Bảng điều kiện tiên quyết
3. Sơ đồ vòng điều khiển
4. UCA (Unsafe Control Action - Kiểm soát không an toàn)
5. Bảng kịch bản mất mát
6. Bảng đối phó
7. Tai nạn nguy hiểm an toàn bảng ràng buộc
8. CS (Component Structure) Xem toàn bộ

SCDL

SCDL (Security Concept Description Language) là ngôn ngữ thiết kế kiến trúc bảo mật được xác định bởi Nhóm nghiên cứu Ký hiệu Khái niệm Bảo mật.

Astah System Safety hỗ trợ một trong các biểu đồ do SCDL giới thiệu:

1. Sơ đồ khái niệm bảo mật

GSN (ký hiệu cấu trúc đích)

Bạn có thể sử dụng Ghi chú cấu trúc mục tiêu và D-Case để hình dung các lập luận bảo mật có thể được sử dụng hiệu quả để xây dựng sự đồng thuận và đạt được trách nhiệm giải trình.

1. GSN (ký hiệu cấu trúc đích)/D-Case

Chúng tôi cũng có một trình soạn thảo dành riêng cho GSN, chỉ được gọi là "Astah GSN". Hệ thống an toàn Astah bao gồm tất cả các tính năng của GSN Astah.

Tại sao chọn Astah System Security?

Astah ban đầu được tạo ra vào năm 2006 bởi công ty ChangeVision của Nhật Bản như một công cụ mô hình UML. Phần mềm đã phát triển để bao gồm sáu công cụ khác nhau, mỗi công cụ được thiết kế để đáp ứng các nhu cầu bản đồ khác nhau bằng cách hấp thụ phản hồi của người dùng trong hơn 15 năm. Astah System Safety là sản phẩm mới nhất mà chúng tôi tự hào giới thiệu cho các hệ thống quan trọng về an toàn.

Astah kết hợp STPA và SysML bằng cách cho phép chuyển đổi mô hình, giúp bạn xây dựng phân tích STPA bằng cách tạo các thành phần trực tiếp với khối SysML, v.v. Bằng cách xử lý cùng một mô hình trong dự án sẽ duy trì tính nhất quán và mọi thứ có thể dễ dàng theo dõi trong suốt quá trình phân tích.

Hỗ trợ XMI Import/Export cho các mô hình SysML, cho phép bạn tải dữ liệu từ Cameo Systems Modeler. Bạn cũng có thể thêm cấu hình định dạng OMG XMI 2.5.