DOI: https://doi.org/10.15588/1607-3274-2020-4-14

CONCEPTION AND APPLICATION OF DEPENDABLE INTERNET OF THINGS BASED SYSTEMS

О. О. Illiashenko, М. А. Kolisnyk, А. E. Strielkina, І. V. Kotsiuba, V. S. Kharchenko

Abstract


Context. The problem is in the design, development, maintenance and commisioning of interoperable dependable systems using on the Internet of Things based on von Neumann paradigm of “building reliable systems from unreliable components” for dependable service-oriented systems and infrastructures.

Objective. The goals of the paper are in the development of concepts and principles and assessment technologies for creation and maintenance of complex critical systems based on Internet of Things (IoT) as well as implementation of research in various domains.

Method. In the paper the concept of development of dependable systems on the basis of the Internet of things is described. The multisectoral analysis of methods and models of reliability and cybersecurity (dependability) evaluation of information and control systems of critical applications using the Internet of things has been performed for different domains: power, healthcare, industrial, etc. The analysis has shown that some software failures and malfunctions, cyberattacks and consequences of influence of attacks are identical for all domains, but there are specific features for each domain, which are necessary to consider at working out of methodology of maintenance of denepdability of reliability of systems of critical applications using the Internet of things.

Results. The developed conception, methods, tools and technologies for the creation and implementation of dependable information & control systems for critical applications based on the Internet of Things.

Conclusions. The paper proposes a conception that includes a set of scientific and applied tasks for the development of methods, tools and technologies for the creation and implementation of dependable information & analytical and information & control systems for critical applications based on the Internet of Things. The prospects for further research may include the detailing of the developed models, methods and technologies to ensure the dependability of complex information & control systems for critical applications based on the Internet of Things. 


Keywords


Information and control systems of critical applications, Internet of Things, dependability, cybersecurity, functional safety.

Full Text:

PDF

References


Kharchenko V. (editor), Kor A-L., Rucinski A. Dependable IoT for human and industry modeling, architecting, implementation, River Publishers Series in Information Science and Technology. Denmark, 2019, 566 p.

Avizienis A., Laprie J. С., Randell B. et al. Basic concepts and taxonomy of dependable and secure computing [Text], IEEE transactions on dependable and secure computing, 2004, Vol. 1, №1, pp. 11–33. DOI 10.1109/TDSC.2004.2.

Fitzgerald J., Ingram C., Romanovsky A. Concepts of dependable cyber-physical systems engineering: model-based

approaches [Electronic resource]. London, CRC Press, 2016, pp. 1–22. Access mode: https://eprint.ncl.ac.uk/230739.

Al-Fuqaha A., Guizani M., Mohammadi M. et al Internet of Things: A survey on enabling technologies, protocols, and applications [Text], IEEE Communications Surveys & Tutorials, 2015, Vol. 17, № 4, pp. 2347–2376. DOI: 10.1109/COMST.2015.2444095.

Henkel J., Pagani S., Amrouch H., et al. Ultra-low power and dependability for IoT devices (Invited paper for IoT technologies) [Text], Design, Automation & Test in Europe Conference & Exhibition (DATE): proceedings, 2017, pp. 954–959. DOI: 10.23919/DATE.2017.7927129.

Macedo D., Guedes L. A., Silva I. A dependability evaluation for Internet of Things incorporating redundancy aspects, 11th IEEE International conference on networking, sensing and control: proceedings, 2014, pp. 417–422. DOI: 10.1109/icnsc.2014.6819662.

Ojie E., Pereira E. Exploring dependability issues in IoT applications, The second international conference on internet of things, data and cloud computing – ICC’17): proceedings, 2017, pp. 1–5. DOI:10.1145/3018896.3036364.

Bellini A., Bellini E., Gherardelli M., et al. Enhancing IoT data dependability through a blockchain mirror model [Text], Future Internet, 2019, Vol. 11, No. 5, pp. 1–9. DOI: 10.3390/fi11050117.

Bagchi S., Siddiqui M.-B., Wood P., et al. Dependability in edge computing [Text], Communications of the ACM, 2020, Vol. 63, No. 1, pp. 58–66. DOI 10.1145/3362068.

