模型驱动的安全关键系统标准符合性验证方法

Model-Driven Approach in Safety Compliance Verification for Safety-Critical Systems

大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。

Most of the safety-critical systems are in need of safety compliance verification to ensure that they do not cause undue harm to people, property or the environment. However, providing evidence for safety compliance verification is challenging. Model-driven approach has been proposed by researchers to address the difficulties with collecting chain of evidence and verifying safety compliance in safety compliance verification for safety-critical systems. Here, the present research status of model-driven approach in safety compliance verification for safety-critical systems is presented, as well as the concepts, models and frameworks of the approach. Moreover, its difference from traditional methods is discussed in the hope of providing reference for the safety compliance verification for safety-critical systems in China.