STAMP/STPA とモデル検査の併用による単線鉄道踏切例題の解析の効果について

DOI Web Site

書誌事項

タイトル別名
  • On the Utilitiy of Combined Application of STAMP/STPA and Model Checking to Single Track Railroad Crossing
  • STAMP/STPA ト モデル ケンサ ノ ヘイヨウ ニ ヨル タンセン テツドウ フミキリ レイダイ ノ カイセキ ノ コウカ ニ ツイテ

この論文をさがす

説明

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

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