Art

J-GLOBAL ID：200902291989155900   Reference number：07A0022618

Improving Reliability of Railway Interlocking System with Component-based Technology

コンポーネントベース技術を用いた鉄道連動システムの信頼性改善

Author (6)： HEI Xinhong (Nihon Univ., Chiba, JPN) ,  TAKAHASHI Sei (Nihon Univ., Chiba, JPN) ,  NAKAMURA Hideo (Nihon Univ., Chiba, JPN) ,  FUKUDA Mitsuyoshi (Railway Technical Res. Inst., Tokyo, JPN) ,  IWATA Koji (Railway Technical Res. Inst., Tokyo, JPN) ,  SATO Kazutoshi (Railway Technical Res. Inst., Tokyo, JPN)
Material： 日本信頼性学会誌  (REAJ誌)
Volume： 28  Issue： 8  Page： 557-568  Publication year： Dec. 01, 2006 
JST Material Number： L2778A  ISSN： 0919-2697  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *interlocking device ,...
Semi thesaurus term： *software component ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0022618&from=J-GLOBAL&jstjournalNo=L2778A") }}

JST classification (1)： Signal,safety  (TC01040Y)

Reference (18)：

• AKITA, K. Computerized Interlocking System for Railway Signaling Control : SMILE. IEEE TRANS. INDUST. APPLIC. 1985, IA-21, 3, 826-834
• FOKKINK, W. J. Verification of interlockings : from control table to ladder logic diagrams. Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems-FMICS'98. 1998, 171-185
• HIRAO, Y. Safety technologies and management of railway signalling in Japan. SIGNAL+DRAHT. 2000, Heft 5, 33-37
• HANSEN, K. M. Formalising Railway Interlocking Systems. Nordic Seminar on Dependable Computing Systems, 1998. 1998, 83-94
• JANOTA, A. S. Using Z Specification for Railway Interlocking Safety. PERIODICA POLYTECHNICA SER. TRANSP. ENG. 2000, 28, 1-2, 39-53

Terms in the title (3)： コンポーネント ,  鉄道 ,  連動