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

関連ページ

• 英語版のSTAMP向けモデリングツールSTAMP Workbench
• その他のSTAMPツール（MITサイト）　

概要

IPAは、大規模・複雑化するシステムに適した安全解析手法STAMPの導入を容易にするモデリングツールSTAMP Workbenchを無償公開しました。
STAMP Workbenchはオープンソースソフトウェアです。ソースコードの改編、再配布、商用利用も可能で、改編版ソースコードの開示義務もないライセンスを適用しました。
STAMPによる安全解析作業を効率化します。手間のかかる図表の修正作業は自動化され、分かりやすい識別番号の採番・振り直しも自動化されます。

人は思考に専念することができます。STAMPは「強制発想手法」と呼ばれるように分析の途中で自由な発想を引き出します。STAMP Workbenchを用いれば、新たに得た発想を容易に図表に反映できるので、思考を中断することなく分析を継続できます。

特徴

動作環境

マニュアル

• STAMP Workbenchマニュアル

動画でSTAMP Workbenchの使い方を紹介しています。

• 動画が再生できない場合はYoutubeからご覧ください。

ダウンロード

インストーラー（実行形式）

本インストーラーはWindowsで標準的に利用されているMSI形式です。下記ファイルを任意のフォルダ（例：デスクトップ）にダウンロードし、インストーラーを実行してください。

 詳細は、インストールと起動方法をご確認ください。

• 【64ビット用】stampworkbench-2_0_0-64bit-setup.msi(81.3 MB)
• 【32ビット用】stampworkbench-2_0_0-32bit-setup.msi(81.9 MB)

インストーラー（zip版）

• zipファイルの展開とセットアップ方法(PDF:325 KB)
• 【64ビット用】stampworkbench-2_0_0-64bit.zip(ZIP:91.4 MB)
• 【32ビット用】stampworkbench-2_0_0-32bit.zip(ZIP:92.2 MB)

STAMP Workbenchは下記の構造になっており、ダウンロード対象には、IPAが開発した範囲の他に、既存モデルベース開発支援ツールのプラットフォームが同梱されています。STAMP Workbenchご利用前に同プラットフォームの使用許諾条件もご参照ください。

IPAが提供するSTAMP Workbenchを改変（機能追加など）せずにそのままご利用される方は、上記の実行形式インストーラーをダウンロードして実行するか、またはzip版インストーラーをダウンロードし、zipファイルを展開してセットアップ（セットアップ方法は上記セットアップ方法を参照）してください。実行形式インストーラーおよびzip版インストーラーのいずれも、既にコンパイル＆リンクした実行形式のソフトウェアがインストールされますので、すぐにSTAMP Workbenchをご利用いただけます。

変更版適用（Version up）

既にSTAMP Workbenchをご利用の方がVersion upされる場合は、旧versionを一旦アンインストールまたは削除してから新versionをインストールしてください。

• 実行形式インストーラーでVer.1.0.2以前のversionをインストールされた方
  インストール済みの旧versionを一旦アンインストールした後に、Ver.2.0.0の実行形式インストーラー（msiファイル）を実行してご利用ください。
• Ver1.0.2以前のzip版をインストールされた方
  zipを展開して利用していたVer1.0.2以前のフォルダーを削除した後に、Ver.2.0.0のMSI形式インストーラーを実行するか、Ver.2.0.0のzipファイルを展開してご利用ください。

旧versionをアンインストールあるいはフォルダーを削除しても、旧versionで行った設定内容は新versionに自動的に引き継がれます。

画面表示に問題がある場合
新versionのSTAMP Workbenchをインストールした後、一部の文字が読めなくなるなどの問題が確認されています。最新versionをインストールした際、古いversionのファイルが残っていると、この画面表示の問題が発生する場合があります。古いversionをアンインストールしたときにアンインストーラーでは古いファイルを削除しきれない場合があるためです。以前にアンインストールせずに上書きインストールしたことがある場合に、このような状態になります。この問題が発生した場合には、下記手順をお試しください。

1. STAMP Workbenchを終了する
2. アンインストーラーでアンインストールする
3. 元インストールしていたstampworkbenchのフォルダーを完全に削除する
   （デフォルト設定では、C:\Program Files\stampworkbenchフォルダー）
4. 再度STAMP Workbenchをインストールする

ライセンス

ご利用前にお読みください。

STAMP Workbench利用許諾
STAMP Workbenchは2条項BSDライセンスのもとに利用許諾します。

Copyright © 2018 IPA
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

• https://opensource.org/licenses/BSD-2-Clause
• astah 利用許諾

サンプルファイル

