基于模型的列控系统功能一致性测试研究

项目名称： 基于模型的列控系统功能一致性测试研究

项目编号： No.61304185

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 吕继东

作者单位： 北京交通大学

项目金额： 23万元

中文摘要： 列车运行控制系统（简称"列控系统"）是保证列车安全、高效运行的自动化系统。随着计算机技术、通信技术和控制技术的发展和应用，列控系统呈现出实时性和混杂性等特点，这给系统功能的正确性验证带来了巨大的挑战。本项目以关系国家重要战略需求的列控系统实际应用领域，通过形式化建模与验证技术和测试技术的融合，研究基于模型的列控系统功能一致性测试方法。具体研究为：(1) 支持列控系统规范正确性的关键技术；(2) 支持列控系统功能测试案例自动生成的关键技术；(3) 支撑列控系统功能一致性测试的平台环境。本项目将以高速铁路列控系统车载设备为具体应用范例，开展基于模型的列控系统车载设备功能的一致性测试研究。本项目的研究工作将大大提高我国在高速铁路列控系统中功能测试水平，为其他领域安全苛求系统功能的研究提供借鉴。

中文关键词： 基于模型；列控系统；一致性；功能；测试

英文摘要： The Train Control System is an automatic system which plays an important role in assuring safety and improving efficiency in railway. With the rapid development of computer technology, communication technology and control technology, the train control system has exhibited real-time and hybrid properties,which leads to a huge challenge on its function correctness.This project focuses on creating and developing key technologies for testing the function of railway train control system. A model-based conformance testing method will be researched according to the integration of testing, formal modeling and verification technologies.The expected deliverables include:(1) key technologies for the correctness of system requirement of train control system;(2) key technologies for the automatic testing cases generation on function requirement of train control system;(3) develop environment and platform for the conformance testing on the key device of train control system.The method will be also applied on on-board equipment in high-speed train control system as a case study. The results of this research project may offer great benefits to the conformance testing of function of train control system. This project will also be valuable to the realization of the main goals of other Research Plan on testing of safety-critical s

英文关键词： model-based；train control system；conformance；function；testing