Requirements management for safety-critical systems. Overview of solutions
https://doi.org/10.15514/ISPRAS-2019-31(1)-2
Abstract
Requirements are an integral part of any software and hardware development process. The area where requirements become significantly important is the development of safety-critical systems which usage may cause risks on human lives. So the process of their development is often maintained by certification centers that requires from developers to meet the best practices supporting the safety of end product. This article reveals one possible approach to requirements management that was based on experience of embedded hardware development for civil avionics. This approach is now spread over different areas. Authors list the set of common tasks related to given approach. They also define the set of software features used to reduce the complexity of development and to mitigate risks. Authors review set of existing solutions in requirements management area using the listed features. In this article it is also defined on how given features can be applied within the given approach.
About the Authors
Alexey Vladimirovitch Khoroshilov
Ivannikov Institute for System Programming of the Russian Academy of Sciences,
Moscow Institute of physics and technology (State University),
Moscow State University named after M. V. Lomonosov,
National research University “Higher school of economics”
Russian Federation
Russian Federation
Natalia Kirilovna Gorelits
State Research Institute of Aviation Systems
Russian Federation
Russian Federation
Denis Stepanovitch Kildishev
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation
Russian Federation
References
1. ISO/IEC/IEEE 29148 Systems and software engineering – Life cycle processes – Requirements engineering.
2. Dabney, J. B. Return on Investment of Independent Verification and Validation Study Preliminary. Phase 2B Report. NASA, 2003.
3. GAO-06-391 Assessments of Selected Major Weapon Programs, Report to Congressional Committees, United States Government Accountability Office, 2006.
4. GAO-09-326SP Assessments of Selected Major Weapon Programs, Report to Congressional Committees, United States Government Accountability Office, 2009.
5. V.V. Kulyamin, N.V. Pakulin, O.L. Petrenko, A.A. Sortov, A.V. Khoroshilov. Formalization of requirements in practice. Preprint No. 13, ISP RAS, 2006, 70 стр. (in Russian).
6. Requirements management: A practice guide, PMI, 2016, 82 p.
7. Karl Wiegers. Software Requirements, 2nd ed. Microsoft Press, 2003, 544 p.
8. Guideline R-4754A on the development of civil aircraft and systems. M., AR MAK, 2016, 131 p. (in Russian).
9. SAE ARP4754A. Guidelines for Development of Civil Aircraft and Systems. 2010.
10. Qualification requirements CT-178C. Software requirements for onboard equipment and systems for certification of aviation equipment. M., AR MAK, 2016, 131 p. (in Russian).
11. Software Considerations in Airborne Systems and Equipment Certification (RTCA DO-178C), 2011.
12. Qualification Requirements CT-254. Guidance on the warranty design of onboard electronics. M., AR MAK, 2011, 89 p.
13. Design Assurance Guidance for Airborne Electronic Hardware (RTCA DO-254), 2000.
14. Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue 4, 2018, pp. 63-78 (in Russian). DOI: 10.15514/ISPRAS-2018-30(4)-4
15. Joy Beatty, Megan Jackson Stowe et al. Requirements Management Tool Evaluation Report. Seileve, 2016.
16. M.A. Saburov, S.V. Sinitsin. The Role of Software Configuration Status According in Project Management. Aerospace Instrument-Making, No. 6, 2008, pp. 2-6 (in Russian).
17. Requirements Interchange Format, The Object Management Group (OMG), 2016
18. Open Services for Lifecycle Collaboration Requirements Management Specification Version 2.0. IBM, 2012
19. Juan M. Carrillo de Gea, Joaquín Nicolás, José L. Fernández Alemán, Ambrosio Toval, Christof Ebert, Aurora Vizcaíno. Requirements engineering tools: Capabilities, survey and assessment. Information and Software Technology, vol. 54, no. 10, 2012, pp. 1142-1157
20. Rational Unified Process Best Practices for Software Development Teams. Rational Software White Paper, 2001
21. Rational RequisitePro. Version 2003.06.00, Rational Software Corporation, 2006
22. IBM Rational RequisitePro. URL: ftp://ftp.software.ibm.com/software/rational/web/datasheets/reqpro.pdf, accessed20.12.2019
23. Getting started with Rational DOORS Next Generation. URL: https://jazz.net/help-dev/clm/index.jsp?re=1&topic=/com.ibm.rational.rrm.help.doc/topics/c_compose_reqs.html&scope=null, accessed20.12.2019
24. Koverninsky I.V., Kan A.V., Volkov V.B., Popov Yu.S., Gorelits N.K. Practical experience of software and system engineering approaches in requirement management for software development in aviation industry. Trudy ISP RAN/Proc. ISP RAS, vol. 28, issue 2, 2016, pp.173-179 (in Russian). DOI: 10.15514/ISPRAS-2016-28(2)-11
25. Rational solution for Collaborative Lifecycle Management V6.0.6 documentation. URL: https://www.ibm.com/support/knowledgecenter/SSJJ9R_6.0.6/com.ibm.rational.clm.doc/helpindex_clm.html, accessed20.12.2019
26. ReqView Documentation Contents. URL: https://www.reqview.com/doc/welcome.html, accessed20.12.2019
27. Jama Software. URL: https://community.jamasoftware.com, accessed20.12.2019
28. Polarion ALM Platform Online Help System. URL: https://almdemo.polarion.com/polarion/help/index.jsp, accessed20.12.2019
29. rmToo – Requirements Management Tool. URL: http://rmtoo.florath.net/, accessed20.12.2019
30. aNimble Platform. URL: https://sourceforge.net/projects/nimble/http://rmtoo.florath.net/, accessed20.12.2019
31. ProR ProR Requirements Engineering Platform. URL: http://www.eclipse.org/rmf/pror/, accessed20.12.2019
32. Requality: User Manual (in Russian). URL: http://requality.org/ru/doc.ru.html, accessed20.12.2019
33. D.S. Kildishev, A.V. Khoroshilov. Formalizing Metamodel of Requirement Management System. Trudy ISP RAN/Proc. ISP RAS, vol. 30, issue. 5, 2018, pp. 163-176. DOI: 10.15514/ISPRAS-2018-30(5)-10
Review
For citations:
Khoroshilov A.V., Gorelits N.K., Kildishev D.S. Requirements management for safety-critical systems. Overview of solutions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(1):25-48. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(1)-2
Email this article 