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

第34卷 第22期 计 算 机 工 程 2008年 11月 I1o1．34 No．22 ComputerEngineering November2008 · 安全技术 · 文章编号：1ooo一3428(2o08)2 l65—3 _献 ———— 丽萌■ 基于有色Petri网的安全构件模型 陈 旭 ，徐中伟 ，喻 钢 (1．同济大学电子与信息工程学院，上海 201804；2．上海大学嘉定校区悉尼工商学院，上海 201800) 摘 要：安全性是安全苛求软件的重要特性，基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。安全构件模型是一 种既具有功能性需求又具有安全性需求的特殊构件模型。该文提出一种基于有色 Petri网的安全构件模型及相应的构件组装算法，以确保 系统符合相应的安全性需求并将其应用于CTCS一2级列车控制中心仿真系统建模。 关健诃：有色Petri网；安全构件建模；CTCS．2