文献

J-GLOBAL ID：201902278731888671   整理番号：19A0699276

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

著者 (3件)： 岡野浩三 (信州大 工) ,  岡本圭史 (仙台高専) ,  小形真平 (信州大 工)
資料名： 日本信頼性学会誌  (REAJ誌)
巻： 41  号： 2  ページ： 89-95  発行年： 2019年03月01日 
JST資料番号： L2778A  ISSN： 0919-2697  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： 列車制御 ,  路線 ,  *安全解析 ,  *モデル検査 ,  *システム理論 ,  事故 ,  モデル ,  *踏切 ,  鉄道路線 ,  *踏切制御
準シソーラス用語： STAMP/STPA ,  *事故モデル

分類 (2件)： 信号,保安  (TC01040Y) ,  信頼性  (KB04040H)

タイトルに関連する用語 (7件)： STAMP ,  StpA ,  モデル検査 ,  併用 ,  鉄道 ,  踏切 ,  解析