1314 鉄道信号システムへの形式的手法適用の検討(安全と防災)(OS26 安全と防災)(シンポジウム : 第7回鉄道技術連合シンポジウム(J-RAIL 2000))

概要

論文の詳細を見る
It has been long time since microcomputer systems were introduced into railway signalling areas. Software in the systems is becoming more and more complex in order to cope with higher system safety requirements and more sophisticated functions. Formal methods for railway safety-critical software are expected to help us construct reliable and correct systems. Although formally specifying a system has many advantages, it is also true that formal methods are difficult for unfamiliar and non-professional people. This is totally against our aim. We have, therefore, developed a simulator system, which illustrates user's interlocking specification, written in a formal specification language, on a computer graphical screen. Using this system, software designers and users can communicate easily and rigorously. Considering portability and making independent each function of the simulator, we made the modules of the simulator communicate through the inter-processes communication facility of UNIX. We could run each module in a different workstation scattering around the world through Internet.
社団法人日本機械学会の論文
2000-12-12