Разработка требований к программному обеспечению в критически важных системах; Инженерия для освоения космоса
| Parent link: | Инженерия для освоения космоса.— 2016.— [С. 249-252] |
|---|---|
| Glavni avtor: | |
| Korporativna značnica: | |
| Drugi avtorji: | |
| Izvleček: | Заглавие с экрана Безопасность программного обеспечения является важной характеристикой, показывающей вероятность правильности работы программы при различных условиях эксплуатации. Однако разработчики встроенного программного обеспечения не всегда уделяют должное внимание этому аспекту, особенно в критически важных системах. В данной работе рассматриваются международные стандарты и сертификаты безопасности программного обеспечения. На основе исходного кода снятого с производства электрохирургического медицинского аппарата ЭХВЧ-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. |
| Jezik: | ruščina |
| Izdano: |
2016
|
| Serija: | Использование космических технологий для биомедицинской инженерии и мониторинга природной среды |
| Teme: | |
| Online dostop: | http://earchive.tpu.ru/handle/11683/23245 |
| Format: | Elektronski Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=617948 |
MARC
| LEADER | 00000naa2a2200000 4500 | ||
|---|---|---|---|
| 001 | 617948 | ||
| 005 | 20260902154938.0 | ||
| 035 | |a (RuTPU)RU\TPU\conf\16309 | ||
| 035 | |a RU\TPU\conf\16308 | ||
| 090 | |a 617948 | ||
| 100 | |a 20160506d2016 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Разработка требований к программному обеспечению в критически важных системах |d Analyzing embedded device programming specifications in critical system to design programming guidelines |f Е. С. Королюк, К. С. Бразовский |g науч. рук. К. С. Бразовский | |
| 203 | |a Текст |c электронный | ||
| 225 | 1 | |a Использование космических технологий для биомедицинской инженерии и мониторинга природной среды | |
| 300 | |a Заглавие с экрана | ||
| 320 | |a [Библиогр.: с. 252 (7 назв.)] | ||
| 330 | |a Безопасность программного обеспечения является важной характеристикой, показывающей вероятность правильности работы программы при различных условиях эксплуатации. Однако разработчики встроенного программного обеспечения не всегда уделяют должное внимание этому аспекту, особенно в критически важных системах. В данной работе рассматриваются международные стандарты и сертификаты безопасности программного обеспечения. На основе исходного кода снятого с производства электрохирургического медицинского аппарата ЭХВЧ-80 компании НПО "НИКОР" анализируются вопросы обоснованности выбора языка программирования и использованной архитектуры. Приводится алгоритм работы программы, а также описаны основные задачи, выполняемые микроконтроллером. В заключительной части статьи, на основе анализа программного обеспечения автор предлагает рекомендации по упрощению поддержки и возможные варианты уменьшения ошибок, как в коде, так и в архитектуре разрабатываемого приложения. Результаты исследования позволяют повысить безопасность ПО, особенно в критически важных системах. | ||
| 330 | |a 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. | ||
| 463 | 0 | |0 (RuTPU)RU\TPU\conf\16265 |t Инженерия для освоения космоса |o сборник научных трудов IV Всероссийского молодежного форума с международным участием, г. Томск, 12-14 апреля 2016 г. |f Национальный исследовательский Томский политехнический университет (ТПУ) |v [С. 249-252] |d 2016 | |
| 510 | 1 | |a Analyzing embedded device programming specifications in critical system to design programming guidelines |z eng | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a программное обеспечение | |
| 610 | 1 | |a микроконтроллеры | |
| 610 | 1 | |a стандарты | |
| 610 | 1 | |a Си | |
| 610 | 1 | |a платформы | |
| 700 | 1 | |a Королюк |b Е. С. |c химик-технолог |c инженер Томского политехнического университета |f 1993- |g Евгений Сергеевич |3 (RuTPU)RU\TPU\pers\46595 | |
| 701 | 1 | |a Бразовский |b К. С. |c специалист в области электроники |c кандидат медицинских наук, доцент Томского политехнического университета |f 1971- |g Константин Станиславович |3 (RuTPU)RU\TPU\pers\32927 |9 16775 | |
| 702 | 1 | |a Бразовский |b К. С. |c специалист в области электроники |c кандидат медицинских наук, доцент Томского политехнического университета |f 1971- |g Константин Станиславович |4 727 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт неразрушающего контроля (ИНК) |b Кафедра промышленной и медицинской электроники (ПМЭ) |3 (RuTPU)RU\TPU\col\18719 |
| 801 | 2 | |a RU |b 63413507 |c 20201012 |g RCR | |
| 856 | 4 | |u http://earchive.tpu.ru/handle/11683/23245 | |
| 942 | |c BK | ||