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

摘要

从数据编码、故障检测、“故障-安全”处理、数据测试等方面,给出安全关键软件在设计实现阶段的数据安全防护措施,以及提高数据可测性的设计措施,有助于全面防范动、静态数据的系统性失效和随机性失效;最后,提出在数据生产配置阶段,利用离线数据检验工具来提高数据生产效率和数据正确性。