№2, 2019

ANALYSIS OF APPROACHES TO THE MANAGEMENT OF FUNCTIONAL SAFETY OF HARDWARE -SOFTWARE COMPLEXES IN THE COMPLEX TECHNICAL SYSTEMS

Vladimir E. Gvozdev, Nafisa I. Yusupova, Lilia R. Chernyakhovskaya, Javanshir F. Mamedov

A comparative analysis of the current state of research in the field of functional safety management of hardware - software systems has been carried out. From a critical analysis of references sources, it was found that general-purpose software tools are limited use in the development of real-time data processing and control systems; existing development tools for of supporting parallel processes (semaphores; priorities, etc.) do not provide the necessary capabilities for reliable and predictable behavior distributed technical systems with built-in software, objects that successfully passed the verification do not guarantee stable and predictable behavior under conditions of instability and uncertainty of external  environment that includes discussion of a special type of defects due to violation of limitations on allowable data processing time (pp.77-84).

Keywords: security, hardware-software complex, data processing, verification.
References
  • Günther Schuh, Reiner Anderl, Jürgen Gausemeier, Michael ten Hompel, Wolfgang Wahlster (Eds.) Industrie 4.0 Maturity Index Managing the Digital Transformation of Companies // acatech STUDY, 2015.
  • Нагибин С.Я., Пальчун Б.П., Ухлинов Л.М. Технологическая безопасность программирования ­­– новая проблема в области создания информационных систем // Информационное общество, 1995, вып.6, с. 45–49.
  • Липаев В.В. Функциональная безопасность программных средств. М.: СИНТЕГ, 2004, 348 с.
  • Быковский С.В., Горбачев Я.Г., Ключев А.О., Пенский А.В., Платунов А.Е. Сопряженное проектирование встраиваемых систем (Hardware/Software Co-Design), СПб.: Университет ИТМО, 2016, 105 с.
  • A Driving Assistance System with Hardware Acceleration. University of Gothenburg, Sweden, 2015, 62 p.
  • Бородакий Ю.В., Юсупов Р.М., Пальчун Б.П. Проблема имитационного моделирования дефектоскопических свойств компьютерной инфосферы / Труды третьей Всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика», Санкт-Петербург, 2007, с.87–92.
  • Рот А. Внедрение и развитие Индустрии 4.0. Основы, моделирование и примеры из практики. М.: Техносфера, 2017, 294 с.
  • Мостовой А.Я. Имитационная математическая модель внешней среды в жизненном цикле бортового программного обеспечения управления космической платформой // Компьютерная оптика, 2012, т.36, №3, с.412–418.
  • Мостовой А.Я. Управление сложными техническими системами: конструирование программного обеспечения спутников ДЗЗ. М.: Техносфера, 2016, 352 с.
  • Платунов А.Е., Постников Н.П. Высокоуровневое проектирование встраиваемых систем, СПб.: НИУ ИТМО, 2011, 121 с.
  • Кириллов Н.П. Концептуальная модель объекта ситуационного управления функциональным состоянием технических систем // Искусственный интеллект и принятие решений, 2012, №4, с.61–75.
  • Муравьева-Витковская Л.А. Моделирование интеллектуальных систем, СПб.: НИУ ИТМО, 2012, 145 с.
  • Edward A. Lee. Cyber Physical Systems: Design Challenges. Technical Report No. UCB/EECS-2008-8. www.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-8.html
  • Flight 501 Failure. Report by the Inquiry Board. Paris, Paris, 19 July 1996.
  • Аджиев В. Мифы о безопасности ПО:уроки знаменитых катастроф // Открытые системы, СУБД, 1998, №6.
  • James Gleick. A Bug and a Crash. Sometimes a Bug is More Than a Nuisance // New York Times Magazine, 1 December 1996.
  • Тимофеев А.Н. Почему падают ИТ-проекты? // Практика проектирования систем. Научно-образовательный журнал, 2017, с.2–12.
  • Standish Group 2015 Chaos Report – Q&A with Jennifer Lynch. www.infoq.com/articles/standish-chaos-2015.
  • Флейтман Д.В. Решение задачи обеспечения живучести корпоративных информационных систем при частичном разрушении каналов связи // Реєстрація, зберігання і обробка даних, 2005, t.7, №1, с.52–61.
  • Додонов А.Г., Флейтман Д.В. Корпоративные информационные системы: обеспечение живучести // Математичні машини і системи, 2005, №4, с.118–130.
  • Додонов А.Г., Ландэ Д.В. Живучесть информационных систем, К.: Наук.думка, 2011, 256 с.
  • Пальчун Б.П. Дефектология интеллектуальных компьютерных программ // Известия ТРТУ. Тематический выпуск. Секция концептуальные вопросы построения интеллектуальных и адаптивных систем информационной безопасности, №4(48), 2005, с.69–74.
  • Corry J. Kasper, Michael W. Godfrey. Cloning considered harmful considered harmful: patterns of cloning in software // Empirical Software Engineering DOI: 10.1007/s10664-008-9076-6.
  • Paul Grünbacher, Anna Perini (Eds.) Requirements Engineering: Foundation for Software Quality / Proceedings of 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017.
  • Wenhua Hu, Jeffrey C. Carver, Vaibhav K. Anu, Gursimran S. Walia, Gary L. Bradshaw. Detection of Requirement Errors and Faults via a Human Error Taxonomy: A Feasibility Study // National Science Foundation Awards 1421006 and 1423279.
  • Bill Davey, Kevin R. Parker. Requirements Elicitation Problems: A Literature Analysis // Issues in Informing Science and Information Technology, 2015, vol.12, 82 pp.
  • Куликов С.С. Тестирование программного обеспечения. Базовый курс, Минск: Четыре четверти, 2017, 312 с.
  • Марков А.С. Модели оценки и планирования испытаний программных средств по требованиям безопасности информации // Вестник МГТУ им. Н.Э.Баумана. Сер. «Приборостроение», 2011. Специальный выпуск «Технические средства и системы защиты информации», с.90–103.
  • Ritu Soni, Ashpinder Preet. Cognitive Approach to Root Cause Analysis for Improving Quality of life: A case study for IT Industry // International journal of informative and futuristic research (Online). Vol. 1 Issue 1, August -September 2013, 8 p.
  • Tomomi Kataoka, Ken FURUTO, Tatsuji Matsumoto. The Analyzing Method of Root Causes for Software Problems // Sei technical review, october 2011, no.73, 5 p.
  • Roland J. Duphily. Root Cause Investigation Best Practices Guide // Aerospace report, NO. TOR-2014-02202, 2014, may 30, 95 p.
  • Stan Kaplan, Visnepolschi, B. Zlotin, A. Zusman. New Tools for Failure and Risk Analysis / Anticipatory Failure Determination(TM) (AFD(TM) and the Theory of scenario Structuring. Ideation Intl Inc, October 8, 1999, 86 p.
  • Nassar D., AbdelMoez W., Shereshevsky M., Ammar H. H., Ali Mili, Bo Yu, Bogazzi S. Error Propagation Analysis of Software Architecture Specifications / Proceedings of the International Conference on Computer and Communication Engineering (ICCCE'06), Vol.1, Kuala Lumpur, Malaysia, May 9–11, 2006, pp. 496–501.
  • LeeA., Anderson T. Fault tolerance, principles and practice. Springer Science & Business Media, 2012, vol.3, 320 p.
  • Verzola I., Lagny A.E., Biswas J. A Predictive Approach to Failure Estimation and Identification for Space Systems Operations / Proc. 13th international conference on space operations, Pasadena, California, USA, May 2014,
  • Cortellessa V., Grassi V. A Modeling Approach to Analyze the Impact of Error Propagation on Reliability of Component-Based Systems / Proceedings of the 10th International Symposium on Component-Based Software Engineering, CBSE 2007 (Berlin, Heidelberg), Springer-Verlag, pp.140–156.
  • Zhu Y.-M. Failure-Modes-Based Software Reading. Chapter 2: Software Failure Mode and Effects Analysis, 2017, XI,7–15.
  • Haapanen P., Helminen A. Failure Mode and Effects Analysis of Software-Based Automation Systems // STUK-YTO-TR 190 / August 2002, 36 p.
  • Hatem A. Khater, A. Baith Mohamed, Sara M. Kamel. A Proposed Technique for Software Development Risks Identification by using FTA Model // World Academy of Science, Engineering and Technology International Journal of Computer and Information Engineering, 2013, vol.7, no.1, pp.105–111.
  • Райков А.Н. Конвергентное управление и поддержка решений, М.:Издательство ИКАР, 2009, 243 с.
  • Райков А.Н. Сетевая экспертная поддержка решений // Управление большими системами, 2010, выпуск 30.1, с.758–773 (mathnet.ru).
  • Виттих В.А. Введение в теорию интерсубъективного управления, Самара: Самарский научный центр РАН, 2013, 64 с.
  • Виттих В.А. Неоднородный актор и повседневность как ключевое понятие эвергетики: препринт, Самара: Федеральное государственное бюджетное учреждение науки «Институт проблем управления сложными системами Российской академии наук», 2014, 12 с.
  • Melone T.W. What is coordination Theory? Massachusetts Institute of Technоlogy SSM WP#2051-88.
  • Гвоздев В.Е., Блинова Д.В. Анализ функциональных возможностей аппаратно-программных комплексов на ранних стадиях проектирования с учетом мнений правообладателей // Программная инженерия: Научный журнал, т.7, №9, 2016, с.395–399.
  • Гвоздев В.Е., Блинова Д.В., Давлиева А.С., Тесленко В.В. Построение базовых моделей внешней эффективности АПК на основе математико-статистического подхода // Программная инженерия: Научный журнал, 2016, т.7, №11, с.483–489.
  • Гвоздев В.Е., Абдрафиков М.А., Блинова Д.В. Кириллов К.В. Анализ влияния дефектов различных типов на оценку показателей качества программно-аппаратных комплексов на стадии сопровождения // Электротехнические и информационные комплексы и системы, Уфимский государственный нефтяной технический университет, 2017, т.13, №2, с.33–40.
  • Гвоздев В.Е., Черняховская Л.Р., Блинова Д.В. Эвергетика как методологическая основа управления выявлением дефектов на предпроектной стадии жизненного цикла систем обработки данных // Онтология проектирования: Научный журнал, 2018, т.8, №1(27), с.152–166.
  • Гвоздев В.Е., Блинова Д.В., Давлиева А.С. Элементы концепции управления дефектами систем обработки данных и управления / Проблемы управления и моделирования в сложных системах: XIX Международная конференция, Самара: ИПУСС РАН, СНЦ РАН, 2017, с.387–392.