Skip to Content

2nd International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT 2016)


Fast Sheet

TheRMIT web page:
Paper submission URI (track TheRMIT):
Paper submission deadline: April 24, 2016- EXTENDED till Sunday, 01.05.2016 - CLOSED
Submission types: (i) regular (full) research papers, (ii) short research papers, (iii) discussion, survey, or problem analysis papers
Duration: full day, June 21, 2016
Workshop Language: English

Workshop Program

Tuesday, June 21, 2016
8:30 12:30 Registration
9:00 10:30 WS TheRMIT SESSION 1: Availability and Reliability of Software and CloudsWS 3L-Person 2016

Room: Conf Hall #46

Chairs: Vyacheslav Kharchenko, Bogdan Volochiy

Welcome. Challenges of IT Reliability, Safety and Security (10 min)

Paper 1: Analysis of Methods for Providing Availability and Accessibility of Cloud Services, Max Yanovsky, Olga Yanovskaya and Vyacheslav Kharchenko (25 min)

Paper 2: Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools, Oleg Ivanchenko and Vyacheslav Kharchenko. (short paper, 15 min)
    Paper 3: Complexity-based prediction of faults number for software modules ranking before testing, Svitlana Yaremchuk and Vyacheslav Kharchenko (25 min)
    Discussion (15 min):

• Availability assessment and assurance for Cloud-based systems: how evolvability, complexity and uncertainty can be taken into account?

• Software reliability: how to embed techniques of quantitative probabilistic/deterministic assessment in development/business processes?
10:30 11:00 Coffee
11:00 12:30 WS TheRMIT SESSION 2: Markov’s Models of Safety Critical Systems
    Room: Conf Hall #46
    Chairs: Vitaliy Yakovyna, Anatoliy Sachenko
    Paper 1:Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode, Yevgeniy Bulba, Yurij Ponochovny, Vladimir Sklyar, Aleksandr Ivasiuk (25 min)
    Paper 2: Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices, Bogdan Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak. (25 min)
    Paper 3: Mobile Post-Emergency Monitoring System for Nuclear Power Plants: Principles, Structure and Reliability Modles, Anatoliy Sachenko, Volodymyr Kochan, Vyacheslav Kharchenko, Hubert Roth, Vasyl Yatskiv, Mykhaylo Chernyshov, Pavlo Bykovyy, Oleksiy Roshchupkin, Vasyl Koval, Herman Fesenko (25 min)
    Discussion (15 min):

• Markovian chain-based techniques and tools (T&T) for assessing of high availability IT-systems: how to guarantee accuracy, stability of results how and to select T&T for high available industry systems assessment?

• Which approaches and techniques can be applied to develop models and assess reliability and survivability of integrated monitoring post emergency systems?
12:30 14:00 Lunch
14:00 15:30 WS TheRMIT SESSION 3: Computer Systems Reliability and Uncertainty
    Room: Conf Hall #46
    Chairs: Elena Zaitseva, Igor Atamanyuk
    Paper 1: Calculation Methods of the Prognostication of the Computer Systems State under Different Level of Information Uncertainty, Igor Atamanyuk, Yuriy Kondratenko and Vyacheslav Shebanin (25 min)
    Paper 2: Application of Structure Function in System Reliability Analysis based on Uncertain Data, Vitaly Levashenko, Elena Zaitseva and Miroslav Kvassay (25 min)
    Paper 3: Importance Analysis of k-out-of-n Multi-State Systems based on Direct Partial Logic Derivatives, Elena Zaitseva, Miroslav Kvassay, Vitaly Levashenko and Jozef Kostolny (25 min)
    Discussion (15 min):

• How to take into account uncertainty of input data to assure acceptable accuracy of reliability assessment?

