Computer Science ›› 2017, Vol. 44 ›› Issue (4): 30-34.doi: 10.11896/j.issn.1002-137X.2017.04.007
Previous Articles Next Articles
ZHENG Pei-zhen, YUAN Chun-chun, LIU Chao, WU Ji, YANG Hai-yan and HU Ning
[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! |
|