基于二乘二取二安全计算机的功能安全软件实现  

Implementation of Functional Safety Software Based on a Two by Two Out of Two Secure Computer

作　　者：赵铭 杨会新 吕晗 ZHAO Ming;YANG Huixin;LV Han(Tenants Thinker Rail Transit Technology Research Institute Co.,Ltd.,Zhengzhou,Henan 450000,China;Zhengzhou University of Light Industry,Zhengzhou,Henan 450000,China)

机构地区：[1]河南思维轨道交通技术研究院有限公司,河南郑州450000 [2]郑州轻工业大学,河南郑州450000

出　　处：《自动化应用》2024年第22期150-153,共4页Automation Application

摘　　要：为满足轨道交通行业对安全计算机更高的安全性要求,介绍了二乘二取二安全计算机软件的设计与实现。主要介绍了自检技术与同步技术,并在自主研发的VCP平台上进行了验证测试,最终使软件通过了SLI4等级的安全认证。In order to meet the higher security requirements of the rail transit industry for safety computers,the design and implementation of the two by two out of two secare computer software are introduced.It mainly introduces self checking technology and synchronization technology,and conducts verification testing on the independently developed VCP platform,ultimately enabling the software to pass SLI4 level security certification.

关 键 词：安全计算机 功能安全 自检 同步 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]