Preview

Труды Института системного программирования РАН

Расширенный поиск

Управление требованиями к ответственным системам. Обзор решений

https://doi.org/10.15514/ISPRAS-2019-31(1)-2

Аннотация

Требования являются неотъемлемой частью любого процесса разработки программных и аппаратных систем. Особенно тщательно относятся к требованиям при работе над ответственными системами, использование которых связано с риском для человеческой жизни. Разработка таких систем, как правило, контролируется сертифицирующими органами, требующими применения лучших практик с целью обеспечения безопасности разрабатываемого продукта. В статье рассматривается один из подходов к организации работы с требованиями, который сформировался на основе опыта разработки бортового оборудования гражданских воздушных судов и получил распространение в других отраслях. Приводится набор типовых задач, возникающих при таком подходе. Отталкиваясь от выделенного набора типовых задач формируется методика рассмотрения и оценки инструментов управления требованиями. Предложенная методика применяется для анализа ряда коммерческих и свободно распространяемых инструментов и в заключении формулируются выводы относительно их применения для управления требованиями в проектах по разработке ответственных систем.

Об авторах

Алексей Владимирович Хорошилов
Институт системного программирования им. В.П. Иванникова РАН, Московский физико-технический институт, Московский государственный университет имени М. В. Ломоносова, НИУ “Высшая школа экономики”
Россия


Наталья Кирилловна Горелиц
Государственный научно-исследовательский институт авиационных систем
Россия


Денис Степанович Кильдишев
Институт системного программирования им. В.П. Иванникова РАН
Россия


Список литературы

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. В.В. Кулямин, Н.В. Пакулин, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Формализация требований на практике. Препринт No. 13 ИСП РАН, 2006, 70 стр.

6. Requirements management: A practice guide, PMI, 2016, 82 p.

7. Карл И. Вигерс. Разработка требований к программному обеспечению. Русская редакция, 2004, 576 стр.

8. Руководство Р-4754А по разработке воздушных судов гражданской авиации и систем. М., АР МАК, 2016, 131 стр.

9. SAE ARP4754A. Guidelines for Development of Civil Aircraft and Systems. 2010.

10. Квалификационные требования КТ-178C. Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники. М., АР МАК, 2016, 131 стр.

11. Software Considerations in Airborne Systems and Equipment Certification (RTCA DO-178C), 2011.

12. Квалификационные требования КТ-254. Руководство по гарантии конструирования бортовой электронной аппаратуры. М., АР МАК, 2011, 89 стр.

13. Design Assurance Guidance for Airborne Electronic Hardware (RTCA DO-254), 2000.

14. Горелиц Н.К., Гукова А.С., Песков Е.В. Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности. Труды ИСП РАН, том 30, вып. 4, 2018 г., стр. 63-78. DOI: 10.15514/ISPRAS-2018-30(4)-4

15. Joy Beatty, Megan Jackson Stowe et al. Requirements Management Tool Evaluation Report. Seileve, 2016.

16. Сабуров М.А., Синицын С.В. Роль учета состояния конфигурации программной продукции в управлении проектами. Авиакосмическое приборостроение, 2008, № 6, стр. 2-6.

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, дата обращения 20.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, дата обращения 20.12.2019

24. И.В. Ковернинский, А.В. Кан, В.Б. Волков, Ю.С. Попов, Н.К. Горелиц. Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли. Труды ИСП РАН, том 28, вып. 2, 2016, стр. 173-180. 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, дата обращения 20.12.2019

26. ReqView Documentation Contents. URL: https://www.reqview.com/doc/welcome.html, дата обращения 20.12.2019

27. Jama Software. URL: https://community.jamasoftware.com, дата обращения 20.12.2019

28. Polarion ALM Platform Online Help System. URL: https://almdemo.polarion.com/polarion/help/index.jsp, дата обращения 20.12.2019

29. rmToo – Requirements Management Tool. URL: http://rmtoo.florath.net/, дата обращения 20.12.2019

30. aNimble Platform. URL: https://sourceforge.net/projects/nimble/http://rmtoo.florath.net/, дата обращения 20.12.2019

31. ProR ProR Requirements Engineering Platform. URL: http://www.eclipse.org/rmf/pror/, дата обращения 20.12.2019

32. Requality: руководство пользователя. URL: http://requality.org/ru/doc.ru.html, дата обращения 20.12.2019

33. Кильдишев Д.С., Хорошилов А.В. Формализация метамодели системы управления требованиями. Труды ИСП РАН, том 30, вып. 5, 2018 г., стр. 163-176. DOI: 10.15514/ISPRAS-2018-30(5)-10.


Рецензия

Для цитирования:


Хорошилов А.В., Горелиц Н.К., Кильдишев Д.С. Управление требованиями к ответственным системам. Обзор решений. Труды Института системного программирования РАН. 2019;31(1):25-48. https://doi.org/10.15514/ISPRAS-2019-31(1)-2

For citation:


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



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)