資料

下記のリンクから関連資料をダウンロードください。

SysMLと形式手法を活用した機能安全ソリューション
SysML と Bメソッドを利用して、開発対象をわかりやすく、かつ、厳密に明確に定義します。
SysML Bメソッド自動変換ツール
SysML からBメソッドに変換するツールをご紹介します。
セーフティ&セキュリティ国際規格適合支援サービス
セーフティ、そして、セーフティを守るためのセキュリティの活動支援をご紹介します。
モデルベースによるセキュリティテストケース自動生成ツール
「モデルを壊す」ことにより、ペネトレーションテストを支援するツールをご紹介します。