| 铁路系统的模型检查和参数分析 |
| |
| 引用本文： | 鲍峥嵘 虞慧群. 铁路系统的模型检查和参数分析[J]. 医学教育探索, 1999, 0(2): 182-187 |
| |
| 作者姓名： | 鲍峥嵘 虞慧群 |
| |
| 作者单位： | [1]华东理工大学计算机科学与工程系 [2]南京大学计算机软件新技术国家重点实验室 |
| |
| 基金项目： | 国家自然科学基金,上海市高等学校青年科学基金 |
| |
| 摘 要： | 研究铁路系统的自动验证技术，建立火车和控制器的混合自动机模型，用时态逻辑ＩＣＴＬ描述铁路系统的性质规范，使用模型检查技术自动验证铁路系统，并且对铁路系统的一些参数进行分析。
|
| 关 键 词： | 嵌入式系统 铁路系统 模型检查 参数分析 安全性 |
Model Checking and Parametric Analyzing Railway Systems |
| |
| Bao Zhengrong,Yu Huiqun,Shao Zhiqing and Song Guoxin. Model Checking and Parametric Analyzing Railway Systems[J]. Researches in Medical Education, 1999, 0(2): 182-187 |
| |
| Authors: | Bao Zhengrong Yu Huiqun Shao Zhiqing Song Guoxin |
| |
| 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. |
| |
| Keywords: | embedded systems hybrid automata temporal logic model checking parametric analysis |
|
| 点击此处可从《医学教育探索》浏览原始摘要信息 |
|
点击此处可从《医学教育探索》下载全文 |
