Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-07-21

著者

• NAKAMURA Hideo

  Nihon University

• Takahashi Sei

  Nihon University

• Xie Guo

  Nihon University

関連論文

• 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)
• Improving Reliability of Railway Interlocking System with Component-based Technology (特集 情報システムの信頼性・保全性)
• 4-1 Modeling and performance evaluation strategy of component-based distributed railway interlocking system
• B304 Study on Quantitative Evaluation Methods for Safety of Railway Signalling Systems
• 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

もっと見る 閉じる

スポンサーリンク