摘要： 在异种嵌入式平台上，采用统一建模语言UML，可为铁路联锁软件建立平台无关模型，从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性，采用了Petri网作为补充，对复杂的动态行为和约束规则，在模型中加入了精确和严格的形式化描述。

关键词: 铁路联锁软件, 建模, UML, Petri 网

Abstract: 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.

Key words: Railway interlocking software, Modeling, UML, Petri net

中图分类号: 

• yangdeyi918@sohu.com