计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 30-34.doi: 10.11896/j.issn.1002-137X.2017.04.007
郑培真,苑春春,刘超,吴际,杨海燕,胡宁
ZHENG Pei-zhen, YUAN Chun-chun, LIU Chao, WU Ji, YANG Hai-yan and HU Ning
摘要： 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
| [1] Guidelines and methods for conducting the safety assessmentprocess on civil airborne systems and equipment:ARP 4761[S].Society of Automotive Engineers,December 1996. [2] Software Considerations in Airborne Systems and EquipmentCertification:DO 178C[S].2011. [3] Functional safety of electrical/electronic/programmable electronicsafety-related systems:IEC 61508[S].International Electrotechnical Commission,April 2010. [4] Safety management requirements for defence systems containing programmable electronics:Defence standard 00-56[S].Ministry of Defence,UK,1995. [5] MENON C,KELLY T.Eliciting software safety requirements in complex systems[C]∥2010 4th Annual IEEE Systems Con-ference.IEEE,2010:616-621. [6] BASHIR M F,QADIR M A.Traceability Techniques:A Critical Study[C]∥Multitopic Conference,2006(INMIC’06).IEEE,2006:23-24. [7] WINKILER S,PILGRIM J V.A survey of traceability in re-quirements engineering and model-driven development[J].Software and Systems Modeling,Springer Berlin,2010,9(4):529-565. [8] RAMSESH B,JARKE M.Towards reference models for re-quirements traceability[J].IEEE Transactions on Software Engineering,IEEE Press,Piscataway,2001,27(1):58-93. [9] KATTA V,STLHANE T.A conceptual model of traceability for safety systems[C]∥Eletronic Proc.2nd Complex Systems Design & Management Conference (CSD&M 2011).Paris,France,2011. [10] PASPOTNING C,KARPATI P,KATTA V.Enhancing CHASSIS:A Method for Combining Safety and Security[C]∥Unpublished,International Workshop on Security in Air Traffic Mana-gement and other Critical Infrastructures (SecATM2013).2013. [11] RASPOTING C,KARPATI P,KATTA V.CHASSIS Guideline (draft).(2013-06-01).https://bora.uib.no/handle/1956/6172. [12] PAPADOPOULOS Y,MCDERMID J A.The potential canfor a generic approach to certification of safety critical systems in the transportation sector[J].Reliability Engineering and Systems Safety,Elsevier Science,1999,63(1):47-66. [13] KATTA V,STLHANE T.Traceability of safety systems:approach,meta-model and tool support:tech.report HWR-1053[R].OECD Halden Reactor Project,Institute for Energy Technology,2013. [14] LEE G,HOWARD J,ANDERSON P.Safety-critical require-ments specification and analysis using spectrm[C]∥Proceedings of the 2nd Meeting of the US Software System Safety Working Group.Feb 2002. [15] PERALDI-FRATI M A,A LBINET A.Requirement traceability in safety critical systems[C]∥EDCC2010 - Workshop on Critical Automotive Applications:Robustness and Safety (CARS’2010).2010:11-14. [16] KNETHEN A V,PAECH B.A survey on tracing approaches in practice and research:Research Report,ESE-Report,095.01/E[R].Fraunhofer IESE,Kaiserslautern,2002 |
| No related articles found! |
|
||
首页