铁路系统的模型检查和参数分析

鲍峥嵘, 虞慧群. 铁路系统的模型检查和参数分析[J]. 华东理工大学学报（自然科学版）, 1999, (2): 182-187.

引用本文:

鲍峥嵘, 虞慧群. 铁路系统的模型检查和参数分析[J]. 华东理工大学学报（自然科学版）, 1999, (2): 182-187.

Model Checking and Parametric Analyzing Railway Systems[J]. Journal of East China University of Science and Technology, 1999, (2): 182-187.

Citation:

Model Checking and Parametric Analyzing Railway Systems[J]. Journal of East China University of Science and Technology, 1999, (2): 182-187.

Model Checking and Parametric Analyzing Railway Systems

摘要: 研究铁路系统的自动验证技术，建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。

Abstract: This paper presents automatic verification techniques for railway systems. Trains and controllers are modeled as hybrid automata. Their properties are specified in ICTL. System correctness is automatically verified via model checking.Parametric analysis is also enabled by model checking technique.

/