This tool focuses on model narrowing, transformation, model checking and analysis, and offers an automatic mechanism for formal modeling and verification of the train control system requirements specification. 该软件工具集模型抽取、转换、验证以及分析功能于一体,为列控系统需求规范(SYRS)的建模与验证提供了一个自动化的环境。
The Train Control System requirements specification is the basic of designing and developing product, and it is crucial for interoperability and efficiency and security. 列车运行控制系统(以下简称列控系统)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。
The main work and innovation are as follows : ( 1 ) An improved methodology of modeling and formal verification of the train control system requirements specification is proposed by using a combination of specification management, formal modeling and verification. 论文的主要成果和创新点有:(1)通过集成规范管理、形式化建模以及验证等多种技术手段,改进了当前的列控系统需求规范(SYRS)建模与验证方法。
Therefore, how to verify whether the CTCS-3 on-board equipment meets the CTCS-3 system requirements specification is an urgent issue. 因此,如何验证CTCS-3级列控系统车载设备是否满足CTCS-3系统需求规范(SYRS)是一个急需解决的问题。
According to the demand investigation and analysis for the system function, write " ultra supercritical unit heating surface tube life management system functional requirements specification ". 论文根据需求调研和系统功能分析,编写了《超超临界机组受热面管寿命管理系统功能需求规格说明书》。