[4-1]Modeling and performance evaluation strategy of component-based distributed railway interlocking system(Report of 19th Autumnal Reliability Symposium)

スポンサーリンク

概要

• 論文の詳細を見る
• 2007-01-01

著者

• Sato Kazutoshi

  Railway Technical Res. Inst. Kokubunji

• Nakamura Hideo

  Computer Science Graduate Course Graduate School Of Science And Technology Nihon University

• NAKAMURA Hideo

  Nihon University

• IWATA Koji

  Railway Technical Research Institute

• FUKUDA Mitsuyoshi

  Railway Technical Research Institute

• Hei Xinhong

  Nihon University

• Takahashi Sei

  Nihon University

• TAKAHASHI Sei

  Computer Science Graduate Course, Graduate School of Science and Technology, Nihon University

• Hei Xinhong

  School Of Computer Science And Technology Xi'an University Of Technology

関連論文

• Toward development of distributed railway interlocking system (ディペンダブルコンピューティング)
• [4-1]Modeling and performance evaluation strategy of component-based distributed railway interlocking system(Report of 19th Autumnal Reliability Symposium)
• A development strategy for component-based distributed railway interlocking system
• Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)
• 4-1 Modeling and performance evaluation strategy of component-based distributed railway interlocking system
• A formal safety framework of component-based distributed railway interlocking system
• B304 Study on Quantitative Evaluation Methods for Safety of Railway Signalling Systems
• Estimation of Occurrence Probability of Lightning Damages on Railway Level crossing
• Estimation of occurrence probability of lightning damages on railway level crossing (特集 IWHV 2007 (5th International Workshop on High Voltage Engineering))
• Experimental Study on Surge Propagation Characteristics of Rail and Lightning Overvoltages on Level Crossing
• Experimental Study on Surge Propagation Characteristics of Rail and Lightning Overvoltages on Level Crossing System
• Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets
• Toward evaluating reliability of a decentralized railway interlocking system (信頼性)
• Design and safety assurance of decentralized interlocking system (安全性)
• A Modeling Approach of Distributed Interlocking System
• B301 APPLICATION OF RAIL TRANSMISSION TECHNOLOGY TO RAILWAY SIGNALS USING SPREAD SPECTRUM COMMUNICATION TECHNOLOGY
• Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML
• 4-1 Formal Analysis and Simulation of ATPB System
• Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML

もっと見る 閉じる

スポンサーリンク