高速铁路列控中心软件安全性需求形式化建模.pdfVIP

Vo l. 35 No.7 第 35 卷第 7 期 铁道学报 201 3 年 7 月 JQURNAL OF THE CHINA RAILWAY SOCIETY July 2013 文章编号: 1001-8360(2013)07-0074-06 高速铁路列控中心软件安全性需求形式化建模 喻钢1 ， 4 ，刘晓文2 ， 熊静5 ，徐中伟3 ， 4 ，杜军威6 (1.上海大学悉尼工商学院，上海 201800; 2. 海南师范大学信息科学与技术学院，海南海口 571158 ; 3. 同济大学电子与信息工程学院，上海 201804; 4. 铁道部产品质量监督检验中心铁路车站计算机联锁检验站，上海 201804; 5. 上海工程技术大学航空运输学院，上海 201620; 6. 青岛科技大学信息科学技术学院，山东青岛 26606 1) 摘 要:列控中心的安全性直接影响高速铁路的运行安全，为实现对其安全性需求更本质的形式化定义，提出 1 种基于安全行为模型的建模方法。根据其安全性需求的特征，安全行为模型定义安全因子以此描述系统状态、系 统行为与系统风险之间的度量关系，采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进 行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用，说明了该方法的有效性。 关键词:高速铁路;列控中心;安全性;形式化建模;安全性需求 中图分类号: U283 文献标志码: A doi: 10. 3969jj. issn. 1001-8360. 2013. 07. 012 Formalized Modeling of Safety Requirements of High-speed Train Control Center Software System 4 2 5 3 4 6 YU G ang1. , LIU Xiao-wen , XIONG Jing , XU Zhong-wei • , DU Jun-wei (1. Sydney Institute of Language and Commerce , Shanghai University , Shanghai 201800 , China; 2. School of Information Science and Technology , Hainan Normal University , Haikou 571158 , China; 3. School of Electronics and Information Engineering , Tongji University , Shanghai 201804 , China; 4. Railway Station Computer Interlocking Test Station , Product Quality Supervision and Testing Center , Ministry of Railways , Shanghai 201804 , China; 5. College of Air Transportation , Shanghai University of Engineering Science , Shanghai 201620 , China; 6. School of Information Science and Tec