Preview

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

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

Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности

https://doi.org/10.15514/ISPRAS-2018-30(4)-4

Полный текст:

Аннотация

На сегодняшний день в авиационной отрасли существует актуальная проблема - как инструментально поддержать и обеспечить сертифицируемость разработки критичных по безопасности сложных систем в соответствии с международными и отечественными отраслевыми стандартами, нормативными документами, такими как КТ-178С, КТ-254, Р-4754, Р 4761 и др. В статье рассматривается процесс управления конфигурацией при разработке по КТ-178С как основной источник критериев для осуществления выбора инструментального средства поддержки разработки. Выделенные критерии могут быть применены к инструменту поддержки всего жизненного цикла разработки авиационного ПО в соответствии с КТ-178С, а также к инструментам, отвечающим за поддержку отдельных процессов жизненного цикла. Мероприятия процесса управления конфигурацией обеспечивают работу с данными жизненного цикла, их хранение, целостность, безопасность, управляемость, информационную поддержку обмена данными между остальными процессами жизненного цикла, ведение истории изменений и т.п. Соблюдение принципов процесса управления конфигурацией позволяет осуществлять контроль разработки, обеспечить требуемые качество и надежность продукта, его сертифицируемость и необходимый уровень доверия к безопасности, снизить финансовые и временные затраты на разработку. В качестве примера использования критериев приведен анализ одного из распространенных в отрасли инструментов разработки и управления требованиями на соответствие указанным критериям.

Об авторах

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


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


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


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

1. Квалификационные требования часть 178B, 2002 - АР МАК.

2. Квалификационные требования часть 178C, 2014 - АР МАК.

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

4. Software Tool Qualification Considerations (RTCA DO-330), 2011.

5. Руководство Р4754 по процессам сертификации высокоинтегрированных сложных бортовых систем воздушных судов гражданской авиации. АР МАК, 2010

6. Руководство 4761 по методам оценки безопасности систем и бортового оборудования воздушных судов гражданской авиации, 2010

7. Приказ Министерства промышленности и торговли РФ от 31 марта 2015 г. N 663 "Об утверждении отраслевого плана мероприятий по импортозамещению в отрасли гражданского авиастроения Российской Федерации" (с изменениями и дополнениями)

8. Горелиц Н.К., Песков Е.В., “Управление требованиями как критерий эффективности при разработке программного обеспечения в авиационной отрасли”, Сборник трудов VIII Международной конференции “ИТ-Стандарт 2017”. Москва, 2017, стр. 105-113, ISBN 978-5-98597-346-4

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

10. Сабуров М.А., Солоделов Ю.А., Горелиц Н.К. Разработка сертифицируемого бортового программного обеспечения на примере операционной системы реального времени JetOS. Навигация, наведение и управление летательными аппаратами: тезисы докл. Третьей Всерос. научно-технической конф. (Москва - Раменское 21-22 сент. 2017 г.), 2017, стр. 241-243, ISBN: 978-5-93728-133-3.

11. ГОСТ Р 57193 Системная и программная инженерия. Процессы жизненного цикла систем, 2016

12. Koverninsky I.V., Kan A.V., Volkov V.B., Popov Yu.S., Gorelits N.K. Practical experience of software and system engineering approaches in requirements management for software development in aviation industry. Trudy ISP RAN/Proc. ISP RAS, vol. 28, issue 2, 2016, pp.173-179. DOI: 10.15514/ISPRAS-2016-28(2)-11


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


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

For citation:


Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):63-78. https://doi.org/10.15514/ISPRAS-2018-30(4)-4

Просмотров: 169


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


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