文献

J-GLOBAL ID：201802290491107519   整理番号：18A0957302

安全・防災 踏切リレー結線のモデル検査による結線論理安全性検証

著者 (4件)： 岡田明正 (JR東日本 JR東日本研究開発セ 先端鉄道システム開発セ) ,  野口隆文 (JR東日本) ,  鶴丸尚之 (JR東日本 JR東日本研究開発セ テクニカルセ) ,  加藤尚志 (JR東日本 JR東日本研究開発セ 先端鉄道システム開発セ)
資料名： JREA (Japan Railway Engineers’ Association)  (JREA (Japan Railway Engineers' Association))
巻： 61  号： 6  ページ： 42285-42288  発行年： 2018年06月01日 
JST資料番号： S0079A  ISSN： 0447-2322  CODEN： JRENA  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・踏切での無遮断防止を目的として,リレー結線で構築される踏切制御論理の安全性検証に対して,モデル検査を用いる方法の有効性について検証。
・網羅的な論理の検証が可能なソフトウェア技術であるモデル検査のうち,様々な分野での適用事例があるSpinを利用。
・有効性を検証するために,現在利用されている踏切制御論理から無遮断対策として挿入されている論理を抜いてモデル検査を実施したところ,本検査によって踏切制御論理の安全性を検証できる可能性を確認。

シソーラス用語： 安全対策 ,  安全管理 ,  *事故防止 ,  *鉄道事故 ,  *踏切 ,  遮断機 ,  *制御理論 ,  *モデル検査 ,  安全性 ,  配線図 ,  モデリング ,  性能評価 ,  オンオフ制御 ,  スイッチ ,  論理設計 ,  交通安全
準シソーラス用語： SPIN ,  *踏切事故 ,  踏切遮断機 ,  *踏切制御 ,  リレー制御

分類 (1件)： 鉄道事故  (TC01050J)

引用文献 (9件)：

• 山崎勇,内山大輔:ATACSの踏切制御機能使用開始,JREA,vol.58,no.8,pp.39712-39719,2015
• 藤田浩由,野村拓也,北尾憲一,小野雄人,新井英樹,砂場真,石毛隆晴:無線を活用した車上主体踏切制御システムの開発,第24回鉄道技術・政策連合シンポジウム(J-RAIL2017),S-7-5-3,2017
• 森稔,中澤弘二,鈴木光彰:新たなニーズに応える列車制御システム,東芝レビュー,vol.64,no.9,pp.35-39,2010
• 川村正,藤井英明,土田勝紀,高橋和子:鉄道システムの連動装置の形式的検証向けモデル化と検証環境構築,電子情報通信学会論文誌D,Vol.J88-D1,No.12,pp.1727-1739
• 大神茂之,清水亮,越村三幸:鉄道システムのモデル検査器SPINによる検証,九州大学大学院システム情報科学紀要,Vol.10,No.1,pp.33-38,2015

タイトルに関連する用語 (8件)： 防災 ,  踏切 ,  リレー ,  結線 ,  モデル検査 ,  結線論理 ,  安全性 ,  検証