CAJ | 학술논문

航空、铁路和汽车等领域的关键系统往往需要经过正式的安全认证过程。正式的安全认证过程的目的就是确保上述关键系统将会安全工作，对于用户、公众或者环境并不产生任何不当风险。对于安全性的保证一般通过对于安全标准的标准符合性实现。证明对于安全标准的标准符合性包括提供表明符合安全标准的安全准则的证据。为了应对大型关键系统的结构复杂性和由此产生的证明标准符合性需要证据信息的数量巨大性，安全人员需要有助于将证据信息划分成各种证据类型，以及安排证据的结构、进行证据的深入评估。本文建立对于属于安全证据的信息、痕迹进行分类的分类体系，并且审查现有安全证据组织和评估技巧，然后研究作为学术文献研究对象的有关挑战。此外本文分析不同应用领域的研究结果的共性，讨论研究结果对于研究和实践的影响。
항공、철로화기차등영역적관건계통왕왕수요경과정식적안전인증과정。정식적안전인증과정적목적취시학보상술관건계통장회안전공작，대우용호、공음혹자배경병불산생임하불당풍험。대우안전성적보증일반통과대우안전표준적표준부합성실현。증명대우안전표준적표준부합성포괄제공표명부합안전표준적안전준칙적증거。위료응대대형관건계통적결구복잡성화유차산생적증명표준부합성수요증거신식적수량거대성，안전인원수요유조우장증거신식화분성각충증거류형，이급안배증거적결구、진행증거적심입평고。본문건립대우속우안전증거적신식、흔적진행분류적분류체계，병차심사현유안전증거조직화평고기교，연후연구작위학술문헌연구대상적유관도전。차외본문분석불동응용영역적연구결과적공성，토론연구결과대우연구화실천적영향。