计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 30-34.doi: 10.11896/j.issn.1002-137X.2017.04.007

• NASAC 2015 • 上一篇    下一篇

面向软件安全性需求分析过程的追踪模型

郑培真,苑春春,刘超,吴际,杨海燕,胡宁   

  1. 北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,北京航空航天大学计算机学院 北京100191,中航工业西安航空计算技术研究所 西安710065
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受某国家重点科研项目(MJ-S-2012-05)资助

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

摘要: 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。

关键词: 追踪性,软件安全性需求,安全性分析

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   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .