-
题名安全计算机通信管理机制的形式化验证与实现
被引量：8
- 1
-
-
作者
梁靓
曹源
马连川
张玉琢
李恒奎
-
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通运行控制系统国家工程研究中心
中车青岛四方机车车辆股份有限公司
-
出处
《通信学报》
EI
CSCD
北大核心
2016年第11期196-202,共7页
-
基金
国家自然科学基金资助项目(No.U1534208)~~
-
文摘
为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU,micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
-
关键词
列控系统
安全计算机
通信管理机制
形式化验证
-
Keywords
train control system, safety computer, communication management mechanism, formal verification
-
分类号
U285.41
[交通运输工程—交通信息工程及控制]
-
-
题名CSCW系统的群组通信管理机制
被引量：2
- 2
-
-
作者
贾旸
李磊
孙济洲
-
机构
天津大学电子信息工程学院
-
出处
《计算机应用》
CSCD
北大核心
2003年第4期50-53,共4页
-
文摘
文中提出了一种新的群组通信系统CSCWGroup系统 ,建立了适用于该环境中的系统架构 -客户 /服务器簇结构 ,并提供了相应的系统管理机制 ,包括消息传递管理机制和用户关系管理机制 ,使系统具有很好的容错性、可扩展性和灵活性。
-
关键词
CSCW系统
群组通信管理机制
稀疏分布
消息管理
用户关系管理
局域网
广域网
计算机网络
-
Keywords
group communication
CSCW
wide area network
distribute dispersedly
message communication management
membership management
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
