Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/23245
Название: Разработка требований к программному обеспечению в критически важных системах
Другие названия: Analyzing embedded device programming specifications in critical system to design programming guidelines
Авторы: Королюк, Е. С.
Бразовский, Константин Станиславович
Научный руководитель: Бразовский, Константин Станиславович
Ключевые слова: программное обеспечение; микроконтроллеры; стандарты; СИ; платформы
Дата публикации: 2016
Библиографическое описание: Королюк Е. С. Разработка требований к программному обеспечению в критически важных системах / Е. С. Королюк, К. С. Бразовский ; науч. рук. К. С. Бразовский // Инженерия для освоения космоса : сборник научных трудов IV Всероссийского молодежного форума с международным участием, г. Томск, 12-14 апреля 2016 г. — Томск : Изд-во ТПУ, 2016. — [С. 249-252].
Аннотация: Безопасность программного обеспечения является важной характеристикой, показывающей вероятность правильности работы программы при различных условиях эксплуатации. Однако разработчики встроенного программного обеспечения не всегда уделяют должное внимание этому аспекту, особенно в критически важных системах. В данной работе рассматриваются международные стандарты и сертификаты безопасности программного обеспечения. На основе исходного кода снятого с производства электрохирургического медицинского аппарата ЭХВЧ-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
Располагается в коллекциях:Материалы конференций

Файлы этого ресурса:
Файл РазмерФормат 
conference_tpu-2016-C22_p250-253.pdf717,31 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.