STAMP普及推進活動について

活動内容

近年の組込みシステムは、個々の構成要素自体の高機能化に加え、各構成要素が接続されて連動動作することにより、益々、大規模・複雑化が進んでいます。 IPAでは、そのようなシステムにおけるシステムライフサイクルの全般をカバーした安全性・信頼性・セキュリティ向上手法の調査・研究、およびその普及を目的とした活動を行っています。複雑なシステム設計において安全性を確保するため、システム理論に基づく事故モデル（STAMP(注釈1)）およびその安全性解析手法（STPA(注釈2)）に注目しつつ、我が国のソフトウェア開発実態に即したリスク評価手法の調査・検討および普及を行っています。

1. (注釈1)
   STAMP（System- Theoretic Accident Model and Processes) 　
2. (注釈2)
   STPA（System- Theoretic Process Analysis)

安全性分析手法のパラダイムシフト

IoT時代に適合した安全性分析手法として広く利用されているのはSTAMPのみ⇒この利用促進がIPAの責務

複雑システムの安全性とセキュリティ：創発特性

Emergent Properties（要素間の局所的な相互作用に隠れていたものが不意に現れる特性）
コンポーネント間の安全維持制御の乱れが、想定外事象による安全制約の逸脱となる

IPAでは、こうした背景を踏まえ、米国等で実績のある手法を対象に、日本の状況にふさわしい具体的な適用法を検討し、STAMP初心者による導入を支援するための手引書やツールを提供しています。

STAMPの導入を支援するコンテンツ

STAMP導入手引書とハンズオン教材

STAMPの導入を支援する手引書「はじめてのSTAMP/STPA」シリーズを発行。
本手引書に準拠したハンズオン教材も提供しています。

• STAMP導入手引書とハンズオン教材

STAMP支援ツール

STAMPによる安全分析作業を支援するモデリングツールのSTAMP Workbenchを公開。
以下をダウンロード可能。

• ツールのインストーラー
• 利用者向けマニュアル（日本語、英語）
• ソースコード（ビルド方法の解説付き）
• 開発者向けマニュアル
• 分析支援プロジェクトファイル（サンプルファイル）

• STAMP向けモデリングツールSTAMP Workbench

STAMPワークショップ講演資料

これまでに開催したSTAMPワークショップの講演資料を掲載しています。

• 第1回 STAMPワークショップ講演資料（2016年12月開催）
  
• 第2回 STAMPワークショップ講演資料（2017年11月開催）
• 第3回 STAMPワークショップ講演資料（2018年12月開催）