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

文献

J-GLOBAL ID：200902291989155900 整理番号：07A0022618

Improving Reliability of Railway Interlocking System with Component-based Technology

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=07A0022618&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0022618&from=J-GLOBAL&jstjournalNo=L2778A") }}

著者 (6件)： , , , , ,
資料名：
巻： 28 号： 8 ページ： 557-568 発行年： 2006年12月01日
JST資料番号： L2778A ISSN： 0919-2697 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

鉄道保安装置の変遷と電子連動システム技術について述べ,コンポ...

,...
,...

続きはJDreamIII（有料）にて {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=07A0022618&from=J-GLOBAL&jstjournalNo=L2778A") }}

信号,保安

引用文献 (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

, ,

前のページに戻る