Cyber Security and Safety of Embedded Systems and Clouds. Assessment, Modeling, Assurance


Cyber Security and Safety of Embedded Systems and Clouds. Assessment, Modeling, Assurance

Call for papers

Embedded systems and distributed technologies based on Internet of Things and Cloud services become more and more important and challengeable for critical domains such as power stations and energy grids, aerospace and intellectual transport, health systems, etc.

Criticality of such applications is explained by high value of the failures caused by hardware and software faults and cyber attacks on vulnerabilities. There are not established techniques for assessment and assurance of safety and security critical systems for human and industrial domains. It is challenge for scientists and engineers.

We would like to invite researchers, developers, system administrators, experts on dependable  safety and security important applications to submit development and implementation techniques, methods and technologies for assessment and improving of embedded and distributed systems.

The primary purpose of the special issue is to discuss these problems.

Potential topics include but are not limited to the following:

  • Formal methods and Assurance Case techniques of safety and security assessment
  • Security of network and wireless systems security
  • Critical Information Infrastructure Safety and Security Assessment and Assurance
  • Dew, Fog and Cloud systems dependability and cyber security
  • Markov and semi-Markov based simulation for safety and security critical systems
  • Neural networks for assessment of safety and security
  • Failure and Attack Tree Analysis
  • Assessment and technologies of safe and secure software development

It is our pleasure to invite you to submit your paper for publication in the Special Issue on Cyber Security and Safety of Embedded Systems and Clouds. Assessment, Modeling, Assurance at the International Journal of Computing,

The paper has to be submitted in electronic form as a MS Word file. It must begin with a short abstract and keywords. It must end with a brief biography (education, position and scientific interests) and a photo of each author. Complete author’s guidelines are available at The typical paper length is 8-10 pages but it could be extended if necessary.


  •  Paper submission deadline   – June 15, 2019

Submission clossed

Papers are published upon acceptance, regardless of the Special Issue publication date.


Lead Guest Editor:

  • Vyacheslav Kharchenko, National AerospaceUniversity “KhAI”, Kharkiv, Ukraine

Guest Editors:

  • Anatoliy Gorbenko, Leeds Beckett University, Leeds, United Kingdom
  • Jüri Vain, Tallinn University of Technology, Tallinn, Estonia
  • Elena Zaitseva, University of Zilina, Zilina, Slovak Republic