-
题名CBTC中安全通信协议的设计与仿真研究
被引量：6
- 1
-
-
作者
杨明
邱昕夕
陈祥献
黄海
-
机构
浙江大学仪器科学与工程学系
-
出处
《计算机工程》
CAS
CSCD
2012年第19期241-246,共6页
-
基金
国家科技支撑计划基金资助项目(2011BAG01B03)
-
文摘
依据欧洲标准EN50159设计一种用于CBTC各子系统间通信的安全通信协议。该协议面向连接,采用序列号、超时检测、安全编码等多种安全措施,在通信异常发生时,具备故障导向安全能力。借助OPNET仿真环境对协议的实时性进行分析。仿真结果表明,通过在仿真中注入链路故障协议验证故障导向安全功能,该协议能够满足CBTC系统的应用需求。
-
关键词
欧洲标准EN50159
CBTC系统
安全通信协议
OPNET仿真环境
-
Keywords
European standard EN50159
Communication Based Train Control（CBTC） system
safety-critical communication protocol
OPNET simulation environment
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名城市轨道交通列车自动防护系统软件设计
被引量：4
- 2
-
-
作者
刘攀峰
邱昕夕
陈祥献
黄海
段会龙
-
机构
浙江大学生物医学工程与仪器科学学院
浙江大学信号系统研发中心
-
出处
《计算机工程》
CAS
CSCD
2012年第19期1-5,共5页
-
基金
国家科技支撑计划基金资助项目(2011BAG01B03)
-
文摘
从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。
-
关键词
城市轨道交通
信号系统
列车自动防护
安全软件设计
安全制动模型
自动折返
-
Keywords
urban rail transit
signal system
Automatic Train Protection（ATP）
safe software design
safe braking model
automatic turn-back
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名基于模型的列车自动防护系统软件开发
被引量：3
- 3
-
-
作者
管爱爱
邱昕夕
王东
陈祥献
黄海
刘济全
-
机构
浙江大学生物医学工程与仪器科学学院
-
出处
《计算机工程》
CAS
CSCD
2013年第3期1-6,共6页
-
基金
国家科技支撑计划基金资助项目(2011BAG01B03)
-
文摘
列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大。为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发。仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入。
-
关键词
城市轨道交通
列车自动防护
应用软件
接口模型
状态模型
控制流模型
-
Keywords
urban rail transit
Automatic Train Protection（ATP）
application software
interface model
status model
control flow model
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名区县级环境保护网络信息管理系统的开发与实现
被引量：2
- 4
-
-
作者
邱昕夕
张清宇
施耀
-
机构
浙江大学环境科学与工程系
-
出处
《环境保护》
CAS
CSSCI
北大核心
1999年第6期11-12,44,共3页
-
文摘
本文针对区县级环保机构的任务繁重、工作量大、业务面广的特点开发了计算机网络信息管理系统，在实际应用中，收到了良好的效果。不仅加强了环保管理工作的规范化、有序化，而且加大了环保管理工作的力度，将环保管理提高到一个新的高度。
-
关键词
MIS
环境保护
网络
信息管理系统
区县级
-
分类号
X3－39
[环境科学与工程—环境工程]
-
-
题名基于UML的列车自动防护系统需求建模研究
被引量：1
- 5
-
-
作者
刘攀峰
邱昕夕
陈祥献
黄海
段会龙
-
机构
浙江大学生物医学工程与仪器科学学院
浙江大学信号系统研发中心
-
出处
《计算机科学》
CSCD
北大核心
2012年第B06期478-481,共4页
-
文摘
针对列车自动防护系统(ATP)对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。
-
关键词
列车自动防护
需求建模
统一建模语言
形式化方法
安全性
-
Keywords
Automatic train protection； Requirement modeling； UML； Formal method； Safety
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于传感器模型的安全计算机仿真系统
- 6
-
-
作者
郑重
邱昕夕
陈祥献
黄海
-
机构
浙江大学仪器科学与工程学系
-
出处
《计算机工程》
CAS
CSCD
2013年第3期31-35,45,共6页
-
文摘
在安全计算机信号系统的研发与测试中,没有真实的传感器接入会带来测试难、验证难等问题。为此,设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模型基础进行传感器建模,控制真实的硬件输出,通过软硬件结合的方法为安全计算机平台提供真实的输入与输出。同时利用软件修改模型参数,模拟传感器故障,为安全计算机平台提供无损坏的故障注入。测试结果证明,该仿真系统能够有效验证安全计算机平台的安全性、可靠性与可用性,加快安全计算机平台的开发进程。
-
关键词
仿真系统
安全计算机系统
传感器建模
无损坏故障注入
系统建模
轨道交通
-
Keywords
simulation system
safety computer system
sensor modeling
no damage fault injection
system modeling
rail transit
-
分类号
N945
[自然科学总论—系统科学]
-