Boano C. A., Romer K., Roderick B., et al. Dependability for the Internet of Things – from dependable networking in harsh environments to a holistic view on dependability [Text], Elektrotechnik und Informationstechnik, 2016, Vol. 133, pp. 304–309. DOI: 10.1007/s00502-016-0436-4.

Illiashenko O., Potii O., Komin D. Advanced security assurance case based on ISO/IEC 15408, Advances in intelligent systems and computing. International conference on dependability and complex systems DepCoS-RELCOMEX 2015 (June 29 – July3, 2015, Lwówek Śląski). Lwówek Śląski, Poland. Theory and engineering of complex systems and dependability. DepCoS-RELCOMEX 2015. Springer, Cham: proceedings, 2015, Vol. 365, pp. 391–401. DOI: 10.1007/978-3-319-59415-6_7.

Strielkina A., Volochiy B., Kharchenko V. Model of functional behavior of healthcare Internet of Things device, 10th International conference on dependable systems, services and technologies (DESSERT): proceedings, 2019, pp. 63– 69. DOI: 10.1109/dessert.2019.8770020.

Strielkina A., Kharchenko V., Uzun D. Availability models of the healthcare Internet of Things system taking into account countermeasures selection, Information and communication technologies in education, research, and industrial applications, 2019, Vol. 1007, pp. 220–242. DOI: 10.1007/978-3-030-13929-2_11.

Kolisnyk M., Kharchenko V., Kharchenko V., Kondratenko Y., Kacprzyk J. (edits). A Markov model of IoT system availability considering DDoS attacks, patching and energy modes, Green IT Engineering: social, business and industrial applications. Springer International Publishing. Book, 2018, pp. 185–207. DOI: 10.1007/978-3-03000253-4_9.

Kolisnyk M., Kharchenko V. Investigation of the smart business center for IoT systems availability considering attacks on the router, Dependable IoT for human and industry. Modeling, architecting, implementation, dependable IoT for human and industry modeling, architecting, implementation. River Publishers series in information science and technology, Denmark, 2019, pp. 169–191.

Kolisnyk M., Kharchenko V., Piskacheva I. et al.; Kharchenko, V. (edits). Markov’s model-based technique of IoT system availability considering DDoS attacks [Text], Secure and resilient computing for industry and human domains. Techniques, tools and assurance cases for security and resilient computing. Kharkiv, Department of education and science of Ukraine, National Aerospace University named after N. E. Zhukovsky “KhAI”, 2017, 449 p.

Strielkina A., Uzun D., Kharchenko V., et al. Modeling and availability assessment of mobile healthcare IoT using tree analysis and queueing theory, Dependable IoT for human and industry modeling, architecting, implementation. River Publishers series in information science and technology. Denmark, 2019, pp. 105–126.

Strielkina A., Illiashenko O., Zhydenko M., et al. Cybersecurity of healthcare IoT-based systems: Regulation and case-oriented assessment [Text], 2018 IEEE 9th International conference on dependable systems, services and technologies (DESSERT): proceedings, 2018, pp. 67–73. DOI: 10.1109/dessert.2018.8409101.

Kolisnyk M., Kharchenko V., Piskachova I., et al. Reliability and security issues for IoT-based smart business center:

architecture and Markov model [Text], The World conference IEEE: MCSI. 2016, Greece, Chania: proceedings, 2016, pp. 313–318.

Illiashenko O. O., Kharchenko V. S., Kor A. Gap-analysis of assurance case-based cybersecurity assessment: technique and case study, Advanced Information Systems. Kharkiv, НТУ «ХПІ», 2018, Vol. 2. No. 1, pp. 64–68. DOI: 10.20998/2522-9052.2018.1.12.

Kharchenko V., Illiashenko O. Concepts of green ITengineering: taxonomy, principles and implementation, Studies in systems, decision and control, 2017, Vol. 74, pp. 3–19. DOI: 10.1007/978-3-319-44162-7_1.

