Research on Railway Interlocking Software Modeling Based on UML and Petri Net

A independent platform model based on unified modeling language(UML) is presented to improve the development and reuse of railway interlocking software on the heterogeneous embedded platform.UML is applied to provide static structure of the software,as well as its dynamic behavior in simple scenarios.In order to guarantee safety,Petri net is exploited to add precise and strict formal description for its complex dynamic behavior and restriction rules.