摘要: 安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模。
关键词:
有色Petri网,
安全构件建模,
CTCS-2列车控制中心
Abstract: Safety is an important attribute of safety-critical software. The technology based on traditional component can not suit safety-critical software development request. Safety-component is a special component having functionality and safety request. This paper proposes a method for safety-component modeling using Colored Petri Net(CPN) and arithmetic for component compositing based on this model. The model is used to ensure system satisfy relevant safety-require. It is used in CTCS-2 Train Control Center (TCC) modeling.
Key words:
Colored Petri Net(CPN),
safety-component modeling,
CTCS-2 Train Control Center(TCC)
中图分类号:
陈 旭;徐中伟;喻 钢. 基于有色Petri网的安全构件模型[J]. 计算机工程, 2008, 34(22): 165-167.
CHEN Xu; XU Zhong-wei; YU Gang. Safety-component Model Based on Colored Petri Net[J]. Computer Engineering, 2008, 34(22): 165-167.