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

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