Разработка требований к программному обеспечению в критически важных системах

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.