STAMP Workbenchで安全解析したサンプル（.stmpファイル）です。STAMP Workbenchを使い始めるときのテンプレートとしてもご利用いただけます。

• エアバッグ.zip(ZIP:10 KB)
• とりこ検知.zip(ZIP:13 KB)
• 倒立二輪車.zip(ZIP:16 KB)
• 踏切制御システム.zip(ZIP:12 KB)
• 踏切制御システム.zipの英語版

ソースコード

• stamp-project-2_0_0.zip(ZIP:2.2 MB)
• ビルド方法(PDF:116 KB)
• 開発者向けマニュアル(PDF:2.6 MB)

IPAが提供するSTAMP Workbenchに対して、利用される方ご自身で機能追加や仕様変更などを行う場合、上記ソースコードをダウンロードし、目的のソースコードを変更、追加、置換などして、実行形式ソフトウェアをビルド（コンパイル＆リンクして実行形式のソフトウェアを構築）することができます。上記「ビルド方法」には、コンパイル方法やビルドツールがリンク時に参照すべきライブラリー等（ライブラリーにはSTAMP Workbenchが使用している既存モデルベース開発支援ツールのプラットフォーム（バイナリーのみ公開）が含まれます）の指定方法などを具体的に記載しています。尚、ソースコードの改編の仕方によってはビルド方法に変更が発生する可能性もあります。利用される方ご自身で実行形式ソフトウェアをビルドする際は、上記「ビルド方法」を参考情報としてご利用ください。

JREのupdate

• JREのupdate方法はこちらをご確認ください(PDF:99 KB)

STAMP Workbench はJava実行環境（JRE：Java Runtime Environment）を使用しており、インストールパッケージにJREを同梱しています。同梱したJREに起因してSTAMP Workbenchの動作に問題が発生した場合など、JREをupdateすることによって問題を解決できる可能性があります。この手順書では、インストール済みSTAMP WorkbenchのJREを利用者自身がupdateするための手順を記しています。

この手順を適用できるのはAdoptOpenJDKを同梱したSTAMP Workbench Ver2.0.0であり、oracle JDKを同梱したVer1.0.2以前のバージョンへは適用不可であることにご注意ください。

STPA手順

本ツールで用いるSTAMP/STPA（System-Theoretic Accident Model and Processes / System- Theoretic Process Analysis)の手順について。

STAMPを提唱したMITのNancy G. Leveson教授はSTPA手順を二つの手順解説書で公開しました。(1) "An STPA Primer"（2012年発行）と(2) "STPA Handbook"（2018年発行）です。それらの手順解説書ではSTPA手順を下記のように説明しています。(1)と(2)では手順を説明する表現が多少異なりますが、手順の本質、やるべきこと、その順序に変わりはありません。また、2011年に発行されたSTAMP理論解説書"Engineering a Safer World"にもSTPAプロセスが記載されており、手順としては(1)と同じと捉えることができます。
2017年に開発した本ツールがガイドするSTPA手順は、(1)のSTPA PrimerおよびSafer Worldに準拠した表現を用いています。

(1) An STPA Primer（2012年11月初版発行、2013年8月Version 1発行）

• 現在、MITのSTAMP関連ページからはリンクされていません。

(2) STPA handbook（2018年3月発行）

• STPA handbook

• MITのSTAMP関連ページ：MIT Partnership for Systems Approaches to Safety and Security (PSASS)

Tips

このtipsは本ツール操作における軽微な注意事項です。STPA分析手法に関する大事な勘所ではありません。

1. ダークモード（ハイコントラストモード）
   Windowsの設定で「ハイコントラストモード」を有効にして、「ハイコントラスト：黒」とすると一部の文字が読めない問題が確認されています。本ツールは「ハイコントラストモード」での文字・図形色自動変更に対応していないため、黒地に黒文字／黒線のような設定となり文字が読めなくなる現象です。Tool -> System PropertyのDiagram Editorで背景・図形・線・文字の色を選択することをお試しください。

2. excel出力時の問題
   MS officeの性能限界への対応方法です。excelでは既定の列幅最大値が255文字（MS officeのバージョンに依る）となっているため、本ツールで表の列幅（セル幅）を256文字以上にした場合、excel出力時にエラーが発生する可能性があります。
   4K以上のディスプレイで高解像度設定し、かつ縮小表示して、本ツールのウィンドウを全画面表示し、更にセル幅が255文字を超えるようにした場合、本ツールの表をexcel出力したときにエラーが発生します。但し、エラー発生時に本ツールが保持するデータが壊れたり、失われたりすることはありません。
   excel出力を実施する前に、本ツールのウィンドウ幅を少し小さめに変更することで問題を回避できます。