摘要
研究铁路系统的自动验证技术。建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
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.
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
1999年第2期182-187,共6页
Journal of East China University of Science and Technology
基金
国家自然科学基金
上海市高等学校青年科学基金
关键词
嵌入式系统
铁路系统
模型检查
参数分析
安全性
embedded systems
hybrid automata
temporal logic
model checking
parametric analysis
