<?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">bsuir</journal-id><journal-title-group><journal-title xml:lang="ru">Доклады БГУИР</journal-title><trans-title-group xml:lang="en"><trans-title>Doklady BGUIR</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1729-7648</issn><issn pub-type="epub">2708-0382</issn><publisher><publisher-name>БГУИР</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.35596/1729-7648-2021-19-8-72-80</article-id><article-id custom-type="elpub" pub-id-type="custom">bsuir-3249</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><subj-group subj-group-type="section-heading" xml:lang="en"><subject>ELECTRONICS, RADIOPHYSICS, RADIOENGINEERING, INFORMATICS</subject></subj-group></article-categories><title-group><article-title>Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology</article-title><trans-title-group xml:lang="en"><trans-title>Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology</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>Skobtsov</surname><given-names>V. Yu</given-names></name><name name-style="western" xml:lang="en"><surname>Skobtsov</surname><given-names>V. Yu.</given-names></name></name-alternatives><bio xml:lang="en"><p>Vadim Yurievich Skobtsov – PhD., Associate Professor, Leading Researcher </p><p>220012, Republic of Belarus, Minsk, Surganova St., 6, United Institute of Informatics Problems</p></bio><email xlink:type="simple">vasko_vasko@mail.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>Lapitskaya</surname><given-names>N. V.</given-names></name><name name-style="western" xml:lang="en"><surname>Lapitskaya</surname><given-names>N. V.</given-names></name></name-alternatives><bio xml:lang="en"><p>Natalia V. Lapitskaya – PhD., Associate Professor, Head of POIT Department</p><p>Minsk</p></bio><xref ref-type="aff" rid="aff-2"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>United Institute of Informatics Problems, National Academy of Sciences of Belarus</institution></aff><aff xml:lang="en"><institution>United Institute of Informatics Problems, National Academy of Sciences of Belarus</institution></aff></aff-alternatives><aff-alternatives id="aff-2"><aff xml:lang="ru"><institution>Belarusian State University of Informatics and Radioelectronics</institution></aff><aff xml:lang="en"><institution>Belarusian State University of Informatics and Radioelectronics</institution></aff></aff-alternatives><pub-date pub-type="collection"><year>2021</year></pub-date><pub-date pub-type="epub"><day>03</day><month>01</month><year>2022</year></pub-date><volume>19</volume><issue>8</issue><fpage>72</fpage><lpage>80</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Skobtsov V.Y., Lapitskaya N.V., 2022</copyright-statement><copyright-year>2022</copyright-year><copyright-holder xml:lang="ru">Skobtsov V.Y., Lapitskaya N.V.</copyright-holder><copyright-holder xml:lang="en">Skobtsov V.Y., Lapitskaya N.V.</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://doklady.bsuir.by/jour/article/view/3249">https://doklady.bsuir.by/jour/article/view/3249</self-uri><abstract><p>The paper presents solutions for estimation and analysis of complex system (CS) reliability and survivability indicators based on the logical-probabilistic approach. Modified logical-probabilistic method and software tool for evaluating the reliability and survivability of onboard equipment (OE) of small satellites were developed (SS). The correctness of the suggested method and software tool was shown by computational experiments on some systems of CS SS similar to Belarusian SS, and later compared with the “Arbitr” software complex results.</p></abstract><trans-abstract xml:lang="en"><p>The paper presents solutions for estimation and analysis of complex system (CS) reliability and survivability indicators based on the logical-probabilistic approach. Modified logical-probabilistic method and software tool for evaluating the reliability and survivability of onboard equipment (OE) of small satellites were developed (SS). The correctness of the suggested method and software tool was shown by computational experiments on some systems of CS SS similar to Belarusian SS, and later compared with the “Arbitr” software complex results.</p></trans-abstract><kwd-group xml:lang="en"><kwd>logical-probabilistic method</kwd><kwd>reliability</kwd><kwd>survivability</kwd><kwd>onboard equipment for small satellites</kwd><kwd>diagram of functional integrity</kwd><kwd>system operability function</kwd></kwd-group><funding-group><funding-statement xml:lang="en">The research described in subsection 2 of the paper is supported by project No. 17-11-01254 of Russian Science Foundation, the research described in subsection 3 of the paper is supported by the state research0073–2018–0003. All research results represented in the paper were supported by Program STC of Union State “Monitoring-SG” (project 6МСГ/13-224-2, the Belarusian side).</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Mozhaev A.S. The technology of automated structural and logical modeling of reliability, survivability, safety, efficiency and risk of functioning the systems. Instruments and Systems: Monitoring, Control, and Diagnostics. 2008 9:1-14.</mixed-citation><mixed-citation xml:lang="en">Mozhaev A.S. The technology of automated structural and logical modeling of reliability, survivability, safety, efficiency and risk of functioning the systems. Instruments and Systems: Monitoring, Control, and Diagnostics. 2008 9:1-14.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Mozhaev A.S. and Grommov V.N. Theoretical foundations of the general logical-probabilistic method of automated systems modeling. St. Petersburg: VITU; 2000.</mixed-citation><mixed-citation xml:lang="en">Mozhaev A.S. and Grommov V.N. Theoretical foundations of the general logical-probabilistic method of automated systems modeling. St. Petersburg: VITU; 2000.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">Skobtsov V., Novoselova N., Arhipov V., Potryasaev S. Intelligent telemetry data analysis of small satellites. Cybernetics and Mathematics Applications in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing. Springer International Publishing Switzerland. 2017;574:351-361.</mixed-citation><mixed-citation xml:lang="en">Skobtsov V., Novoselova N., Arhipov V., Potryasaev S. Intelligent telemetry data analysis of small satellites. Cybernetics and Mathematics Applications in Intelligent Systems. CSOC 2017. Advances in Intelligent Systems and Computing. Springer International Publishing Switzerland. 2017;574:351-361.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms. 3rd edition. The MIT Press; 2009.</mixed-citation><mixed-citation xml:lang="en">Cormen T.H., Leiserson C.E., Rivest R.L., Stein C. Introduction to Algorithms. 3rd edition. The MIT Press; 2009.</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>
