[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Computer Science ›› 2017, Vol. 44 ›› Issue (4): 30-34.doi: 10.11896/j.issn.1002-137X.2017.04.007

Previous Articles     Next Articles

Traceability Model Oriented to Software Safety Requirement Analysis Process

ZHENG Pei-zhen, YUAN Chun-chun, LIU Chao, WU Ji, YANG Hai-yan and HU Ning   

  • Online:2018-11-13 Published:2018-11-13

Abstract: Traceability is the mechanism or the ability to relate artefacts and the attached factors.Safety-critical system development,besides the general system development,contains more independent safety analysis which generates and verifies system safety requirements.At present,there are few traceability researches oriented to safety analysis process,which are of extremely challenging.Safety related standards,such as ARP-4761,DO 178C,provide guidelines for conducting safety analysis.However,some information may be neglected since there are a lot of concepts and methods.Besides,software safety requirement analysis should include both system to software and software to system safety analysis.Establishing bi-directional traceability of safety related information oriented to software safety requirement analysis process helps to simplify the verification and impact analysis.In this paper,we established a traceability model oriented to software safety requirement analysis process.

Key words: Traceability,Software safety requirements,Safety analysis

[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,STLHANE 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,STLHANE 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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!