FP7 KhAI-ERA project website [Electronic resource]. Access mode: http://khai-era.khai.edu/.

Horizon2020 ECHO project website [Electronic resource]. Access mode: https://echonetwork.eu/.

DigForAsp project website [Electronic resource]. Access mode: https://digforasp.uca.es/.

Horizon 2020 SPEAR project website [Electronic resource]. Access mode: https://www.spear2020.eu/.


GOST Style Citations


1. Kharchenko V. (editor). Dependable IoT for human and industry modeling, architecting, implementation / V. Kharchenko, A-L. Kor, A. Rucinski // River Publishers Series in Information Science and Technology. – Denmark, 2019. – 566 p.

2. Basic concepts and taxonomy of dependable and secure computing [Text] / [A. Avizienis, J. С. Laprie, B. Randell, et al.] // IEEE transactions on dependable and secure computing. – 2004. – Vol. 1, № 1. – P. 11–33. DOI 10.1109/TDSC.2004.2.

3. Fitzgerald J. Concepts of dependable cyber-physical systems engineering: model-based approaches [Electronic resource] / J. Fitzgerald, C. Ingram, A. Romanovsky. – London : CRC Press, 2016. – P. 1–22. Access mode: https://eprint.ncl.ac.uk/230739.

4. Internet of Things: A survey on enabling technologies, protocols, and applications [Text] / [A. Al-Fuqaha, M. Guizani, M. Mohammadi, et al.] // IEEE Communica
tions Surveys & Tutorials. – 2015. – Vol. 17, № 4. – P. 2347–2376. DOI: 10.1109/COMST.2015.2444095.

5. Ultra-low power and dependability for IoT devices (Invited paper for IoT technologies) [Text] / J. Henkel, S. Pagani, H. Amrouch, et al.] // Design, Automation & Test in Europe Conference & Exhibition (DATE): proceedings. – 2017. – P. 954–959. DOI: 10.23919/DATE.2017.7927129.

6. Macedo D. A dependability evaluation for Internet of Things incorporating redundancy aspects / D. Macedo, L. A. Guedes, I. Silva // 11th IEEE International conference on networking, sensing and control: proceedings. – 2014. – P. 417–422. DOI:10.1109/icnsc.2014.6819662.

7. Ojie E. Exploring dependability issues in IoT applications. / E. Ojie, E. Pereira // The second international conference on internet of things, data and cloud computing – ICC’17): proceedings. – 2017. – P. 1–5. DOI:10.1145/3018896.3036364.

8. Enhancing IoT data dependability through a blockchain mirror model [Text] / [A. Bellini, E. Bellini, M. Gherardelli, et al.] // Future Internet. – 2019. – Vol. 11, № 5. – P. 1–9. DOI:10.3390/fi11050117.

9. Dependability in edge computing [Text] / [S. Bagchi, M.-B. Siddiqui, P. Wood, et al.] // Communications of the ACM. – 2020. – Vol. 63, № 1. – P. 58–66. DOI 10.1145/3362068.

10. Dependability for the Internet of Things – from dependable networking in harsh environments to a holistic view on dependability [Text] / [C. A. Boano, K. Romer, B. Roderick, et al.] // Elektrotechnik und Informationstechnik. – 2016. – Vol. 133. – P. 304–309. DOI: 10.1007/s00502-016-0436-4.

11. Illiashenko O. Advanced security assurance case based on ISO/IEC 15408 / O. Illiashenko, O. Potii, D. Komin // Advances in intelligent systems and computing. International conference on dependability and complex systems DepCoS-RELCOMEX 2015 (June 29 – July 3, 2015, Lwówek Śląski). Lwówek Śląski, Poland. Theory and engineering of complex systems and dependability. DepCoS-RELCOMEX 2015. Springer, Cham : proceedings. – 2015. – Vol. 365. – P. 391–401. DOI: 10.1007/978-3-319-59415-6_7.

12. Strielkina A. Model of functional behavior of healthcare Internet of Things device / A. Strielkina, B. Volochiy, V. Kharchenko // 10 th International conference on dependable systems, services and technologies (DESSERT) : proceedings. – 2019. – P. 63–69. DOI: 10.1109/dessert.2019.8770020.

