安全关键软件数据防护措施研究  

Research on Data Protection Measures for Safety-critical Software

作　　者：章慧 Zhang Hui

机构地区：[1]北京交大微联科技有限公司,北京100043

出　　处：《铁道通信信号》2022年第6期21-24,共4页Railway Signalling & Communication

摘　　要：从数据编码、故障检测、“故障-安全”处理、数据测试等方面,给出安全关键软件在设计实现阶段的数据安全防护措施,以及提高数据可测性的设计措施,有助于全面防范动、静态数据的系统性失效和随机性失效;最后,提出在数据生产配置阶段,利用离线数据检验工具来提高数据生产效率和数据正确性。Data safety protection measures for the implementation of safety-critical software is proposed from different aspects of data encoding,fault detection,fail-safe processing and data test along with design measures for promoting the testability of the data,which can protect against both systematic failure and random failure of both dynamic and static data.At last,it is proposed that off-line data verification tools can be used in data production to improve the efficiency of data production and the correctness of the data.

关 键 词：铁路信号 安全关键软件 数据安全 循环冗余校验 数据测试 

分 类 号：U283.2[交通运输工程—交通信息工程及控制]