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

《模型驱动的安全关键系统标准符合性验证方法》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、模型驱动的安全关键系统标准符合性验证方法陈杰等2017年6月第48卷第2期(总第168期)模型驱动的安全关键系统标准符合性验证方法12陈杰，陈飞羽(1.中国民用航空上海航空器适航审定中心，上海200335；2.复旦大学航空航天数据研究中心，上海200433)[摘要]大部分安全关键系统都需要进行安全认证，以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法，该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状，介绍了其标准符合性验证方法的概念、模

2、型和框架，并将其与传统的方法进行比较分析，为我国安全关键系统的标准符合性验证提供借鉴。[关键词]安全关键系统；安全证据；安全标准建模；模型驱动[中图分类号]V328[文献标识码]A[DOI编码]10.3969/j.issn.1006-141X.2017.02.02[文章编号]1006-141X（2017）02-0005-006Model-DrivenApproachinSafetyComplianceVerificationforSafety-CriticalSystems12CHENJie,CHENFei-yu(1.ShanghaiAircraftAirworthin

3、essCertificationCenterofCAAC,Shanghai200335,China;2.AerospacedataResearchCenter,FudanUniversity,Shanghai200433,China）Abstract:Mostofthesafety-criticalsystemsareinneedofsafetycomplianceverificationtoensurethattheydonotcauseundueharmtopeople,propertyortheenvironment.However,providingeviden

4、ceforsafetycomplianceverificationischallenging.Model-drivenapproachhasbeenproposedbyresearcherstoaddressthedifficultieswithcollectingchainofevidenceandverifyingsafetycomplianceinsafetycomplianceverificationforsafety-criticalsystems.Here,thepresentresearchstatusofmodel-drivenapproachinsaf

5、etycomplianceverificationforsafety-criticalsystemsispresented,aswellastheconcepts,modelsandframeworksoftheapproach.Moreover,itsdifferencefromtraditionalmethodsisdiscussedinthehopeofprovidingreferenceforthesafetycomplianceverificationforsafety-criticalsystemsinChina.Keywords:safety-critic

6、alsystem;safetyevidence;safetystandardmodeling;model-driven关键系统在运行过程中不会对人员、财产、环境0引言等造成伤害，需要对其进行安全认证。通常安全安全关键系统（safety-criticalsystem）是一类认证需要由第三方机构来检查系统的过程和产品系统故障可能造成人员伤亡、重大经济损失等严是否符合特定的安全标准。目前，第三方对系统重后果的系统。航空航天、铁道、汽车等领域的的提供方提出越来越多以安全例（safetycase）形式很多软件系统都属于安全关键系统。为确保安全证实系统安全性的要求，其中包含系统标准

7、符合·5·June,2017Vol.48No.2(serialNo.168)航空电子技术AVIONICSTECHNOLOGY性（standardcompliance）的目标、论证与证据。这构化HTML、结构化文字等）。采用一定的方法对一方面要求提供方在系统中采集与危险分析、测上述经组织的安全证据进行充分性分析，其中定试结果、活动记录有关的证据以证实系统达成了性的分析包括安全证据保证等级（SEAL：Safety安全标准的要求；另一方面，要求对这类证据信EvidenceAssuranceLevels）、安全保证等级（SAL：[1]息进行管理，