<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">sustain</journal-id><journal-title-group><journal-title xml:lang="ru">Надежность</journal-title><trans-title-group xml:lang="en"><trans-title>Dependability</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1729-2646</issn><issn pub-type="epub">2500-3909</issn><publisher><publisher-name>RAMS Journal Limited liability company</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.21683/1729-2646-2025-25-1-58-66</article-id><article-id custom-type="elpub" pub-id-type="custom">sustain-641</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>ФУНКЦИОНАЛЬНАЯ НАДЕЖНОСТЬ СИСТЕМ УПРАВЛЕНИЯ</subject></subj-group></article-categories><title-group><article-title>Методика оценки функциональной надежности компонент программно-аппаратной встраиваемой микропроцессорной системы управления</article-title><trans-title-group xml:lang="en"><trans-title>A methodology for evaluating the functional dependability of the components of an embedded software and hardware microprocessor-based control system</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Климов</surname><given-names>С. М.</given-names></name><name name-style="western" xml:lang="en"><surname>Klimov</surname><given-names>Sergey M.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Сергей М. Климов – доктор технических наук, профессор,  </p><p>Москва.</p></bio><bio xml:lang="en"><p>Sergey M. Klimov, Doctor of Engineering, Professor, </p><p>Moscow.</p></bio><email xlink:type="simple">klimov.serg2012@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Сосновский</surname><given-names>Ю. В.</given-names></name><name name-style="western" xml:lang="en"><surname>Sosnovsky</surname><given-names>Yuri V.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Юрий В. Сосновский – кандидат технических наук, доцент кафедры компьютерной инженерии и моделирования, </p><p>Симферополь.</p></bio><bio xml:lang="en"><p>Yuri V. Sosnovsky, Candidate of Engineering, Senior Lecturer, Department of Computer Engineering and Modeling, </p><p>Simferopol. </p></bio><email xlink:type="simple">yuri.sosnovskij@yandex.ru</email><xref ref-type="aff" rid="aff-2"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Чачиев</surname><given-names>Д. Р.</given-names></name><name name-style="western" xml:lang="en"><surname>Chachiev</surname><given-names>Denis R.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Денис Р. Чачиев – магистр, специалист кафедры компьютерной инженерии и моделирования,</p><p>Симферополь.</p></bio><bio xml:lang="en"><p>Denis R. Chachiev, Master Student, Specialist, Department of Computer Engineering and Modeling, </p><p>Simferopol. </p></bio><email xlink:type="simple">denis.chachiev@mail.ru</email><xref ref-type="aff" rid="aff-2"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>МГТУ им. М.Э. Баумана</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Bauman Moscow State Technical University</institution><country>Russian Federation</country></aff></aff-alternatives><aff-alternatives id="aff-2"><aff xml:lang="ru"><institution>Физико-технический институт Крымского федерального университета им. В.И. Вернадского</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Physics and Technology Institute, Crimean Federal University named after V.I. Vernadsky</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2025</year></pub-date><pub-date pub-type="epub"><day>10</day><month>03</month><year>2025</year></pub-date><volume>25</volume><issue>1</issue><fpage>58</fpage><lpage>66</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Климов С.М., Сосновский Ю.В., Чачиев Д.Р., 2025</copyright-statement><copyright-year>2025</copyright-year><copyright-holder xml:lang="ru">Климов С.М., Сосновский Ю.В., Чачиев Д.Р.</copyright-holder><copyright-holder xml:lang="en">Klimov S.M., Sosnovsky Y.V., Chachiev D.R.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.dependability.ru/jour/article/view/641">https://www.dependability.ru/jour/article/view/641</self-uri><abstract><p>Цель. Выполнить анализ терминологии надежности применительно к встраиваемым программно-аппаратным системам, разработать методику оценки функциональной надежности компонентов программно-аппаратной встраиваемой микропроцессорной системы управления и провести практическую оценку надежности актуальных на сегодняшний день программно-аппаратных компонент уровня встраиваемого компьютера и микроконтроллера для выбора оптимальной структуры системы управления. В качестве объекта управления используется опытный образец медицинского робота, выполняющего функции удержания хирургических инструментов, ранорасширителей по Фараберу и пр. В состав системы робота входит микропроцессорный блок на распространенном одноплатном компьютере, реализующий высокоуровневые функции управления и распознавания голосовых команд, дополнительный микропроцессорный блок для управления сервоприводами и получения входных сигналов, а также исполнительные модули – приводы. Методы. В статье применяются методы анализа библиографических источников, выполнен анализ нерецензируемых сборников документов, ранее закрытых иностранных стандартов и публикаций. Результаты. Представлена методика оценки функциональной надежности компонентов программно-аппаратной встраиваемой микропроцессорной системы управления. Выполнен расчет вероятности безотказной работы программных и аппаратных компонент рассматриваемой системы по статистическим оценкам и по объему кода. Несмотря на различные методы расчета и справочные данные, результаты в целом близки. Также выполнена оценка вероятности безотказной работы программных средств для альтернативной структуры системы управления, когда часть важных функций разделена с дополнительным программно-аппаратным блоком, имеющим более высокий уровень надежности. В данном случае таким блоком является микроконтроллер Atmega32, который будет обеспечивать непосредственное управление работой приводов. Сравнительный анализ результатов показывает, что за счет внедрения дополнительного уровня с частичным распараллеливанием функций и частичным резервированием каналов управления была значительно повышена оценка вероятности безотказной работы системы в заданных условиях. На основании расчетов сформирована структура системы управления с двумя системными уровнями, обладающая высокими значениями вероятности безотказной работы. Заключение. С учетом тенденции к интеграции максимального числа функций в единую микропроцессорную систему, для повышения функциональной надежности предпочтительной схемой является двухуровневое структурное представление функциональной схемы, при котором ключевые задачи в части непосредственной работы с аппаратным окружением перераспределяются в пользу отдельного аппаратного модуля. Кроме того, в рамках встраиваемых систем такой подход часто позволяет выделить нижний системный уровень, работающий в режиме реального времени и верхний системный уровень, отвечающий за высокоуровневые функции, такие как распознавание речи, передачу данных посредством коммуникационных интерфейсов и реализацию функций искусственного интеллекта. Не до конца решенным является вопрос практической оценки надежности встраиваемого программного обеспечения, особенностью которого является отсутствие виртуализации и уровня аппаратной абстракции и, как следствие, тесная взаимосвязь с аппаратной частью и периферией. Очевидно, что во время испытаний недостаточно многократно повторять соответствующие испытания, а целесообразно формировать тестовые комбинации из внешних аппаратных воздействий (аномалий сигнального уровня) и программных воздействий на периферию микроконтроллера.</p></abstract><trans-abstract xml:lang="en"><p>Aim. To analyse the dependability terminology as regards embedded software and hardware systems, to develop a methodology for assessing the functional dependability of the components of embedded software and hardware computer-based control systems, and to conduct a practical assessment of the dependability of the modern software and hardware components of embedded computers and microcontrollers for the purpose of selecting the optimal control system architecture. A prototype medical robot intended for holding surgical instruments, Farabeuf retractors, etc. is used as the controllable object. The robotics system includes a microprocessor unit based on a common single-board computer that implements high-level control and voice command recognition functions, an additional microprocessor unit for controlling servo drives and receiving input signals, as well as the actuating modules, i.e., drives. Methods. The paper uses reference source analysis, analyses non-peer-reviewed collections of documents, previously restricted foreign standards and publications. Results. The author presents a method for assessing the functional dependability of the components of an embedded software and hardware control system. The probability of no failure of software and hardware components of the examined system was calculated based on statistical estimates and on the amount of code. Despite the different calculation methods and reference data, the results are generally close. The paper also estimated the probability of no software failure for an alternative control system architecture, whereas a part of important functions is shared with an additional software and hardware unit having a higher level of dependability. In this case, such is an Atmega32 microcontroller that is to directly control the drives. A comparative analysis of the results shows that the additional level with partially parallelised functions and partial control channel redundancy significantly improved the assessment of the system’s probability of no failure under predefined conditions. Based on the calculated data, the paper defines a control system architecture with two system levels that has high values of probability of no failure. Conclusion. Given the trend of growing numbers of functions being integrated within a single microprocessor-based system, improved functional dependability should be achieved through a two-level functional architectural solution, whereas the key tasks in terms of direct interaction with the hardware environment are redistributed in favour of a separate hardware module. Additionally, as regards embedded systems, such an approach often allows defining a lower, real-time system layer and an upper system layer that is responsible for highlevel functions such as speech recognition, data communication via interfaces, and artificial intelligence. The matter of practical evaluation of embedded software dependability is not yet completely resolved. Such software is characterised by the lack of virtualisation and a level of hardware abstraction, which, in turn, causes a close relationship with the hardware and peripherals. Obviously, repeating the required tests is not enough. Test combinations should include external hardware effects (signal level anomalies) and software effects on the periphery of a microcontroller.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>программно-аппаратные системы</kwd><kwd>встраиваемые системы</kwd><kwd>функциональная надежность</kwd></kwd-group><kwd-group xml:lang="en"><kwd>software and hardware systems</kwd><kwd>embedded systems</kwd><kwd>functional dependability</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Deepa V.V., Thamotharan B., Mahto D. et al. Smart embedded health monitoring system and secure electronic health record (EHR) transactions using blockchain technology // SoftComput. 2023. Vol. 27. Pp. 12741–12756. DOI: 10.1007/s00500-023-08893-4</mixed-citation><mixed-citation xml:lang="en">Deepa V.V., Thamotharan B., Mahto D. et al. Smart embedded health monitoring system and secure electronic health record (EHR) transactions using blockchain technology. SoftComput 2023;27:12741–12756. DOI: 10.1007/s00500-023-08893-4.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Siraj I., Bharti P.S. Reliability analysis of a 3D Printing process // Procedia Computer Science. 2020. Vol. 173. Pp. 191-200. DOI: 10.1016/j.procs.2020.06.023</mixed-citation><mixed-citation xml:lang="en">Siraj I., Bharti P.S. Reliability analysis of a 3D Printing process. Procedia Computer Science 2020;173:191-200. DOI: 10.1016/j.procs.2020.06.023.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Shubinsky I.B., Schäbe H. On the definition of functional reliability // RT&amp;A. 2012. № 4(27). URL: https://cyberleninka.ru/article/n/on-the-definition-of-functionalreliability (дата обращения: 12.08.2024).</mixed-citation><mixed-citation xml:lang="en">Shubinsky I.B., Schäbe H. On the definition of functional reliability. RT&amp;A 2012;4(27). (accessed 12.08.2024). Available at: https://cyberleninka.ru/article/n/on-the-definition-of-functional-reliability.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Burgazzi L. Reliability Evaluation of Passive Systems Through Functional Reliability Assessment // NuclearTechnology. 2003. Vol. 144. DOI: 10.13182/NT144-145.</mixed-citation><mixed-citation xml:lang="en">Burgazzi L. Reliability Evaluation of Passive Systems Through Functional Reliability Assessment. Nuclear Technology 2003;144. DOI: 10.13182/NT144-145.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Шубинский И.Б. Структурная надежность информационных систем. Методы анализа. М.: «Журнал Надежность», 2012. 216 с.</mixed-citation><mixed-citation xml:lang="en">Shubinsky I.B. [Structural dependability of information systems. Analysis methods]. Moscow: Dependability Journal; 2012. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">Ершов Г.А., Семериков В.Н., Семериков Н.В. Чему верить? О системе стандартов «Надежность в технике» // Стандарты и качество. 2018. № 8. С. 14-19.</mixed-citation><mixed-citation xml:lang="en">Yershov G.A., Semerikov V.N., Semerikov N.V. [What to believe? On the system of standards “Dependability in engineering”]. Standarty i kachestvo 2018;8:14-19. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Нетес В.А. Как вернуть доверие? О системе стандартов «Надежность в технике» // Стандарты и качество. 2019. № 2. С. 19-24.</mixed-citation><mixed-citation xml:lang="en">Netes V.А. [How to regain trust? About the system of standards “Dependability in engineering”]. Standarty i kachestvo 2019;2:19-24. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Потапов И.В., Баева М.А. Вопросы терминологии надежности в области программ и программных средств // Надежность. 2015. № 4. С. 65-74. DOI: 10.21683/17292646-2015-0-4-65-74</mixed-citation><mixed-citation xml:lang="en">Potapov I.V., Baeva M.A. Terminology issues related to reliability of programs and software. Dependability 2015;(4):65-74. DOI: 10.21683/1729-2646-2015-0-465-74.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Шубинский И.Б. Методы обеспечения функциональной надежности программ // Надежность. 2014. № 4. С. 87-101. DOI: 10.21683/1729-2646-2014-0-4-87-101</mixed-citation><mixed-citation xml:lang="en">Shubinsky I.B. Methods of software functional dependability assurance. Dependability 2014;(4):87-101. DOI: 10.21683/1729-2646-2014-0-4-87-101.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Нетес В.А. Объект в надежности: определение и содержание понятия // Надежность. 2019. № 19(4). С. 3-7. DOI: 10.21683/1729-2646-2019-19-4-3-7</mixed-citation><mixed-citation xml:lang="en">Netes V.A. Item in dependability: definition and content of the concept. Dependability 2019;19(4):3-7. DOI: 10.21683/1729-2646-2019-19-4-3-7.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Климов С.М., Сосновский Ю.В. Методика оценки защищенности микропроцессорных систем управления в условиях информационно-технических воздействий // Надежность. 2018. № 18(4). С. 36-44. DOI: 10.21683/1729-2646-2018-18-4-36-44</mixed-citation><mixed-citation xml:lang="en">Klimov S.M., Sosnovsky Yu.V. Method of assessing the protection of computer-based control systems under information technology interference. Dependability 2018; 18(4):36-44. DOI: 10.21683/1729-1729-26462018-18-4-44.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Капур К., Ламберсон Л. Надежность и проектирование систем / под ред. И.А. Ушакова. Пер. с англ. М.: «Мир», 1980. 604 с., ил.</mixed-citation><mixed-citation xml:lang="en">Kapur K., Lamberson L. Ushakov I.A., editor. Reliability in Engineering Design. Moscow: Mir; 1980.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Системное обоснование концептуальных положений применения передовых космических технологий / под ред. В.М. Буренка и А.Е. Тюлина. М.: Инновационное машиностроение, 2023. 372 с., ил.</mixed-citation><mixed-citation xml:lang="en">Burenok V.M., Tyulin A.E., editors. [Systematic substantiation of the conceptual provisions of the application of advanced space technologies]. Moscow: Innovatsionnoye mashinostroyeniye; 2023. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Littlewood B., Strigini L. Validation of Ultra-High Dependability for Software-based Systems // Commun. ACM. 1993. Vol. 36. Pp. 69-80. DOI: 10.1145/163359.163373</mixed-citation><mixed-citation xml:lang="en">Littlewood B., Strigini L. Validation of Ultra-High Dependability for Software-based Systems. Commun. ACM 1993;36:69-80. DOI: 10.1145/163359.163373.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Предложение по определению эксплуатационной надежности программного обеспечения сложных технических систем / А.С. Белов, М.М. Добрышин, А.Н. Горшков, Д.Е. Шугуров // Известия Тульского государственного университета. Технические науки. 2022. № 9. С. 143-148. DOI: 10.24412/2071-6168-20229-143-148</mixed-citation><mixed-citation xml:lang="en">Belov A.S., Dobrynin M.M., Gorshkov A.A., Shugurov D.E. Proposal for determining the operational reliability of software complex technical systems. News of the Tula state university. Technical sciences 2022;9:143-148. DOI: 10.24412/2071-6168-2022-9-143-148. (in Russ.)</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Ивутин А.Н., Суслин А.А. О некоторых применениях статистических распределений в оценке надежности программного обеспечения // Известия ТулГУ. Технические науки. 2011. № 2. С. 568-575.</mixed-citation><mixed-citation xml:lang="en">Ivutin A.N., Suslin A.A. Some remarkable appliances of statistical distributions in software reliability estimation. News of the Tula state university. Technical sciences 2011;2:568-575. (in Russ.)</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
