智能交通安全控制系统的模型验证 |
| |
引用本文: | 张仲义,王海峰.智能交通安全控制系统的模型验证[J].交通运输工程与信息学报,2003,1(1):118-122. |
| |
作者姓名: | 张仲义 王海峰 |
| |
作者单位: | [1]北方交通大学交通运输学院,北京100044 [2]北方交通大学电子信息工程学院,北京100044 |
| |
摘 要: | 随着智能交通系统的发展,交通安全控制系统的开发变得越来越复杂,系统中存在的“设计型故障”很难被检测和排除,“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。
|
关 键 词: | 智能交通安全控制系统 模型验证 “设计型故障” 安全性 形式化方法 |
本文献已被 维普 等数据库收录! |
|