The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems : STECH
Online ISSN : 2424-3167
2009
Session ID : 360138
Conference information
360138 MODELING RAILWAY SIGNALLING CONTROL SOFTWARE WITH OBJECT-BASED ARCHITECTUR(Signal,Technical Session)
Xinhong HeiWeigang MaLei WangSei TakahashiHideo Nakamura
Author information
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Abstract
More and more functional realizations rely on software in real time control systems, such as railway signalling system. In this paper, a modeling and verification methodology is presented for the object-oriented software system of railway signalling system. The methodology combines UML (Unified Modeling Language) and Petri nets to model and verify the specification requirements. The device specifications of railway interlocking system are modeled with UML, and dynamic behaviors are modeled and analyzed with Petri nets. We try to show the feasibility of improving the reliability and reducing revalidation efforts when designing and developing a decentralized railway signalling system.
Content from these authors
© 2009 The Japan Society of Mechanical Engineers
Previous article Next article
feedback
Top