Сучасні напрями зарубіжних досліджень у галузі гарантоздатності систем.

Автор(и)

  • Сеспедес Гарсія П.Д. https://orcid.org/0000-0001-6591-2199 , Інститут проблем математичних машин і систем НАН України, м. Київ, Україна
  • Сеспедес Гарсія Н.В. https://orcid.org/0000-0002-9068-5837 , Інститут проблем математичних машин і систем НАН України, м. Київ, Україна

DOI:

https://doi.org/10.34121/1028-9763-2021-2-95-101

Ключові слова:

computer systems dependability, threats, hardware and software, security, confidentiality, integrity, гарантоздатність комп’ютерних систем, загрози, апаратні та програмні засоби, безпека, конфіденційність, цілісність

Анотація

Анотація. Стаття присвячена аналізу сучасних напрямів розвитку теорії і практики гарантоздатності комп'ютерних та інших систем. У багатьох країнах світу використання гарантоздатних комп’ютерних систем та питання розробки методів для розрахунку показників гарантоздатності обговорюються на спеціалізованих національних і міжнародних форумах і конференціях. Актуальними, як і раніше, є визначення, уточнення і формулювання базових понять і таксономії теорії забезпечення гарантоздатності. В усьому світі проводяться інтенсивні наукові дослідження, практичні науково-технічні розробки комп’ютерних систем та мереж для забезпечення гарантоздатності в авіаційних, ракетно-космічних і військово-промислових комплексах, керуючих системах на атомних електростанціях, залізничному транспорті, в системах охорони здоров’я, а також у фінансовій сфері бізнес-критичного застосування. Теорія гарантоздатності актуальна, але все ще недостатньо розвинена у сферах систем кібербезпеки; виявлення аномалій у мережевому трафіку; систем автоматизованого проєктування; систем доповненої і віртуальної реальності; самовідновлювальних систем; робототехніки; кіберфізичних датчикових систем; методів і засобів ідентифікації людини (біометрія); моніторингу екологічного стану; аналітики крупномасштабних даних та інтелектуального аналізу даних для бізнес-областей і цифрового банкінгу; баз даних; комп'ютерних систем охорони здоров'я; систем бездротового зв'язку. Підвищення рівня гарантоздатності набирає актуальності у таких сферах: хмарні сховища і обчислення; шифрування, квантові обчислення і криптографічні методи; збереження конфіденційності та контроль доступу до особистих даних; безпека і надійність блокчейну. Підсумки, що отримані у роботі, можуть бути корисні для широкого кола фахівців, які займаються дослідженнями в галузі гарантоздатності в усіх сферах її застосування.

Посилання

1. Zamojski W., Mazurkiewicz J., Sugier J., Walkowiak T., Kacprzyk J. Engineering in Dependability of Computer Systems and Networks. Proc. of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX (Brunów, Poland July 1–5, 2019). Brunów, Poland, 2019. URL: https://www.springer.com/gp/book/9783030195007.

2. DSN 2020 Rising Star in Dependability Award: Karthik Pattabiraman. Electrical and Computer Engineering UBC. URL: https://www.ece.ubc.ca/news/202006/karthik-pattabiraman-wins-award-dependablecomputing .

3. The 6th IEEE International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications (Dependsys, 14–16 December, 2020). Fiji, 2020. URL: https://tc.computer.org/tccld/2020/08/20/6th-ieee-international-conference-dependability-snsor-cloud-bigdata-systems-applications-dependsys-2020-14-16-december-2020-fiji/ .

4. Theory and Applications of Dependable Computer Systems, Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX (Brunów, Poland, June 29 – July 3, 2020). Brunów, Poland. URL: https://www.springer.com/gp/book/9783030482558.

5. DSN 2020 The William C. Carter PhD Dissertation Award in Dependability: Bo Fang. Electrical and Computer Engineering UBC. URL: https://www.ece.ubc.ca/news/202005/bo-fang-wins-awarddependable-computing.

6. Dependability in Sensor, Cloud and Big Data Systems and Applications, 5th International Conference, DependSys (Guangzhou, China, November 12–15, 2019). URL: https://www.springer.com/gp/book/9789811513039.

7. DESSERT'2020 11th International IEEE Conference Dependable Systems, Services and Technologies (Ukraine, Kyiv, May 14–18, 2020). Kyiv, 2020. URL: www.dessert.ieee.org.ua/dessert-2020.

8. The 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) (Valencia, Spain, Jun 29, 2020 – Jul 2, 2020). Valencia, Spain, 2020. URL: https://sn.committees.comsoc.org/call-for-papers/the-50th-ieee-ifip-international-conference-ondependable-systems-and-networks-dsn-2020.

9. The 2021 IEEE Conference on Dependable and Secure Computing Aizuwakamatsu (Fukushima, Japan, 30 Jan – 2 Feb., 2021). Fukushima, Japan, 2021. URL: http://nsclab.org/dsc2021.

10. 17th European Dependable Computing Conference (Munich, Germany, 13–16 September, 2021). Munich, Germany, 2021. URL: http://edcc.dependability.org/keynotes.html.

11. Ateniese G., Di Pietro R., Mancini L.V., Tsudik G. DSN 2020 Laprie Award Winner. Scalable and Efficient Provable Data Possession. Proc. 4th Intl. Conf. on Security and Privacy in Communication Networks (SecureComm) (Istanbul, Turkey, September, 2008). Istanbul, Turkey, 2008. Art. N 9. Р. 1–10. URL: https://doi.org/10.1145/1460877.1460889.

Стаття надійшла до редакції 20.01.2021

Завантаження

Views: 104
Downloads: 29

Опубліковано

2021-06-01

Номер

Розділ

ЯКІСТЬ, НАДІЙНІСТЬ І СЕРТИФІКАЦІЯ ОБЧИСЛЮВАЛЬНОЇ ТЕХНІКИ І ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