智能交通安全控制系统的模型验证

随着智能交通系统的发展,交通安全控制系统的开发变得越来越复杂,系统中存在的“设计型故障”很难被检测和排除,“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。

形式化方法与安全关键系统

本文从分析SCS(Safety -CriticalSystems安全关键系统 )这类重要的实时控制系统的故障新特点出发 ,讨论了SCS中形式化方法的作用、研究应用现状、存在的问题及未来的发展。