论文部分内容阅读
铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的安全模型,为安全苛求系统的安全性分析与验证评估提供了一个完整的技术框架,具有理论及实际价值。