论文部分内容阅读
航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作，对于用户、公众或者环境并不产生任何不当风险。对于安全性的保证一般通过对于安全标准的标准符合性实现。证明对于安全标准的标准符合性包括提供表明符合安全标准的安全准则的证据。为了应对大型关键系统的结构复杂性和由此产生的证明标准符合性需要证据信息的数量巨大性，安全人员需要有助于将证据信息划分成各种证据类型，以及安排证据的结构、进行证据的深入评估。本文建立对于属于安全证据的信息、痕迹进行分类的分