摘要
在异种嵌入式平台上,采用统一建模语言UML,可为铁路联锁软件建立平台无关模型,从而改进软件的开发和复用。UML适用于软件的静态结构和简单场景下的动态行为的建模。为保证其安全性,采用了Petri网作为补充,对复杂的动态行为和约束规则,在模型中加入了精确和严格的形式化描述。
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.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第11期55-57,共3页
Computer Engineering
基金
教育部博士学科点专项科研基金资助项目(20030247021)
上海市科学技术委员会科技攻关基金资助项目(035115023)