摘要
安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期165-167,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60674004)
