Platform Screen Doors and Its Study Method

摘要：

Raiway safety critical systems is paid more and more attention to by people. The Platform Screen Doors (PSD) is this kind of system, in the first portion, the architecture and function of the PSD are introduced. In the second portion, the application of PSD in Paris subway is discussed, the third portion formal B methods application is presented. Last part the D0F1 technology in shown.

关键词： Raiway safety critical systems Platform Screen Doors formal B method DOF1

作者: Haiming jing Zhengxu Zhao

作者单位: Institute of Information University of Shijiazhuang Railway Shijiazhuang, Hebei Province, CHINA

会议类型: 国际会议

会议名称: 2010 Second Asia-Pacific Conference on Information Processing(2010年第二届亚太地区信息处理国际会议 APCIP 2010)

会议地点: 南昌

会议语种:英文

页码: 619-621

在线出版日期: 2010-09-17（万方平台首次上网日期，不代表论文的发表时间）