Art

J-GLOBAL ID：201902278731888671   Reference number：19A0699276

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

Author (3)： OKANO KOZO (信州大 工) ,  OKAMOTO KEISHI (仙台高専) ,  OGATA SHIMPEI (信州大 工)
Material： 日本信頼性学会誌  (REAJ誌)
Volume： 41  Issue： 2  Page： 89-95  Publication year： Mar. 01, 2019 
JST Material Number： L2778A  ISSN： 0919-2697  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： train control ,  route(land transportation) ,  *safety analysis ,  *model checking ,  *system theory ,  accident ,  model ,  *railroad crossing
Semi thesaurus term： STAMP/STPA ,  *事故モデル ,  railway route ,  *railroad crossing control

JST classification (2)： Signal,safety  (TC01040Y) ,  Reliability  (KB04040H)

Terms in the title (7)： STAMP ,  StpA ,  モデル検査 ,  併用 ,  鉄道 ,  踏切 ,  解析