• Multi-state systems: how to tolerate complexity of industry applications to use MSS reliability models?
15:30 16:00 Coffee
16:00 17:30 WS TheRMIT SESSION 4: Models of Quality, Trustworthiness and Security
    Room: Conf Hall #46
    Chairs: Oksana Pomorova, Vitaly Levashenko
    Paper 1: Ontological Approach to the Assessment of Information Sufficiency for Software Quality Determination, Tetiana Hovorushchenko and Oksana Pomorova

(25 min)
    Paper 2: Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design, Alex Drozd, Miroslav Drozd and Mykola Kuznietsov (25 min)
    Paper 3: Metamorphic Viruses Detection Technique based on the Modified Emulators, Oksana Pomorova, Oleg Savenko, Sergii Lysenko and Andrii Nicheporuk (short paper, 15 min)
    Discussion (15 min):

• Software quality models: does gap between standard requirements and SW specifications exist?

• Balancing of reliability, power consumption and security for software and ITS: how to make scalable and optimal solutions?
    Closing remarks (10 min)

Important Dates

Sunday, 24.04.2016 - EXTENDED till Sunday, 01.05.2016 – paper submission deadline - CLOSED
Monday, 15.05.2016 - notification about acceptance or rejection of papers - CLOSED
Sunday, 29.05.2016 – submission of camera ready papers - CLOSED
Sunday, 29.05.2016 – registration deadline
21-24.06.2016 – main conference days


Unprecedented development and implementation of information technologies and systems (ITSs) into business, research, industry and transport including critical domains (aerospace, railway, automotive systems, NPP I&Cs, health systems and IT-infrastructures, etc) cause increasing dependence of humanity, environment and technical complexes security and safety on ITS reliability and dependability. There is conflicting philosophy of specialists on mathematical theory of reliability (MTR) and engineers who must assess and assure reliability and derivative ITS attributes. First of them usually consider MTR as a part of probability theory and not enough taking into account challenges of engineering practice. IT-engineers are concerned with assurance of required reliability for developed software and systems according to project specifications and standards. For some of modern ITs are not established assessment techniques, in particular, software components and systems reliability, dependability of cloud computing, IoT applications and software defined networks, so on.

Hence, building of effective bridge between the mathematical reliability, including widely applied Markovian chain-based methods (MMs) and the engineering practice of their application considering ITS features is very important. We invite researchers, engineers and experts to discuss problems of development, adaptation and application of modern MTR and MMs for assessment of ITs and creation of dependable and resilient ITSs.

The 2nd WS TheRMIT focuses on:

  • modern ITSs and IT-infrastructures as a object of reliability (and dependability, availability, safety, integrity, trustworthiness) regulation, modeling, assessment, assurance and certification;
  • application of software tools for ITS reliability analysis and assessment, decision supporting/making on development of reliable (dependable, safe and high available) ITSs.

Key domains are safety, mission and business critical ITSs.

Topics of interest

The main topics and questions for discussion on the WS agenda include, but are not limited to the following:

  • Problems of reliability theory and Markov’s models in context of ITS development: What are modern challenges, new approaches and business related issues?
  • Taxonomies of reliability, dependability and resilience, safety and cybersecurity: Which are interconnection and borders of the theories for IT-components, systems and infrastructures?
  • Balancing of performance, reliability, power consumption and security for ITS: How to develop scalable and optimal solutions?
  • Software reliability and dependability of software systems: How do probabilistic and deterministic methods correspond to business-oriented technologies?
  • Availability and resilience of large-scale distributed computing and communication. Web-, cloud-, IoT-based systems: how the problems of evolvability complexity and uncertainty can be taken into account?
  • A diversity principle for multi-version SW- and FPGA-based system reliability and safety: How risk of common cause failures can be assessed and decreased?
  • Markovian chain-based techniques and tools (T&T) for assessing of high availability IT-systems: What about accuracy, stability and T&T selection for complex and high available ITS?

The proposed topic of WS panel discussion: Selecting and joint application of techniques and software tools for assessment of industrial ITS safety and security

