基于传感器模型的安全计算机仿真系统

doi:10.3969/j.issn.1000-3428.2013.03.007

计算机工程 ›› 2013, Vol. 39 ›› Issue (3): 31-35,45.doi: 10.3969/j.issn.1000-3428.2013.03.007

所属专题：智能交通专题

基于传感器模型的安全计算机仿真系统

郑重，邱昕夕，陈祥献，黄海

(浙江大学仪器科学与工程学系，杭州 310027)

收稿日期:2012-05-24 出版日期:2013-03-15 发布日期:2013-03-13
作者简介:郑重(1987－)，男，硕士研究生，主研方向：安全计算机，信号系统；邱昕夕，高级工程师；陈祥献，副教授；黄海，教授、博士生导师

Safety Computer Simulation System Based on Sensor Models

ZHENG Zhong, QIU Xin-xi, CHEN Xiang-xian, HUANG Hai

(Department of Instrumental Science and Engineering, Zhejiang University, Hangzhou 310027, China)

Received:2012-05-24 Online:2013-03-15 Published:2013-03-13

摘要/Abstract

摘要： 在安全计算机信号系统的研发与测试中，没有真实的传感器接入会带来测试难、验证难等问题。为此，设计一种基于传感器模型的轨道交通安全计算机平台仿真系统。以真实的传感器为模型基础进行传感器建模，控制真实的硬件输出，通过软硬件结合的方法为安全计算机平台提供真实的输入与输出。同时利用软件修改模型参数，模拟传感器故障，为安全计算机平台提供无损坏的故障注入。测试结果证明，该仿真系统能够有效验证安全计算机平台的安全性、可靠性与可用性，加快安全计算机平台的开发进程。

关键词: 仿真系统, 安全计算机系统, 传感器建模, 无损坏故障注入, 系统建模, 轨道交通

Abstract: In order to overcome the verification and test difficulties caused by the absence of sensors when developing safety computer systems, a model-based simulation system for safety computer system is presented. Modeling on real sensors to control real hardware, by the method of combination of hardware and software, the simulation system provides actual physical input and output signals for safety computer system. At the same time, by modifying the model parameters, it can provide no damage fault injection for safety computer systems. The test results show that the simulation system can effectively verify the security, reliability and availability of safety computer systems and can speed up the development process of safety computer systems.

Key words: simulation system, safety computer system, sensor modeling, no damage fault injection, system modeling, rail transit

中图分类号:

N945

郑重, 邱昕夕, 陈祥献, 黄海. 基于传感器模型的安全计算机仿真系统[J]. 计算机工程, 2013, 39(3): 31-35,45.

ZHENG Chong, QIU Cuan-Xi, CHEN Xiang-Xian, HUANG Hai. Safety Computer Simulation System Based on Sensor Models[J]. Computer Engineering, 2013, 39(3): 31-35,45.

[1]	仵林博,陈小红,彭艳红,聂长海. 基于SysML的嵌入式软件系统建模与验证方法研究[J]. 计算机工程, 2019, 45(1): 1-8.
[2]	唐继孟,孙全欣,杜鹏,陈志杰. 基于标记边的城市轨道交通网络KSP算法[J]. 计算机工程, 2019, 45(1): 292-296,302.
[3]	邹溶,陈祥献,边继东,唐志锋. 面向轨道自动售检票应用的纸币接收机设计[J]. 计算机工程, 2015, 41(6): 6-11.
[4]	王智鹏,罗霞. 城市轨道交通线路中列车节能优化研究[J]. 计算机工程, 2015, 41(6): 24-27,32.
[5]	管爱爱, 邱昕夕, 王东, 陈祥献, 黄海, 刘济全. 基于模型的列车自动防护系统软件开发[J]. 计算机工程, 2013, 39(3): 1-6.
[6]	徐嵩, 孙秀霞, 董文瀚. 一种快速构建/替换模型的通用实时仿真系统[J]. 计算机工程, 2012, 38(3): 14-18.
[7]	阳晟, 邰能灵, 袁成, 崔鹏程. 地下变电站辅机控制仿真系统的研究[J]. 计算机工程, 2012, 38(20): 219-223.
[8]	陶砚蕴, 曹健, 李明禄, 赵时旻, 黄天印, 潘志群. 轨道交通维保数据的P2P发布订阅系统[J]. 计算机工程, 2012, 38(20): 224-227.
[9]	刘攀峰, 邱昕夕, 陈祥献, 黄海, 段会龙. 城市轨道交通列车自动防护系统软件设计[J]. 计算机工程, 2012, 38(19): 1-5.
[10]	陈鹏, 冯冬芹. EPA网络芯片验证与测试[J]. 计算机工程, 2012, 38(08): 264-267.
[11]	张志伟, 刘登第, 朱金辉, 袁坤刚, 王鹤, 蒋道刚. 基于STKX和HLA的空天仿真系统研究[J]. 计算机工程, 2012, 38(06): 259-261.
[12]	曹阳, 宋连春, 王盈. 基于持久化X-Machine的SaaS测试[J]. 计算机工程, 2011, 37(9): 87-89.
[13]	游小明. 轨道交通安全计算机的研究与实现[J]. 计算机工程, 2011, 37(6): 231-233.
[14]	张炜钟, 王智学, 赵文. 基于SysML的可执行体系结构框架[J]. 计算机工程, 2011, 37(22): 39-41.
[15]	姬祥, 董云卫, 王宇英, 凌恒. 组态化嵌入式软件仿真系统设计[J]. 计算机工程, 2011, 37(21): 225-227,231.

基于传感器模型的安全计算机仿真系统

Safety Computer Simulation System Based on Sensor Models

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 10