文献类型：期刊文献

中文题名：铁路系统的模型检查和参数分析

英文题名：Model Checking and Parametric Analyzing Railway Systems

作者：鲍峥嵘[1,2];虞慧群[1,2];邵志清[1,2];宋国新[1,2]

机构：[1]华东理工大学计算机科学与工程系;[2]南京大学计算机软件新技术国家重点实验室

年份：1999

卷号：25

期号：2

起止页码：182

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心1996】；CSCD:【CSCD2011_2012】；

基金：国家自然科学基金;上海市高等学校青年科学基金

语种：中文

中文关键词：嵌入式系统;铁路系统;模型检查;参数分析;安全性

外文关键词：embedded systems; hybrid automata; temporal logic; model checking; parametric analysis

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