基于有色Petri网的安全构件模型

摘要：

安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求.安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型.该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模.

关键词：有色Petri网、安全构件建模、CTCS-2列车控制中心

所属期刊栏目：34

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60674004

在线出版日期：2009-02-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：165-167