CONCEPTION AND APPLICATION OF DEPENDABLE INTERNET OF THINGS BASED SYSTEMS
Keywords:Information and control systems of critical applications, Internet of Things, dependability, cybersecurity, functional safety.
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.
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/.
How to Cite
Copyright (c) 2020 О. О. Illiashenko, М. А. Kolisnyk, А. E. Strielkina, І. V. Kotsiuba, V. S. Kharchenko
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Creative Commons Licensing Notifications in the Copyright Notices
The journal allows the authors to hold the copyright without restrictions and to retain publishing rights without restrictions.
The journal allows readers to read, download, copy, distribute, print, search, or link to the full texts of its articles.
The journal allows to reuse and remixing of its content, in accordance with a Creative Commons license СС BY -SA.
Authors who publish with this journal agree to the following terms:
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License CC BY-SA that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.