安全关键系统配置数据生成技术研究与实践

介绍一种符合EN50128-2011的安全数据生成方法,包括2个步骤:数据生成工具的开发和安全数据的生成。数据生成工具的开发采用双链工具法,由2个独立的团队开发,每链工具的开发符合EN50128-2011对SIL2软件的开发要求。数据生成过程定义了生成、验证以及确认等活动,每一项活动保证人员的独立性,既避免了安全问题,又提高了配置数据生成的效率。