期刊文献+

iLOCK型计算机联锁开发中的需求开发管理 被引量:2

Requirement and Management in the Development of iLOCK CBI System
下载PDF
导出
摘要 根据CMMI模型和EN50128标准,结合i LOCK计算机联锁系统的开发过程,介绍了安全苛求系统开发过程中的需求开发和管理。 According to CMMI model and EN50128 model,the requirements development and requirement management of safety-critical system is introduced in combination with the development process of i LOCK CBI system.
作者 黄敏
出处 《铁道通信信号》 2016年第11期41-44,共4页 Railway Signalling & Communication
关键词 需求开发 需求管理 安全苛求系统 Requirement development Requirement management Safety-critical system
  • 相关文献

参考文献2

二级参考文献12

  • 1中华人民共和国铁道部.CTCS-3级列控系统系统需求规范(SRS)[M].北京:中国铁道出版社,2009. 被引量:3
  • 2[美]威伊格斯(KarlE Wiegers)著,陆丽娜等译.软件需求.北京:机械工业出版社,2000.7 被引量:1
  • 3Paulk M C. et al. Key Practices of the Capability Maturity Model SM , Version 1.1. Mary Beth Chrissis , Marilyn Bush: [CMU/SEI-93-TR-025] 被引量:1
  • 4Thyer R H, Dorfman M,eds . Software Requirements Engineering, 2d ed. Los Alamitos ,CA: IEEE Computer Society Press, 1997 被引量:1
  • 5I Sommerville, Sawyer P. Requirements Engineering: A Good Practice Guide. Chichester,England:John Wiley&Sons. 1997 被引量:1
  • 6McConnell S. Rapid Development: Taming Wild Software Schedules . Redmond. WA: Microsoft Press. 1998. Software Project Survival Guild. Redmond WA: Microsoft Press, 1996 被引量:1
  • 7CELENEC EN 50128: Railway Applicaiions - Communicat- ions, signaling and processing systems- Software for railway control and protection systems[ S ]. 2001. 被引量:1
  • 8International Standard I EC 61508: Functional Safely of Elec- trical/Electronic/Programmable Electronic SafetyRelated Sys- tems. International Electrotechnical Commission[ S]. 2000. 被引量:1
  • 9Accellera. Property specification language reference manual version 1. 1[EB/OL]. (2004-06-09)[2008-03-02]. http://www. eda.org/vfv/docs/PSL-v 1.1 .pdf. 被引量:1
  • 10Bloem R, Cavada R, Cimatti A ,et al. RATSY-A new Require- ments Analysis Tool withSynthesis[C].Computer Aided Veri-fication, 22nd International Conference. Berlin:Sprin- ger-Verlag, 2010: 425-429. 被引量:1

共引文献12

同被引文献12

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部