13. Strielkina A. Availability models of the healthcare Internet of Things system taking into account countermeasures selection / A. Strielkina, V. Kharchenko, D. Uzun // Information and communication technologies in education, research, and industrial applications. – 2019. – Vol. 1007. – P. 220–242. DOI: 10.1007/978-3-030-139292_11.

14. Kolisnyk M. A Markov model of IoT system availability considering DDoS attacks, patching and energy modes / M. Kolisnyk, V. Kharchenko // Green IT Engineering: social, business and industrial applications / V. Kharchenko, Y. Kondratenko, J. Kacprzyk (edits). – Springer International Publishing. Book. – 2018. – P. 185–207. DOI: 10.1007/978-3-030-00253-4_9.

15. Kolisnyk M. Investigation of the smart business center for IoT systems availability considering attacks on the router / M. Kolisnyk, V. Kharchenko // Dependable IoT for human and industry. Modeling, architecting, implementation, dependable IoT for human and industry modeling, architecting, implementation. – River Publishers series in information science and technology, Denmark. – 2019. – P. 169 – 191.

16. Markov’s model-based technique of IoT system availability considering DDoS attacks [Text] / [M. Kolisnyk, V. Kharchenko, I. Piskacheva et al.]; Kharchenko V. (edits). // Secure and resilient computing for industry and human domains. Techniques, tools and assurance cases for security and resilient computing. – Kharkiv : Department of education and science of Ukraine, National Aerospace University named after N. E. Zhukovsky “KhAI”. – 2017. – 449 p.

17. Modeling and availability assessment of mobile healthcare IoT using tree analysis and queueing theory / [A. Strielkina, D. Uzun, V. Kharchenko, et al.] // Dependable IoT for human and industry modeling, architecting, implementation. – River Publishers series in information science and technology, Denmark. – 2019. – P. 105–126.

18. Cybersecurity of healthcare IoT-based systems: Regulation and case-oriented assessment [Text] / [A. Strielkina, O. Illiashenko, M. Zhydenko, et al.] // 2018 IEEE 9th International conference on dependable systems, services and technologies (DESSERT): proceedings. – 2018. – P. 67–73. DOI: 10.1109/dessert.2018.8409101.

19. Reliability and security issues for IoT-based smart business center: architecture and Markov model [Text] / [M. Kolisnyk, V. Kharchenko, I. Piskachova, et al.] // The World conference IEEE: MCSI. 2016, Greece, Chania: proceedings. – 2016. – P. 313–318.

20. Illiashenko O. O. Gap-analysis of assurance case-based cybersecurity assessment: technique and case study / O. O. Illiashenko, V. S. Kharchenko, A. Kor // Advanced Information Systems. – Kharkiv : НТУ «ХПІ». – 2018. – Vol. 2, № 1. – P. 64–68. DOI: 10.20998/25229052.2018.1.12.

21. Kharchenko V. Concepts of green IT-engineering: taxonomy, principles and implementation / V. Kharchenko, O. Illiashenko // Studies in systems, decision and control. – 2017. – Vol. 74. – P. 3–19. DOI: 10.1007/978-3319-44162-7_1.

22. FP7 KhAI-ERA project website [Electronic resource]. – Access mode: http://khai-era.khai.edu/.

23. Horizon2020 ECHO project website [Electronic resource]. – Access mode: https://echonetwork.eu/.

24. DigForAsp project website [Electronic resource]. – Access mode: https://digforasp.uca.es/.

25. Horizon 2020 SPEAR project website [Electronic resource]. – Access mode: https://www.spear2020.eu/.







Copyright (c) 2020 О. О. Illiashenko, М. А. Kolisnyk, А. E. Strielkina, І. V. Kotsiuba, V. S. Kharchenko

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
National University "Zaporizhzhia Polytechnic", 
Zhukovskogo street, 64, Zaporizhzhia, 69063, Ukraine. 
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua

The reference to the journal is obligatory in the cases of complete or partial use of its materials.