On the Utilitiy of Combined Application of STAMP/STPA and Model Checking to Single Track Railroad Crossing

DOI Web Site

Bibliographic Information

Other Title
  • STAMP/STPA とモデル検査の併用による単線鉄道踏切例題の解析の効果について
  • STAMP/STPA ト モデル ケンサ ノ ヘイヨウ ニ ヨル タンセン テツドウ フミキリ レイダイ ノ カイセキ ノ コウカ ニ ツイテ

Search this article

Description

STAMP/STPA は複雑システムの解析手段の 1 つとして有望視されている．STAMP では各コンポーネントが信頼できると仮定しても，その結びつきや相互作用によって誘発される不具合がありうるとしている．また，STPA としてその不具合の発見を支援する手法を与えている．狭義の STPA では各コンポーネントの振舞いについてはそのモデルを与えないが，振舞いモデルを仮に与え，モデル検査などの形式手法を適用することによりさらに深い解析を与えることが可能である．本稿ではその具体例を単線鉄道踏切例題を対象に与える．モデル検査により，単線鉄道踏切の安全性について考察することができる．

Journal

Details 詳細情報について

Report a problem

Back to top