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 ,  Train routes ,  *railroad crossing control
Semi thesaurus term： STAMP/STPA ,  *事故モデル

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

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