Research on dynamic modeling of software architecture of embedded interlock-ing-signal controller

Using π-calculus and Petri nets relevant theories,an abstract model of software architecture of the embedded interlocking signal controlle(rISAM Model)is established And then,it is researched on dynamic evolving,uniformity and deadlock of the ISAM model.At last,the developed model is used to analyze software system of the interlocking controller of signal the railway station.