Submission Types and Requirements

TheRMIT solicits (i) regular (full) research papers, (ii) short research papers, (iii) discussion, survey, or problem analysis papers. Evaluation criteria are equivalent to the ones of the main ICTERI Conference. Please refer to for more details.

Submission Instructions

The authors should use the ICTERI electronic submission system at Then choose “New submission” option, select a track “2nd International Workshop on Theory of Reliability and Markov Modeling for Information Technologies”, and follow the instructions for this track.

Program Committee

Workshop Chairs

  • Vyacheslav Kharchenko (v_s_kharchenko [at] ukr [dot] net), National Aerospace University “KhAI”, Centre for Safety Infrastructure-Oriented Research and Analysis, Ukraine;
  • Elena Zaitseva (elena [dot] zaitseva [at] fri [dot] uniza [dot] sk), Žilina University, Slovakia;
  • Bogdan Volochiy (bvolochiy [at] ukr [dot] net), Lviv Polytechnic National University, Ukraine

Program Committee Members
- Iosif Androulidakis, Ioannina University Network Operations Center, Greece
- Nikolaos Bardis, Hellenic Army Academy, Greece
- Mario Fusani, Institute of Information Science and Technologies, CNR, Italy
- Anatoliy Gorbenko, National Aerospace University “KhAI”, Ukraine
- Olexandr Gordieiev, University of Banking, National Bank of Ukraine
- Yuriy Kondratenko, Black Sea State University named after Petro Mohyla, Ukraine
- Vitaly Levashenko, Žilina University, Slovakia
- Dmitriy Maevskiy, Odessa National Polytechnic University, Ukraine
- Oleg Odarushchenko, Research and Production Company Radiy, Ukraine
- Yurij Ponochovnyj, Poltava National Technical National University, Ukraine
- Inna Skarga-Bandurova, East Ukrainian National University, Ukraine
- Vladimir Sklyar, Research and Production Company Radiy, Ukraine
- Sergey Tyurin, Perm Research State Technical University, Russian Federation
- Jüri Vain, Tallinn University of Technology, Estonia
- Sergiy Vilkomir, East Carolina University, USA
- Irina Yatskiv, DrS, Professor, Transport and Telecommunication Institute, Latvia
- Vladimir Zaslavskiy, Taras Shevchenko National University of Kyiv, Ukraine

Previous TheRMIT workshops

TheRMIT 2015 (
Papers published in:


The papers accepted by the TheRMIT 2016 Program Committee and written in English will be published in the ICTERI 2016 Proceedings Volume (at CEUR-WS). This publication qualifies as an international publication with the German ISBN. This proceedings volume will be published electronically and indexed by DBLP, Scopus and Google Scholar.

The papers accepted for the WS TheRMIT 2016 may be invited for publication in the Special Issue of the journal «Radiolectronics and Computer Systems»

Submissions should be made electronically in pdf or doc/docx format. Authors should use the TheRMIT electronic submission system at and submit their papers to the WS Track TheRMIT 2016. Those authors who do not have their personal account at EasyChair have to create it using Easychair before submitting their paper.

The best TheRMIT 2016 papers after their presentation and discussion at the workshop may be invited to be published in their refined and extended versions in the Post-proceedings of ICTERI 2016 to be published in the Springer Communications in Computer and Information Science (CCIS,, pending acceptance). Only the papers written in English will be considered as the candidates for the post-proceedings. Refined and extended versions of the papers will undergo a review by the members of the ICTERI program committee. The ICTERI Steering Committee will decide upon the acceptance for this CCIS volume.


The authors (at least one of the authors) of the accepted papers must be physically present at the WS to present their paper at the time specified in the program. If authors do not appear at the WS their paper will be withdrawn from the published CEUR-WS proceedings. It is a strong requirement of the Conference ICTERI and the WS TheRMIT.

TheRMIT2016 Preliminary program60.83 KB