列车运行控制系统规范建模与验证

出版时间：2010-6  出版社：中国铁道出版社  作者：唐涛，徐田华，赵林　著  页数：206  字数：227000  

前言

　　轨道交通具有运能大、能耗低、污染小、安全舒适等优势，是最具可持续性和环境友好性的交通运输系统，在我国综合交通体系中具有不可替代的突出地位。作为一种大容量公共交通王具，轨道交通系统的安全性直接关系到广大乘客的生命财产安全，必须采用高性能的列车运行控制系统（简称列控系统）保证列车安全、正点、快捷、舒适、高密度不间断运行。随着科学技术的飞速发展，计算机技术、通信技术已经广泛地应用于轨道交通，列控系统已发展成为以安全计算机为核心的覆盖轨道交通全线所有站点、所有列车的网络化复杂控制系统——自动列车运行控制系统。

内容概要

本书主要介绍了实现列控系统需求规范的严格建模与验证所必须的理论、方法和关键技术，内容包括现代列车运行控制系统的特点和相关标准规范、系统规范的严格建模与验证体系、模型检验相关基础知识、需求规范的管理和追踪、列控领域的UML建模以及针对CTCS－3系统规范展开的实例分析。    本书内容丰富，注重背景，可以作为研究生、教师以及轨道交通控制领域相关的科研人员了解列控系统规范的建模与验证的基本思想和方法的参考书。

书籍目录

第一章　概  述　第一节　轨道交通列控系统发展趋势　第二节　列控系统规范验证的意义　第三节　列控系统规范的建模验证方法　第四节　列控系统规范的严格建模与验证体系　本章参考文献第二章  系统需求规范建模与验证基础  第一节　系统需求规范  第二节　验证和确认的概念  第三节　系统开发模型  第四节　UML基础知识  第五节　符号模型检验  本章参考文献第三章  列控系统的需求规范验证内容与体系　第一节　列控系统需求规范验证内容　第二节　列控系统需求规范验证方法体系　第三节　列控系统需求规范验证流程　本章参考文献第四章　需求规范的管理　第一节　需求规范管理的概念与意义　第二节　需求规范管理的任务　第三节　需求规范管理流程　本章参考文献第五章　列控系统的UML建模　第一节　列控系统UML模型库　第二节　列控系统规范的UML模型　本章参考文献第六章　列控系统的形式化验证　第一节　列控系统规范UML模型到NuSMV的转换　第二节　列控系统模型的约简　第三节　列控系统规范验证结果分析　本章参考文献第七章　实例分析  第一节　背景介绍  第二节　需求规范管理  第三节　CTCS一3级系统需求规范的UML建模  第四节　NuSMV转换  第五节　验证结果分析  本章参考文献附录A　NuSMV系统简介附录B　系统开发模型介绍

章节摘录

　　（2）属性　　一个类可以有一个或多个属性，或者没有属性。属性用来描述该类的对象所具有的静态特征。类的属性分为两类：一类属性代表的状态可以被其他对象存取；另一类属性代表的是对象的内部状态，它们只能够被类的操作所存取。属性必须命名，以区别类的其他属性。当一个类的属性被完整地定义后，它的任何一个对象的状态都被这些属性的特定取值所决定。在需求分析阶段，只抽取那些系统中需要使用的特征作为类的属性。　　正如变量有类型一样，属性也是有类型的，属性的类型反映属性的种类。比如，属性的类型可以是整型、实型、布尔型、枚

用户评论 (总计1条)

•   可以作为对列控系统的了解读物