第 卷 第 期 年 月 交通运输工程学报 曹 源 唐 涛 徐田华 穆建成 为了确保列车运行控制系统设计和开发的正确性 比较了仿真 测试和形式化 种能够验证 系统设计正确性的方式 根据列车运行控制系统对安全的苛求性 提出了 个与系统安全相关的重要特性 即实时性 混成性 分布 并发 性 反应性 并分析了与这些特性相关的具体形式化方法 通 过对每种形式化方法的数学基础和应用范围的分析和归类 给出了各种方法的优势和不足 分析结 果表明 任何形式化方法的应用都具有一定的局限性 这是由模型检验和定理证明的本质所决定的 指出了新方法提出 既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向 交通信息工程 形式化方法 列车运行控制系统 安全苛求系统
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用
交 通 运 输 工 程 学 报 年
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用
交 通 运 输 工 程 学 报 年
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用
交 通 运 输 工 程 学 报 年
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用
交 通 运 输 工 程 学 报 年
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用
交 通 运 输 工 程 学 报 年 模型检验
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用 定理证明
交 通 运 输 工 程 学 报 年
第 期 曹 源 等 形式化方法在列车运行控制系统中的应用 ¾ ¾ ¾
交 通 运 输 工 程 学 报 年 上接第 页 缐 凯 基于 的道路交通安全管理系统