面向系统自动化开发的高铁列控系统建模验证和安全性预测方法研究

As new techniques such as computer-based techniques, modern control techniques and modern communication techniques are being used in high-speed train control systems, traditional methods for safety analysis that based on event chains, and conventional system development methods that produce source codes by manual coding based on textural specifications, do not suffice to ensure the safety of the developed systems and the efficiency of system developments. Model-driven system development becomes the trend for developing train control systems. To improve the reliability and safety of the developed system as well as to reduce the cost for the system development and system operational maintenance, this project studies automated system development oriented modelling, verification and safety prediction methods for high-speed train control systems: an automatic hazard identification method based on systems theory is proposed, with which the safety requirements of high-speed train control systems are specified; a hierarchical modelling approach based on the concept of scenario is raised to establish the model of a high-speed train control system, and a system properties oriented integrated verification method is presented to verify the system model; mathematical models of the characteristics of safety are introduced based on the theory of component-based system. With the mathematical models of the characteristics of safety, the safety prediction for the real system that is implemented according to the established design model is accomplished. The achievements of this project will provide significant supports to the design and automated system development, the reliability and safety of Chinese high-speed train control systems with theories, methods as well as techniques.

计算机技术、现代控制技术和通信技术等新技术在高铁列控系统中的应用，使传统基于事件链的安全分析方法和根据文本形式的系统规范手动编写可执行代码的系统开发方式，很难保证开发的系统的安全性和系统开发效率，模型驱动的系统自动化开发成为列控系统开发的趋势。本课题从提高系统安全性和可靠性、降低开发和运营维护成本的目的出发，研究面向系统自动化开发的高铁列控系统建模验证和安全性预测方法：提出基于系统理论的系统危险自动辨识方法，指导制定系统安全需求规范；提出基于场景的层次化建模方法建立系统模型，以及面向系统属性的综合验证方法对系统模型进行验证；提出基于部件的系统安全性特征量的数学模型，分析和预测根据设计模型实现的系统的安全性。本课题的研究成果将为我国高铁列控系统的设计及自动化开发、系统的可靠性和安全性提供重要的理论、方法和技术保障。

计算机技术、现代控制技术和通信技术等新技术在高铁列控系统中的应用，使传统基于事件链的安全分析方法和根据文本形式的系统规范手动编写可执行代码的系统开发方式，很难保证开发的系统的安全性和系统开发效率，模型驱动的系统自动化开发成为列控系统开发的趋势。基于前述背景，本项目面向系统自动化开发，1）研究了基于系统理论和有色Petri网的列控系统危险致因分析，提出基于系统理论和形式化方法的危险自动辨识方法，解决同时捕捉导致系统出现危险或发生事故的线性因果关系事件和非线性交互关系事件的问题；2）研究了基于运营场景和有色Petri网的列控系统形式化建模和验证，提出基于场景和形式化方法的层次化建模方法以及基于系统功能、结构、状态和行为属性的综合验证方法，解决从模型驱动的系统自动化开发角度进行建模验证的问题；3）研究了基于列控系统有色Petri网模型和部件失效分布函数的定量安全分析，提出基于系统理论和有色Petri网的定量安全分析方法，解决系统定量安全分析的问题。