Abstract
This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, ‘Graphical User Interface’ to draw the station topology and ‘Application Software’ to generate TAPN models from the station topology. TAPN is a highly recommended formal modeling method by the CENELEC EN50128 standard. Generated models, belonging to the station, are stored in an XML file and can be viewed using TAPAAL.
Keywords
Interlocking
Computer science
Formal methods
Formal verification
Software engineering
Programming language
Engineering
Reliability engineering
Subject Areas
Model-Driven Software Engineering Techniques
·Software ·Physical Sciences
Formal Methods in Verification
·Computational Theory and Mathematics ·Physical Sciences
Business Process Modeling and Analysis
·Management Information Systems ·Social Sciences
Citations by Year
2017: 1
2019: 1
2023: 1
Loading…
Loading…