Please use this identifier to cite or link to this item: http://earchive.tpu.ru/handle/11683/23245
Title: Разработка требований к программному обеспечению в критически важных системах
Other Titles: Analyzing embedded device programming specifications in critical system to design programming guidelines
Authors: Королюк, Е. С.
Бразовский, Константин Станиславович
metadata.dc.contributor.advisor: Бразовский, Константин Станиславович
Keywords: программное обеспечение; микроконтроллеры; стандарты; СИ; платформы
Issue Date: 2016
Citation: Королюк Е. С. Разработка требований к программному обеспечению в критически важных системах / Е. С. Королюк, К. С. Бразовский ; науч. рук. К. С. Бразовский // Инженерия для освоения космоса : сборник научных трудов IV Всероссийского молодежного форума с международным участием, г. Томск, 12-14 апреля 2016 г. — Томск : Изд-во ТПУ, 2016. — [С. 249-252].
Abstract: Безопасность программного обеспечения является важной характеристикой, показывающей вероятность правильности работы программы при различных условиях эксплуатации. Однако разработчики встроенного программного обеспечения не всегда уделяют должное внимание этому аспекту, особенно в критически важных системах. В данной работе рассматриваются международные стандарты и сертификаты безопасности программного обеспечения. На основе исходного кода снятого с производства электрохирургического медицинского аппарата ЭХВЧ-80 компании НПО "НИКОР" анализируются вопросы обоснованности выбора языка программирования и использованной архитектуры. Приводится алгоритм работы программы, а также описаны основные задачи, выполняемые микроконтроллером. В заключительной части статьи, на основе анализа программного обеспечения автор предлагает рекомендации по упрощению поддержки и возможные варианты уменьшения ошибок, как в коде, так и в архитектуре разрабатываемого приложения. Результаты исследования позволяют повысить безопасность ПО, особенно в критически важных системах.
Software safety is an important characteristic, which indicates the probability of correct program operationunder different operating conditions. However, embedded software developers do not always focus on this aspect,especially in critical systems. The present article discusses the international software security standards andcertificates. The author studies the source code of the presently discontinued electrosurgical device EHVCh-80 byNPO "NIKOR" and analyzes the issues of validity of choosing the programming language and architecture. Thepaper provides the algorithm of the program's operation and describes the main tasks performed by themicrocontroller. In conclusion, the author uses the results of this software's analysis to offer recommendations tosimplify software support and possible options to reduce errors, both in the code and in the architecture of thedeveloped application. The results of this research allow increasing software safety, especially in critical systems.
URI: http://earchive.tpu.ru/handle/11683/23245
Appears in Collections:Материалы конференций

Files in This Item:
File SizeFormat 
conference_tpu-2016-C22_p250-253.pdf717,31 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.