IEEE Ukraine Section National Aerospace University n. a. N. E. Zhukovsky “KhAI”, Kharkiv, Ukraine Banking University, Kyiv, Ukraine National Aviation University, Kyiv, Ukraine IEEE Ukraine Section SP/AES Societies Joint Chapter IEEE Ukraine Section (Kyiv) ED/MTT/CPMT/COM/SSC Societies Joint Chapter IEEE Ukraine Section (Kharkiv) SP/AP/C/EMC/Com Societies Joint Chapter IEEE Ukraine Section IM/CIS Societies Joint Chapter

DEpendable Systems, SERvices and Technologies DESSERT’2018

Ukraine, Kyiv May 24-27, 2018 Programme

Exclusive partners Research and Production Corporation Radiy, Ukraine National Bank of Ukraine

University and Research Institute partners Taras Shevchenko National University of Kyiv, Kyiv, Ukraine Institute of Information Science and Technologies of National Research Council ISTI-CNR Pisa, Italy Leeds Beckett University, Leeds, United Kingdom Pukhov Institute for Modelling in Energy Engineering, National Academy of Sciences of Ukraine, Kyiv Tallinn University of Technology, Tallinn, Estonia University of Žilina, Zilina, Slovakia

IT companies and Associations partners EPAM Systems, Ukraine ChiSoftware, Ukraine Cypress Semiconductor, USA Center for Safety Infrastructure-Oriented Research and Analysis, Ukraine Association of Industrial Automation of Ukraine, Ukraine HiTech Office Ukraine IT Alliance, Kyiv, Ukraine

Social partners The International Society of Service Innovation Professionals, USA Data Techno Park, Poland eCv Collaboratory, USA

Media and project partners Carte Blanche Magazine, Kyiv, Ukraine Ukrainian Association Fintech & Innovation Companies, Ukraine Erasmus+ Project ALIOT 7Event Group, Ukraine

Contents

Welcome note 3 DESSERT’2018 Committees 5 Time-table 9 Layout of rooms 10 Keynote speakers 11 Schedule 16 May 24 16 May 25 18 May 26 23 May 27 28 Location 30 Transport 31 Alphabetical index of authors 32

2 WELCOME NOTE

Welcome to the 9th International IEEE Conference Dependable Systems, Services and Technologies, DESSERT’2018! Background. The nowadays world is facing the increasing effect of information, communication and electronic technologies on comfort, living standards, safety and security of each person and society as a whole. IT-based systems are crucial components of modern critical and commercial domains, thus causing the need for ensured dependability and resilience of such systems. The faults and vulnerabilities of implemented components/configuration/technologies lead to new security and safety issues. Computer systems and services dependability highly depends on the components reliability, availability and integrity as well as on human-machine interface quality. Failures and emergencies of critical systems as a rule are caused by several reasons, combination of physical, design and interaction faults and human errors. Thus to ensure the dependability we should analyze all potential risks at each level of the following hierarchy “component – system – infrastructure (system of systems)” considering interactions and interdependencies between those layers. The paradigm “dependable, secure and safe systems out of undependable, insecure and unsafe components” becomes vastly important through increasing complexity, evolution of physical and informational environment parameters. Besides, the novel issue stands before society – assure dependability and security of IT-based systems while minimizing power consumptions and other resources to develop cost-effective secure and green IT. History. During twelve years problems of dependability, safety, security, greenness of IT and IT-based systems were on the agenda of the Conference “DEpendable Systems, SERvices and Technologies” (DESSERT). The first DESSERT was held in Poltava, Ukraine in 2006, later in Kirovograd, Sevastopol, Kyiv. Now DESSERT is one of the largest conferences in considered area in Ukraine, Eastern and Central Europe. In jubilee year DESSERT’2016 was a part of CYBER FORUM DESSERT B2S-S2B (Business to Science- Science to Business) with research, industry and business tracks on cyber entities. Forum aimed to implement the Business to Science (B2S) - Science to Business (S2B) concept in different critical and commercial applications. We can assert that 2016-2018 years were successful regarding development of university-industry cooperation in IT. One of the examples is EU project CABRIOLET http://my-cabriolet.eu. During 2017 year a few DESSERT related workshops such as ICTERI-TheRMIT-DESSERT http://icteri.org/icteri-2017/workshops/thermit-2017, DepCoS- CrISS-DESSERT http://depcos.pwr.wroc.pl and others have been held. Topics. This year very important event has taken place. DESSERT’2018 become a part of IEEE community and includes plenary and panel sessions, roundtables and workshops. Slogan of the DESSERT’2018 is Sustainable IT for Secure and Safe Systems and Cyberspace. DESSERT’2018 will be held during four days in Kyiv to discuss challenges and solutions regarding the following domains: cyber country, cyber space and computing; cyber finance and banking; cyber safety and cyber security; cyber technologies and systems; cyber energy and transport; cyber cooperation and education, etc. Main directions for discussion of the DESSERT sessions can be described by three axes “attributes (dependability, safety, security), domains (safety, mission, data, business critical) and tasks (regulation, development, assessment), and include the following topics, which will be discussed in frameworks of 12 tracks and 30 sessions:  CRITICAL INFRASTRUCTURE AND I&C SAFETY AND SECURITY - NPP I&C safety and security - CI safety and security - Healthcare and industry systems safety  DEPENDABILITY OF INTERNET, WEB AND CLOUD SYSTEMS - Fog Computing and Virtualization - Modeling, FPGA as a service and P2P networks - Cyber-Physical Computing - Hyperconvergent platforms and virtual machines  IOT AND SMART SYSTEMS - IoT evaluation and implementation - IoT and smart systems security and safety

3  DEPENDABLE EMBEDDED AND PROGRAMMABLE SYSTEMS - Verification and testing - Design and implementation  ADVANCED METHODS OF CYBER SECURITY AND CRYPTOGRAPHY - Encoding and cryptography - Post quantum cryptography - Lightweight cryptography and implementation - Steganography and authentication  DEPENDABILITY OF UNMANNED VEHICLES, ROBOTS AND DRONES  SOFTWARE QUALITY AND RELIABILITY  ARTIFICIAL INTELLIGENCE AND FORMAL SYSTEMS - Neural networks and expert systems - Application AI for security and safety - Model checking and decision making - Smart education and industry systems  BIG DATA AND DATA ANALYSIS FOR DEPENDABILITY - Big Data based technologies - Big Data for Industry - Optimization of Big Data Processes  GREEN COMPUTING AND COMMUNICATION  TELECOMMUNICATION, IMAGE AND SIGNAL PROCESSING - Recognition and Detection - Encoding and watermarking - Signal processing and monitoring - Telecommunication systems and technologies  UNIVERSITY-INDUSTRY COOPERATION FOR BUSINESS AND CRITICAL DOMAINS The conference includes round table dedicated to the 50th anniversary of the 1st NATO Software Engineering Conference, where the term “software engineering” was coined (and later “critical software engineering”, “software reliability engineering”). The meeting on ERASMUS+ project ALIOT (Internet of Things: Emerging Curriculum for Industry and Human Applications” http://aliot.eu.org/) will be held. Statistics. DESSERT’2018 statistics: - 224 papers have been submitted and 141 papers have been accepted (63%) and published in Proceedings which will be indexed in IEEE Explore Library and Scopus; - number of the authors is more 660 and for accepted papers about 450 from 21 countries (Azerbaijan, Canada, China, Germany, Greece, France, Estonia, Georgia, Italy, Iraq, Mexico, Norway, Oman, Poland, Portugal, Russia, Rwanda, Slovakia, Ukraine, United Kingdom, USA); - number of members of PC committee is 90 from 20 countries. Every paper has been reviewed by 3 reviewers; - number of keynote and industry speakers is 12 from 8 countries. Acknowledgements. We thank authors, keynote and plenary speakers. We are especially grateful to National Bank of Ukraine, Banking University for given opportunity and support of DESSERT. We thank members of Organizing, Program, Local and Information Committees and International Advisory Board for their impact. We are very much obliged to sponsors and industrial partners, and especially Research and Production Company RPC Radiy for constant sponsorship of DESSERT for 11 years. We would like to thank our social, event and media partners for cooperation and interest to the сonference. We thank our DESSERT organizing group, first of all, Anatoliy Gorbenko, Oleksandr Gordieiev, Olena Golembovska, Anastasiia Strielkina, Oleg Illiashenko, Oleg Odarushchenko, Artem Tetskyi for their painstaking work 24 hours in a day during preparation of the Proceedings, Program and organization of the conference as a whole. We thank our colleagues Oksana Hahina, Marina Medinskaya, Tatyana Shmelova for great efforts on organization of the conference, accommodation and logistics.

General Chair of DESSERT’2018 Conference, Vyacheslav Kharchenko 4 DESSERT’2018 Committees

Organizing Committee General Chair: Prof, DrS Vyacheslav Kharchenko, National Aerospace University KhAI, Centre for Safety Infrastructure-Oriented Research and Analysis, Kharkiv, Ukraine General Co-Chairs: Prof, DrS Felix Yanovsky, National Aviation University, IEEE Ukraine Section, Kyiv Prof, DrS Anzhela Kuznetsova, Banking University, Kyiv, Ukraine Prof, Dr Andrzej Rucinski, University of New Hampshire, eCv Collaboratory USA

Technical Program Committee Chair: Prof, DrS Anatoliy Gorbenko, Leeds Beckett University, United Kingdom Technical Program Committee Co-Chairs: Prof, Dr Nikolaos Bardis, Hellenic Military Academy, Athens, Greece Prof, Dr Elena Zaitseva, Zilina University, Slovakia

Local Organizing Chair: Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine

Publication Chair: Olena Golembovska, IT Alliance, Carte Blanche, Kyiv, Ukraine Publication Co-Chairs: Dr Ah Lian Kor, Leeds Beckett University, United Kingdom Dr Mariya Antyufeyeva, V.N. Karazin Kharkiv National University, Kharkiv, Ukraine

Financial Chair: Dr Oleg Odarushchenko, RPC Radiy, Kropyvnytskyi, Ukraine

Publicity and Event Co-Chairs: Prof, DrS Vladimir Zaslavsky, Taras Shevchenko National University of Kyiv, Ukraine Oksana Hahina, 7event.group, Kyiv, Ukraine Marina Medinskaya, 7event.group, Kyiv, Ukraine

Publication and Communication Administrator: Anastasiia Strielkina, National Aerospace University KhAI, Kharkiv, Ukraine

Web Design and Administration: Artem Tetskyi, National Aerospace University, Kharkiv, Ukraine

International Advisory Board Co-Chairs Dr Olexandr Siora, RPC Radiy, Kropyvnytskyi, Ukraine Dr Peter Popov, Centre for Software Reliability, City University of London, United Kingdom Prof, Dr Juri Vain, Tallinn University of Technology, Estonia Oleg Illiashenko, National Aerospace University, Kharkiv, Ukraine Members 5 Dr Mario Fusani, Institute of Information Science and Technologies of CNR, Italy Viktor Kordas, KTH University, Stockholm, Sweden Prof, DrS Vladimir Mokhor, Pukhov Institute for Modelling in Energy Engineering, NASU, Kyiv, Ukraine Prof, Dr Alexander Romanovsky, Newcastle University, United Kingdom Prof, Dr Stefano Russo, University of Naples, Naples, Italy Prof, DrS Vladimir Sklyar, National Aerospace University KhAI, Kharkiv, Ukraine Prof, Dr Todor Tagarev, Bulgarian Academy of Sciences, Sofia, Bulgaria

Technical Program Committee (TBC) Dr Sergiy Abramov, National Aerospace University KhAI, Kharkiv, Ukraine Dr Victoriya Abramova, National Aerospace University KhAI, Kharkiv, Ukraine Prof, Dr Nikolaos Bardis, Hellenic Military Academy, Athens, Greece Prof, DrS Alexandr Barkalov, University of Zelena Gora, Poland Dr Alexei Belotserkovsky, United Institute of Informatics Problems, Minsk, Belarus Dr Sergiy Bogomolov, The Australian National University, Canberra, Australia Dr Artem Boyarchuk, National Aerospace University KhAI, Kharkiv, Ukraine DrS Yevhen Brezhniev, Research and Production Company Radiy, Ukraine Dr Bruno Cabral, Coimbra University, Portugal DrS Alexander Chemeris, Pukhov Institute for Modelling in Energy Engineering, NASU, Kyiv, Ukraine Dr De-Jiu Chen, KTH University, Sweden Dr Dmytro Cherkashyn, Institute for Security and Safety at the Brandenburg University of Applied Sciences, Germany Prof, Dr Felicita Di Giandomenico, Institute of Information Science and Technologies of CNR, Italy Prof, DrS Anatoliy Gorbenko, Leeds Beckett University, United Kingdom Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine Dr Nikolaos Doukas, Hellenic Military Academy, Athens, Greece Prof, DrS Olexandr Drozd, Odessa National Politechnical University, Ukraine Dr Herman Fesenko, National University of Urban Economy, Kharkiv, Ukraine Dr Mario Fusani, Institute of Information Science and Technologies of CNR, Italy Prof, DrS Vladimir Hahanov, Kharkiv National University of Radioelectronics, Ukraine Prof DrS Valerii Hlukhov, Lviv Polytechnic National University, Ukraine Dr Tatyana Hovorushchenko, Khmelnitsky National University, Ukraine Oleg Illiashenko, National Aerospace University KhAI, Kharkiv, Ukraine Dr Oleg Ivanchenko, University of Customs and Finance, Dnipro, Ukraine Prof, DrS Volodymyr Kazymyr, Chernihiv National University of Technology, Ukraine Dr Eva Kern, Leuphana University of Lüneburg, Germany Prof, DrS Vyacheslav Kharchenko, National Aerospace University KhAI, Kharkiv, Ukraine Dr Maryna Kolisnyk, National Technical University KhPI, Kharkiv, Ukraine Prof, DrS Yuriy Kondratenko, Petro Mohyla Black Sea National University, Mykolaiv, Ukraine Dr Andriy Kovalenko, Centre for Safety Infrastructure Research and Analysis, Kharkiv, Ukraine Dr Sergey Krivenko, National Aerospace University KhAI, Kharkiv, Ukraine Dr Ravil Kudermetov, Zaporizzhya National Technical University, Ukraine Dr Vitaliy Kulanov, National Aerospace University KhAI, Kharkiv, Ukraine Dr Miroslav Kvassay, Zilina University, Slovakia Prof, Dr Vitaly Levashenko, Zilina University, Slovakia

6 Prof, DrS Eugenia Litvinova, Kharkiv National University of Radioelectronics, Ukraine Prof, DrS Vladimir Lukin, National Aerospace University KhAI, Kharkiv, Ukraine Dr Sergiy Lysenko, Khmelnitsky National University, Ukraine Prof, DrS Dmitry Maevsky, Odessa National Politechnical University, Ukraine Prof Dr Jan Magott, Wroclaw University of Science and Technology, Poland Prof, Dr George Markowsky, University of Maine, USA Dr Sergiy Martynenko, National Aerospace University KhAI, Kharkiv, Ukraine Dr Andriy Mashchak, Lviv Polytechnic National University, Ukraine Dr Jacek Mazurkiewicz, Wrocław University of Science and Technology, Poland Dr Olexandr Mulyak, Soft Serve, Lviv, Ukraine Dr Kate Netkachova, Adelard Company, London, United Kingdom DrS Oleg Odarushchenko, Research and Production Company Radiy, Ukraine Prof, DrS Roman Oliynykov, V. N. Karazin Kharkiv National University, Ukraine Prof, Dr Sigeru Omatu, Osaka Institute of Technology, Japan Prof, Dr Krzysztof Pancerz, University of Rzeszow, Poland Dr Anzhelika Parkhomenko, Zaporizzhya National Technical University, Ukraine Dr Oleksiy Pogrebnyak, Instituto Politécnico Nacional, Mexico City, Mexico Prof, DrS Oksana Pomorova, University of Łódź, Poland Dr Yuriy Ponochovnyi, Poltava National Technical University, Ukraine Prof, DrS Potii Olexandr, Institute of Information Technology, Kharkiv, Ukraine Kostiantyn Potomkin, The Australian National University, Canberra, Australia Dr Dana Prohazkova, Czech Technical University in Prague, Czech Republic Dr Oleksii Rubel, National Aerospace University KhAI, Kharkiv, Ukraine Prof, DrS Anatoly Sachenko, Ternopyl National Economical University, Ukraine Dr Dinesh Kumar Saini, Sohar University, Oman DrS Serhiy Shcherbovskykh, Lviv Polytechnic National University, Ukraine Dr Vadym Shkarupylo, Zaporizzhya National Technical University, Ukraine Prof, DrS Tatyana Shmielova, National Aviation University, Kyiv, Ukraine Dr Ievgen Sidenko, Petro Mohyla Black Sea National University, Mykolaiv, Ukraine Dr Oleksandr Shkiliuk, Lviv Polytechnic National University, Ukraine Prof, DrS Inna Skarga-Bandurova, East-Ukranian National University, Severodonetsk, Ukraine Dr Grigore Stamatescu, Politehnica University of Bucharest, Romania Dr Oleksiy Strjuk, RPC Radiy, Kropyvnytskyi, Ukraine Prof, DrS Larisa Titarenko, University of Zelena Gura, Poland Prof, DrS Alexander Totsky, National Aerospace University KhAI, Kharkiv, Ukraine Dr Leonidas Tsiopoulos, Tallinn University of Technology, Estonia Dr Oleksii Turuta, Kharkiv National University of Radioelectronics, Ukraine Prof, DrS Sergei Tyurin, Perm Research University, Russia Dr Mikhail Uss, Samsung Ukraine R&D Center, Kyiv, Ukraine Dr Dmytro Uzun, National Aerospace University KhAI, Kharkiv, Ukraine Dr Tomasz Walkowiak, Wrocław University of Science and Technology, Poland Prof, DrS Juri Vain, Tallinn University of Technology, Estonia Dr Sergiy Vilkomir, University of North Caroline, USA Dr Andriy Volkoviy, Mellanox Technologies, Kyiv, Ukraine Prof, DrS Bohdan Volochiy, Lviv Polytechnic National University, Ukraine Prof, Dr Benoit Vozel, University of Rennes 1, Lannion, France Dr Heinz-Dietrich Wuttke, Ilmenau University of Technology, Ilmenau, Germany

7 Prof, DrS Vitaly Yakovyna, Lviv Polytechnic National University, Ukraine Dr Nataliya Yakymets, Commissariat à l’Energie Atomique, Paris, France Dr Svitlana Yaremchuk, Danube Institute, Odessa Maritime Academy, Ukraine Prof, DrS Mikhail Yastrebenetsky, State Center of Nuclear and Radiation Safety, Kharkiv, Ukraine Prof DrS Sergei Zaitsev, Chernihiv National University of Technology, Ukraine Prof, Dr Elena Zaitseva, Zilina University, Slovakia Prof, Dr Wojciech Zamojski, Wrocław University of Science and Technology, Poland Prof, DrS Vladimir Zaslavskyi, Taras Shevchenko National University of Kyiv, Ukraine Prof, DrS Gryroriy Zholtkevych, V. N. Karazin Kharkiv National University, Ukraine Dr Mykhailo Zmysnyi, Lviv Polytechnic National University, Ukraine Prof, DrS Wlodek Zuberek, Memorial University, Canada

Local Organising Committee

Prof, DrS Tamara Smovzhenko, Banking University, Kyiv, Ukraine Dr Oleksandr Gordieiev, Banking University, Kyiv, Ukraine Dr Iryna Burlakova, Banking University, Kyiv, Ukraine Dr Galyna Chmeruk, Banking University, Kyiv, Ukraine Dr Ievgen Pichkalov, IEEE Ukraine Section, Ukraine Anna Rut’ko, Banking University, Kyiv, Ukraine

Information and Web Committee

Anastasiia Strielkina, National Aerospace University KhAI, Kharkiv, Ukraine Artem Tetskyi, National Aerospace University KhAI, Kharkiv, Ukraine Dr Valentina Butenko, National Aerospace University KhAI, Kharkiv, Ukraine Victoriia Merlak, National Aerospace University KhAI, Kharkiv, Ukraine Artem Perepelitsyn, National Aerospace University KhAI, Kharkiv, Ukraine

8 DESSERT’2018 timetable

Time/date May 24, Thursday May 25, Friday May 26, Saturaday May 27, Sunday 08:30 Registration Registration Registration 09:00 Plenary Session PS2 Plenary Session PS3 Plenary Session PS4

room 421 room 421 room 421 10:30 Coffee-break Coffee-break Coffee-break 11:00 S2.1 S2.2 S2.3 S2.4 S5.1 S5.2 S5.3 S5.4 S8.1 S8.2 S8.3 S8.4 Registration BD1 ES1 TI2 CI2 SW50 DW1 AI1 CS1 GC UI AI4 CS4 room 307 room 303 room 421 room 304 room 303 room 307 room 421 room 304 room 303 room 307 room 421 room 304

12:45 Lunch Lunch Lunch

14:00 Opening S3.1 S3.2 S3.3 S3.4 S6.1 S6.2 S6.3 S6.4 Plenary Session PS5 Plenary Session PS1 BD2 ES2 TI3 CI3 IT1 DW2 AI2 CS2 Awards. Closing room 421 room 421 room 307 room 303 room 421 room 304 room 303 room 307 room 421 room 304 15:00 15:45 Coffee-break Coffee-break Coffee-break 16:15 S1.1 S1.2 S1.3 S1.4 S4.1 S4.2 S4.3 S4.4 S7.1 S7.2 S7.3 S7.4 SR DD TI1 CI1 BD3 RT TI4 IT2 DW3 AI3 CS3 Free time room 307 room 303 room 421 room 304 room 307 room 303 room 421 room 304 room 303 room 307 room 421 room 304

18:00 Welcome Party Conference Dinner / Ship Excursion 21:00

Sections SR Software Quality and Reliability RT Discussion DD Dependability of Unmanned Vehicles, Robots and Drones IT IoT and Smart Systems TI Telecommunications, Image and Signal Processing DW Dependability of Internet, Web and Cloud systems CI Critical Infrastructure and I&C Safety and Security AI AI and Formal Systems BD Big Data and Data Analysis for Dependability CS Advanced Methods of Cyber Security and Cryptography ES Dependable Embedded and Programable Systems GC Green Computing and Communication SW50 Round Table “Software Engineering – NATO Conference: UI University-Industry Cooperation for Business and Critical Domains Challenges and Trends in Context Critical Computing” Layout of DESSERT’2018 Rooms

The Third Floor

The Fourth Floor

10 KEYNOTE SPEAKERS

Prof, Dr Andrzej Rucinski, University of New Hampshire, eCv Collaboratory USA

“Homo Hominus: Vitruvian and Dependable Cyber Society” Recently, Grand Challenges such as global water supply and global real time health monitoring are being addressed using state-of-the-art computer and communications technologies. These include such paradigms as: the Internet of Things (IoT), the Internet of Everything (IoE), fifth generation wireless networks (5G), robotics, artificial intelligence (AI) and alike. Following the definition of Christensen, they can individually be classified as disruptive innovation. However, this critical mass of innovations is collectively and synergistically impacting humanity and our behavior in an unprecedented fashion, and as such can be characterized as exponentially disruptive innovation. Homo Hominus© defined in this paper is a Homo Sapiens who possesses surviving and dominating intellectual skills adequate in the era of exponentially disruptive innovation. Both Homo Hominus and its abstract algebra model, defined as ReSeT©, are introduced, described, and characterized. The integration of spiritual “R”, societal “S”, and technological “T” domains which forms the ReSeT universe is compliant with the Dertouzos postulate of discarding an axiom made 300 years ago when scientists decided to separate technology and humanism. As a result, individuals coexisting with their digital avatars but equipped with the power of spirit and virtue are envisioned as modern Vitruvian humans forming dependable society against maladies, viruses and non-democratic ideologies. The dependability theory in this work is based on the extended PMC model originally defined by Preparata et al. Consequently, the presented approach can serve as an assessment metric for extensive scenarios of diverse dependable cyber societies. Furthermore, as implied by disruptive innovation, the presented approach paves unlimited opportunities for discoveries, studies, and implementation of novel ecosystems on a global scale seeking Grand Challenges solutions.

Prof, DrS Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv

“Algebraic Methods and Tools for Critical Software Verification” We present an algebraic approach for finding vulnerabilities in a program system that is given as the sequence of processor instructions. There is the transformation of code to algebraic specifications and providing its symbolic modeling for the detection of vulnerability cases that are presented as formulas in logic language. The method anticipates the usage of solving and proving systems integrated with the Algebraic Programming System.

Prof, DrS Vladimir Hahanov, Kharkiv National University of Radioelectronics, Ukraine

“Social Computing: Challenges and Solutions” The structures of cyber-social green computing are proposed, which are considered as components of cloud-driven technologies for exact monitoring and moral governance of the society. The main development trends of the cyber-physical structure presented in Gartner’s Hype Cycle are described to apply them in science, health, education, transport, industry and state structures. Prospective directions of the market-feasible technologies, related to green cyber-social monitoring and management of society, are proposed. An expanded description of technologies focused on the creation of the smart digital world, green cities and 5G telecommunications is performed. Recommendations are given for leveraging the

11 top 10 technologies of 2017 in business, healthcare, scientific and educational processes of higher education. Technologies of emotional-logical computing, a metric for measuring social relations along horizontal and vertical connections, rules of human behavior, focused on creating the emotional logic for modelling and simulation human behavior are proposed. A cyber-physical model of green statehood for the metric management of resources and citizens is introduced; it is based on digital monitoring and assessment of the needs of people, including components of social computing (relations, goals, management, personnel, infrastructure, resources), ordered by the degree of their influence on the market success. The motivation of the research is defined by high market feasibility of digital monitoring cyber-social management of the society, aimed at improving people’s life quality and preserving the planet’s ecology. Humanity has learned to manage the physical processes and objects, but there are practically not moral technologies for metric management of human and social groups. Lack of competent decisions of cyber-social computing is the cause of social corruption, pollution of the environment, conflicts and local wars. The aim of the work is to develop logical components of cyber social computing based on moral social relationship and human behavior models for accurate cloud management of social processes, by leveraging big data, metric online monitoring of the social groups opinion in order to improve the quality of human life and preserve the green ecology of the planet.

Prof, DrS Inna Skarga-Bandurova, East Ukrainian National University, Severodonetsk, Ukraine “Problem of Synchronizing and IoT-based Health Systems”

The study on synchronization of complex systems is of great interest in the scientific community. In recent decades, it has gone through several stages, including various well-known and new synchronization phenomena and their analysis, synchronous behaviors in nature, human society and the networks of low-power devices. Typical examples include understanding how the topology of the Internet affects the spread of the computer viruses, how the structure of a power grid affects the cascading failures over time, how the connecting patterns of an intercommunication network jeopardize its data traffic and dynamics, and so on. The rapid growth in low-power devices called the new challenges calling for a serious and systematic investigation. These devices interact to form large networks such as the M2M networks, IoT, Wearable devices, and Wireless Sensor Networks and the collaboration among them is a key to achieving the full potential of these networks.

One of the tasks there is synchronization of time. Time synchronization is a vital feature in many wireless sensor networks with applications ranging from structural health monitoring systems to wearable and embedded body sensors used for rehabilitation and sports medicine. A significant problem in this field is to guarantee dependable interaction between elements while keeping the whole network energy efficient. The talk offers an overview of the state-of-the-art advances and developments of the subject of synchronization on various complex networks, with emphasis on health applications. We also discuss some aspects of designing a multi-platform synchronization framework for speeding up the Personal Health Systems on mobile devices. The principal idea of our approach consists of usage of a synchronization framework that can easily be accessed from different devices running different operating systems, store data on different formats and provide some programming facilities to allow us customizing and extending its basic functionalities.

12 Prof, Dr Volodymyr Ponomaryov, Instituto Politécnico Nacional, Mexico City, Mexico “Sparse Learning Approach in Restoration and Filtering of Multidimensional Signals with Rapid Hardware Implementation (CPU multicore, GPU, DSP)” Satellite, Radar, Medical, Digital Photographs, HDTV, Virtual Reality, etc. are some of the 2D/3D signal applications where the restoration and filtering procedures are obligatory. Usually, these signals are corrupted by sensors non ideality, during transmission, or by noise contamination. The main objective of this paper is to discuss state-of-the-art methods and to suggest justified novel approach in restoration of 2D/3D data that can be used in mentioned applications. In applications, it is necessary to have several efficient restoration schemes, which depend on type of distortion and other priory information. Several original frameworks in processing of 2D/3D signals will be exposed in this paper comparing them with known techniques justifying the efficiency of novel approach via different criteria: objective as well as subjective ones. The principal idea of our approach consists of usage of several instruments: sparse learning techniques, order statistics, and fuzzy set theory. Modern theoretical methods in restoration are generally based on a possibility to gather more samples for similar parches into 2D/3D data during learning stage. Then, the restoration procedures use sophisticated statistical methods, which depend on data distortion model. The difficulty here is in selection, measuring and employing the similarity of group of objects for their best restoration. Several designed and better existing algorithms have been implemented on the CPU multicore and GPU platforms performing restoration of 2D/3D data in a real time environment.

Prof, DrS Alex Yakovlev, Newcastle University, United Kingdom

“Real-Power Computing” The traditional hallmark in embedded systems has been to minimize energy consumption while meeting hard and/or soft real-time deadlines. The basic principle was to transfigure the uncertainties of task execution times in the real world into energy saving opportunities. Emerging ubiquitous and autonomous systems will have to survive and operate under unreliable or limited power budgets. This will require significant changes in the computing paradigm underpinning their design. In this talk we introduce the concept of Real-Power Computing, where we will address hard and soft real-power systems, energy and power predictability, power-compute co-design principles, power- proportional computing architectures, run-time support for system survival, implications on programming models for real-power and some case studies for real-power computing.

Dr Mario Fusani, Institute of Information Science and Technologies (ISTI-CNR), System and Software Evaluation Center, Pisa, Italy

“Are safety-conformant products really safe?” Standards are normally used as references for safety-critical applications. It is common assumption among practitioners that the requirements expressing such references, being the results of years of work by a vast community of experts, are hardly questionable, so that any responsibility for possible safety violation is due to lack of process/product conformance or lack of care in conformance assurance. The purpose of the talk is to draw attention on some aspects by which the confidence on the efficacy of the Standards themselves, and the Standard quality, can be put under discussion. After introducing various points of possible weakness, not ignored in literature, the talk focuses on risks related to ambiguity, freedom of interpretation and support to certification. Results of analysis of some popular Standards, aided by natural language processing tools, are reported and briefly discussed. The aim of the discussion

13 is to provide suggestions the Standard makers may be wishing to consider, in order to improve Standard quality.

Prof Marco Vieira, University of Coimbra, Department of Informatics Engineering, Coimbra, Portugal

“Benchmarking the Security of Software Systems: Approach and Challenges”

A benchmark is a standard procedure that allows comparing systems or components according to specific characteristics (e.g., performance, dependability, security). A security benchmark should provide a metric (or small set of metrics) able to characterize the degree to which security goals are met in a given piece of code, allowing developers and administrators to make informed decisions. However, one of the biggest difficulties in designing such benchmarks is related to the fact that security assessment is, usually, much more dependent on what is unknown about the applications (e.g. unknown bugs, hidden vulnerabilities) than by what is known (e.g., known features, existing security mechanisms). In fact, security metrics are hard to define and compute because they involve making isolated estimations about the ability of an unknown individual (e.g., a hacker) to discover and maliciously exploit an unknown system characteristic (e.g., a vulnerability).

The work on performance benchmarking has started long ago. Ranging from simple benchmarks that target a very specific hardware system or component to very complex benchmarks focusing on complex systems (e.g., database management systems, operating systems), performance benchmarks have contributed to improve successive generations of systems. Research on dependability benchmarking has been boosted in the beginning of the millennium, leading to the proposal of several dependability benchmarks. Several works have been carried out by different groups and following different approaches (e.g., experimental, modeling, fault injection). Due to the increasing relevance of security aspects, security benchmarking is becoming an important research field. In this keynote we will discuss the recent achievements in the security benchmarking domain, and the grand challenges that need to be addressed in order to effectively be able to compare alternative solutions from a security perspective. In addition to the metrics and the benchmarking procedure, we will discuss enabling techniques and tools to support the benchmark, with particular focus on vulnerability and attack injection and trustworthiness measurement.

Prof Alexey Stakhov, FibTech (Fibonacci Technology) Company, Bolton, Ontario, Canada

“Numeral Systems with Irrational Bases for Mission-Critical Applications” This volume is the result of the author’s many-years of research in this field. These results were presented in the author’s two books, Introduction to the Algorithmic Measurement Theory(Moscow, Soviet Radio, 1977), and Codes of the Golden Proportion (Moscow, Radio and Communications, 1984), which had not been translated into English and are therefore not known to English-speaking audience. This volume sets forth new informational and arithmetical fundamentals of computer and measurement systems based on Fibonacci p-codes and codes of the golden p-proportions, and also on Bergman’s system and “golden” ternary mirror-symmetrical arithmetic. The book presents some new historical hypotheses concerning the origin of the Egyptian calendar and the Babylonian numeral system with base 60 (dodecahedral hypothesis), as well as about the origin of the Mayan’s calendar and their numeral system with base 20 (icosahedral hypothesis). The book is intended for the college and university level. The book will also be of interest to all researchers, who use the golden ratio and Fibonacci numbers in their subject areas, and to all readers who are interested to the history of mathematics. Readership: Researchers in mathematics and computer science. 14 Prof Jüri Vain, Department of Software Science, Tallinn University of Technology, Estonia

“Markov Model Guided Online Testing of Mission Critical Applications” This talk is about a novel approach to online conformance testing of mission critical applications during their operation. The reliability modes and quality of service of critical systems need to be monitored throughout the mission. This is to pre-empt software runtime errors and hardware faults that can evolve to a fatal mission failure. The difficulty in monitoring lies in identifying the system’s reliability mode online under dynamic time and resource constraints of the mission. When the decision making on reliability modes has severe time constraints the passive monitoring should be switched over to active testing whenever possible. To guide the testing strategy in those cases an integrated model-based approach is proposed. The Multi-Fragment Markov Models (MFMM) are used for specifying the system reliability and quality related behaviour on high level of abstraction. The more concrete state and timing constraints related to MFMM are specified explicitly using Uppaal Probabilistic Timed Automata (UPTA). The test hypothesis are selected based on the Markov model of the system’s reliability modes. It is demonstrated how predefined conformance test cases specified as UPTA models are extracted and their serialization strategy for mode identification generated. The theoretical results are illustrated with a System on Chip application example. Anatoliy Gorbenko, Leeds Beckett University, United Kingdom; National Aerospace University KhAI, Ukraine “Vulnerability Study of Enterprise Operation Systems” This paper analyses security problems of computer systems caused by operating systems (OS) vulnerabilities. An aggregated vulnerability database (VDB) has been developed by joining vulnerability records from two available VDB: the Common Vulnerabilities and Exposures system (CVE) and the National Vulnerabilities database (NVD). The aggregated data allow investigating the stages of the vulnerability life cycle, vulnerability disclosure and the elimination statistics for different OSs. The specific technical areas the paper covers are the quantitative assessment of vulnerabilities discovered and fixed in OSs. Anton Andrashov, Head of International Projects Division, Research and Production Corporation Radiy, Kropyvnytskyi, Ukraine “Research & Development Activities Supporting Safety Systems Design and Certification” Presentation topics: 1) RPC Radiy Company Profile 2) Development and Certification of FPGA-based Safety Platform RadICS 3) Research & Development Activities Supporting Safety Systems Design and Certification 4) R&D Topics and Solutions: FMEDA\FIT, Diversity Assessment, Cyber Security, Safety Requirement Management

Dr Viktor Kremin, Dr Oleksandr Karpin, Svyatoslav Paliy, Cypress Semiconductor Corporation, Lviv, Ukraine

“Secure Fingerprint Sensing and Identification for IoT” Presentation topics: 1. Cypress Semiconductor Corporation overview 2. Fingerprint sensing methods and challenges, fingerprint image recognition and matchers 3. How to make fingerprint solution secure: trusted environment, spoofs protection and liveness detection 4. Single-chip secure fingerprint identification for IoT using Cypress PSoC6

15

DESSERT’2018 Schedule, May 24, Tuesday

9.00 – 14.00. Registration for IEEE DESSERT’2018

14.00 – 15.45. Plenary session PS1 - Dependable World and Cyber Computing

Moderators: Prof Vyacheslav Kharchenko, Prof Anatoliy Gorbenko

14.00 – 14.20. DESSERT Welcome.  Greetings  Vyacheslav Kharchenko, National Aerospace University KhAI (Ukraine) TRENDS OF THE DESSERT COMMUNITY 14.20 – 14.35.  Mikhail Yastrebenetsky, Gnedenko Forum (Ukraine), Alexander Bochkov (Russia), Ekateryna Gnedenko and Charles Recchia (USA). GNEDENKO-FORUM AND IEEE (RELIABILITY) 14.35 – 15.10.  Andrzej Rucinski, University of New Hampshire, eCv Collaboratory (USA). HOMO HOMINUS: VITRUVIAN AND DEPENDABLE CYBER SOCIETY 15.10 – 15.45.  Vladimir Hahanov, Kharkiv National University of Radioelectronics (Ukraine). SOCIAL COMPUTING: CHALLENGES AND SOLUTIONS

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S1.1/SR – Software quality and reliability

Moderators: Dr Tetiana Hovorushchenko, Prof Dmitry Maevsky

 Tetiana Hovorushchenko and Oksana Pomorova. METHODOLOGY OF EVALUATING THE SUFFICIENCY OF INFORMATION ON QUALITY IN THE SOFTWARE REQUIREMENTS SPECIFICATIONS  Oleksandr Gordieiev and Vyacheslav Kharchenko. IT-ORIENTED SOFTWARE QUALITY MODELS AND EVOLUTION OF THE PREVAILING CHARACTERISTICS  Dmitry Maevsky, Dmitry Stetsyuk, Elena Maevskaya and Bogban Stetsyuk. PROBABILISTIC ASSUMPTIONS OF SOFTWARE RELIABILITY GROWTH MODELS  Oleksandr Rudenko, Elena Odarushchenko, Zinaida Rudenko and Maryna Rudenko. THE SECONDARY SOFTWARE DEFECTS NUMBER EVALUATION BASED ON CORRECTION OF THE EXPERIMENTAL DATA EXPONENTIAL LINE APPROXIMATION  Roman Odarchenko, Serhii Dakov and Larisa Dakova. OPERATOR CLASS SDN AND CLASSICAL IP NETWORK COSTS ESTIMATION

16.15 – 18.00. Session S1.2/DD – Dependability of unmanned vehicles, robots and drones

Moderators: Dr Volodymyr Toryanyk, DrS Dmitro Kucherov

 Dmitro Kucherov and Andrei Kozub. MATHEMATICAL MODEL OF UAV AS AGENT OF MULTIAGENT SYSTEM

16  Dmitriy Kritskiy, Alexander Karatanov, Serhii Koba and Eugene Druzhinin. INCREASING THE RELIABILITY OF DRONES DUE TO THE USE OF QUATERNIONS IN MOTION  Andrii Akymenko, Ol’ha Bashyns’ka and Sergii Nesterenko. PROBABILISTIC EVALUATING THE RELIABILITY OF THE CONTROL SYSTEM OF THE UNMANNED AVIATION COMPLEX  Vyacheslav Kharchenko and Volodymyr Toryanyk. CYBERSECURITY FOR INTERNET OF DRONES: ANALYSIS OF THE VULNERABILITIES AND IMECA BASED ASSESSMENT  Oleksandr Gerasin, Yuriy Kondratenko and Andriy Topalov. DEPENDABLE ROBOT’S SLIP DISPLACEMENT SENSORS BASED ON CAPACITIVE REGISTRATION ELEMENTS

16.15 – 18.00. Session S1.3/TI1 – Telecommunication, image and signal processing (Recognition and Detection)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

 Marlon Cuevas, Rogelio Reyes, Volodymyr Ponomaryov and Clara Cruz. SALIENT OBJECT DETECTION IN DIGITAL IMAGES BASED ON SUPERPIXELS AND INTRINSIC FEATURES  Igor Ruban, Kirill Smeliakov, Vitalii Martovytskyi, Dmitry Pribylnov and Nataliia Bolohova. METHOD OF NEURAL NETWORK RECOGNITION OF GROUND-BASED AIR OBJECTS  Artem Svyrydov, Heorhii Kuchuk and Olha Tsiapa. IMPROVING EFFICIENTY OF IMAGE RECOGNITION PROCESS: APPROACH AND CASE STUDY  Oleh Viunytskyi, Alexander Totsky, Vyacheslav Shulgin and Valery Sharonov. BISPECTRUM- BASED GESTURE RECOGNITION TECHNIQUE  Volodymyr Palahin, Jozef Juhár, Serhiy Leleko, Elena Palahina and Serhiy Polozhaenko. COMPUTER SIMULATION OF SIGNAL DETECTION IN NON-GAUSSIAN NOISE WITH THE NEYMAN-PEARSON MOMENT QUALITY CRITERION

16.15 – 18.00. Session S1.4/CI1 – Critical infrastructure and I&C safety and security (CI safety and security)

Moderators: DrS Yevhen Brezhniev, Dr Herman Fesenko

 Liudmyla Lutai, Vyacheslav Kharchenko, Roman Fedorenko and Nikolay Fedorenko. EXPERT ASSESSMENT OF OPTIONS FOR POST ACCIDENCE MONITORING SYSTEMS WITH MULTI-VERSION STRUCTURE  Yevhen Brezhniev. MULTILEVEL FUZZY LOGIC-BASED APPROACH FOR CRITICAL ENERGY INFRASTRUCTURE’S СYBER RESILIENCE ASSESSMENT  Sergiy Gnatyuk and Viktoriia Sydorenko. UNIFIED DATA MODEL FOR DEFINING STATE CRITICAL INFORMATION INFRASTRUCTURE IN CIVIL AVIATION  Eugene Babeshko, Vyacheslav Kharchenko, Kostiantyn Leontiiev, Eugene Ruchkov and Vladimir Sklyar. RELIABILITY ASSESSMENT OF SAFETY CRITICAL SYSTEM CONSIDERING DIFFERENT COMMUNICATION ARCHITECTURES  Myroslav Komar, Anatoliy Sachenko,Vladimir Golovko and Vitaliy Dorosh. COMPRESSION OF NETWORK TRAFFIC PARAMETERS FOR DETECTING CYBER ATTACKS BASED ON DEEP LEARNING

18.00 – 20.00. Welcome Party

17 DESSERT’2018 Schedule, May 25, Friday

9.00 – 10.30. Plenary session PS2 - Standards, Testing and IoT Security

Moderators: Prof Vyacheslav Kharchenko, Dr Mario Fusani

9.00 – 9.35.  Dr Mario Fusani, Institute of Information Science and Technologies (ISTI-CNR), System and Software Evaluation Center (Pisa, Italy). ARE SAFETY-CONFORMANT PRODUCTS REALLY SAFE? 9.35 – 10.10.  Prof Jüri Vain, Department of Software Science, Tallinn University of Technology (Estonia). MARKOV MODEL GUIDED ONLINE TESTING OF MISSION CRITICAL APPLICATIONS  Prof Anatoliy Gorbenko, School of Computing, Creative Technologies and Engineering, Leeds Beckett University (United Kingdom); Department of Computer Systems, Networks and Cyber Security, National Aerospace University KhAI (Ukraine). VULNERABILITY STUDY OF ENTERPRISE OPERATION SYSTEMS 10.10 – 10.30.  Dr Viktor Kremin’, Dr Oleksandr Karpin, Svyatoslav Paliy,, Cypress Semiconductor Corporation (Ukraine, USA). FINGERPRINT SENSING AND IDENTIFICATION FOR IOT

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S2.1/BD1 – Big data and data analysis for dependability (Big Data based technologies)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

 Ievgen Sidenko, Korinna Filina, Galyna Kondratenko, Danyl Chabanovskyi and Yuriy Kondratenko. EYE-TRACKING TECHNOLOGY FOR THE ANALYSIS OF DYNAMIC DATA  Svitlana Yaremchuck and Vyacheslav Kharchenko. BIG DATA AND SIMILARITY-BASED SOFTWARE RELIABILITY ASSESSMENT: THE TECHNIQUE AND APPLIED TOOLS  Illia Sokolov and Ihor Turkin. RESOURCE EFFICIENT DATA WAREHOUSE OPTIMIZATION  Andrii Oliinyk, Serhii Leoshchenko, Valerii Lovkin, Sergey Subbotin and Tetiana Zaiko. PARALLEL DATA REDUCTION METHOD FOR COMPLEX TECHNICAL OBJECTS AND PROCESSES  Dmitry Korzun, Aleksey Varfolomeyev, Anton Shabaev and Vladimir Kuznetsov. ON DEPENDABILITY OF SMART APPLICATIONS WITHIN EDGE-CENTRIC AND FOG COMPUTING PARADIGMS

11.00 – 12.45. Session S2.2/ES1 – Dependable embedded and programmable systems (Verification and testing)

Moderators: Dr Oleg Odarushchenko, DrS Vitaliy Romankevich

 Oleg Odarushchenko, Oleksiy Strjuk, Kostiantyn Leontiiev, Vyacheslav Kharchenko, Alexandr Ivasyuk and Yevhen Bulba. FAULT-INSERTION TESTING: SW & HW FIT-ABILITY, PROCEDURE AND TOOLS FOR SAFETY PLC-BASED SYSTEM SIL CERTIFICATION

18  Andrii Feseniuk, Alexey Romankevich, Vitaliy Romankevich and Tetiana Sapsai. ABOUT A FAULT-TOLERANT MULTIPROCESSOR CONTROL SYSTEM IN A PRE-DANGEROUS STATE  Kostiantyn Zashcholkin and Oleksandr Drozd. THE DETECTION METHOD OF PROBABLE AREAS OF HARDWARE TROJANS LOCATION IN FPGA-BASED COMPONENTS OF SAFETY-CRITICAL SYSTEMS  Maryna Miroshnyk, Aleksander Shkil, Elvira Kulak, Inna Filippenko, Dariia Kucherenko and Anna Grebenyuk. SYNCHRONIZING SEQUENCES FOR VERIFICATION OF FINITE STATE MACHINES  Oleksandr Drozd, Mykola Kuznietsov, Oleksandr Martynyuk and Myroslav Drozd. A METHOD OF THE HIDDEN FAULTS ELIMINATION IN FPGA PROJECTS FOR THE CRITICAL APPLICATIONS

11.00 – 12.45. Session S2.3/TI2 – Telecommunication, image and signal processing (Encoding and watermarking)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

 Oleksii Borysenko, Oleksii Horiachev, Svitlana Matsenko and Oleksandr Kobiakov. NOISE- IMMUNE CODES BASED ON PERMUTATIONS  Sergey Krivenko, Mikhail Zriakhov, Vladimir Lukin and Benoit Vozel. MSE AND PSNR PREDICTION FOR ADCT CODER APPLIED TO LOSSY IMAGE COMPRESSION  David Octavio Muñoz-Ramirez, Volodymyr Ponomaryov, Rogelio Reyes-Reyes, Volodymyr Kyrychenko, Oleksandr Pechenin and Alexander Totsky. A ROBUST WATERMARKING SCHEME TO JPEG COMPRESSION FOR EMBEDING A COLOR WATERMARK INTO DIGITAL IMAGES  Javier Molina-Garcia, Volodymyr Ponomaryov, Rogelio Reyes-Reyes, Clara Cruz-Ramos, Valerii Sharonov, Volodymyr Kyrychenko, Oleksandr Pechenin and Alexander Totsky. PARALLEL SCHEME IN MULTICORE PROCESSORS FOR VIDEO AUTHENTICATION BASED ON WATERMARKING

11.00 – 12.45. Session S2.4/CI2 – Critical infrastructure and I&C safety and security (NPP I&C safety and security)

Moderators: Prof Mikhail Yastrebenetsky, Prof Volodymyr Zaslavskyi

 Vyacheslav Kharchenko, Andriy Kovalenko, Olexandr Siora and Anton Andrashov. V-MODELS OF SAFETY CRITICAL SYSTEM LIFE CYCLE: CLASSIFICATION AND APPLICATION  Artem Symonov and Oleksandr Klevtsov. ABOUT THE PROBLEM OF REGULATORY ACTIVITY FOR COMPUTER SECURITY OF NPP INSTRUMENTATION AND CONTROL SYSTEMS IN UKRAINE  Mikhail Yastrebenetsky, Oleksandr Klevtsov, Yurii Rozen and Serhii Trubchaninov. ELABORATION OF THE SYSTEM OF THE STANDARDS, RELATED TO SAFETY AND SECURITY OF INSTRUMENTATION AND CONTROL SYSTEMS OF UKRAINIAN NUCLEAR POWER PLANTS  Herman Fesenko. OPTIMAL REDISTRIBUTION OF UAVS IN CASE OF CHANGING MONITORING ZONES AFTER A NPP ACCIDENT  Vyacheslav Duzhyi, Vyacheslav Kharchenko, Artem Panarin and Dmytro Rusin. DIVERSITY METRIC EVALUATION CONSIDERING EXTENDED NUREG-7007 DIVERSITY CLASSIFICATION

12.45 – 14.00. Lunch 19

14.00 – 15.45. Session S3.1/BD2 – Big Data and Data Analysis for dependability (Big Data for Industry)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

 Natalia Pantielieieva, Sergii Krynytsia, Yulia Zhezherun, Mykhailo Rebryk and Liudmyla Potapenko. DIGITIZATION OF THE UKRAINIAN ECONOMY: STRATEGIC CHALLENGES AND IMPLEMENTATION TECHNOLOGIES  Oleksii Chmara, Olena Golembovska and Vyacheslav Kharchenko. MODEL AND SOFTWARE FOR TRACKING AND CONTENT ANALYSIS OF MEDIA INFORMATION IN THE INTERNET  Maksym Nesterov and Inna Skarga-Bandurova. TROUBLESHOOTING AND PERFORMANCE METHODOLOGY FOR BUSINESS CRITICAL SYSTEMS  Vitaliy Pavlenko, Igor Shostak, Olga Morozova and Mariia Danova. INFORMATION SUPPORT FOR BUSINESS PROCESSES ON THE VIRTUAL ENTERPRISES WITH THE USE OF MULTI-AGENT TECHNOLOGIES  Maksym Mariushko, Ruslan Pashchenko and Artem Nechausov. CLOUD SYSTEM ARCGIS ONLINE AS A MANAGERIAL DECISION-MAKING TOOL IN AGRICULTURAL PRODUCTION

14.00 – 15.45. Session S3.2/ES2 – Dependable embedded and programmable systems (Design and implementation)

Moderators: Prof Oleksandr Drozd, Dr Yuliya Tanasyuk

 Artem Grekov and Sergey Tyurin. FAULT TOLERANT ELECTRONIC ENGINE CONTROLLER  Yuliya Tanasyuk, Artem Perepelitsyn and Sergey Ostapov. PARAMETERIZED FPGA-BASED IMPLEMENTATION OF CRYPTOGRAPHIC HASH FUNCTIONS USING CELLULAR AUTOMATA  Roman Babakov and Olexander Barkalov. STRUCTURAL REPRESENTATION OF SYNTHESIS METHODS OF FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS  Oleksandr Barkalov, Larysa Titarenko, Irina Zeleneva and Svitlana Hrushko. IMPLEMENTING ON THE FPGA OF COMBINED FINITE STATE MACHINE WITH COUNTER  Julia Drozd, Oleksandr Drozd, Valeria Nikul and Julian Sulima. FPGA IMPLEMENTATION OF VERTICAL ADDITION WITH A BITWISE PIPELINING OF CALCULATIONS

14.00 – 15.45. Session S3.3/TI3 – Telecommunications, Image and Signal Processing (Signal processing and monitoring)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

 Petro Nevodovskyi, Anatolii Vidmachenko, Oleksandr Morozhenko, Orest Ivakhiv, Oleksandr Zbrutskyi and Mykhailo Geraimchuk. METHODOLOGY OF RELIABILITY STRATOSPHERIC AEROSOL OF THE EARTH'S ATMOSPHERE OBSERVATIONS  Volodymyr Kazymyr, Ruslan Zarovsky, Andrey Radchenko, Denis Yurchenko and Alexander Magdebur. INTELLIGENT SYSTEM FOR RELIABLE MONITORING AND CONTROLLING OF AUTOMOBILE TRAFFIC  Vyacheslav Shulgin and Oleh Viunytskyi. SPATIO-TEMPORAL SIGNAL PROCESSING FOR FETUS AND MOTHER STATE MONITORING DURING PREGNANCY  Hanna Ukhina and Valeriy Sytnikov. DESIGN THE NPP TECHNOLOGICAL PROCESSES AUTOMATED CONTROL SYSTEMS’ ADJUSTABLE FREQUENCY-DEPENDENT COMPONENTS

20 14.00 – 15.45. Session S3.4/CI2 – Critical infrastructure and I&C safety and security (Healthcare and industry systems safety)

Moderators: DrS Yevhen Brezhniev, Dr Herman Fesenko

 Yuriy Ponochovniy, Evhen Bulba, Alina Yanko and Egor Hozbenko. INFLUENCE OF DIAGNOSTICS ERRORS ON SAFETY: INDICATORS AND REQUIREMENTS  Anastasiia Strielkina, Vyacheslav Kharchenko and Dmytro Uzun. AVAILABILITY MODELS FOR HEALTHCARE IOT SYSTEMS: CLASSIFICATION AND RESEARCH CONSIDERING ATTACKS ON VULNERABILITIES  Alina Fedoseeva and David Demidenko. THE AUTOMATION OF THE TECHNOLOGICAL PROCESSES IN THE MANUFACTURING INTERNET OF THINGS CONTEXT FOR THE PARMACEUTICAL ENTERPRISES  Anastasiia Strielkina, Oleg Illiashenko, Marina Zhydenko and Dmytro Uzun. CYBERSECURITY OF HEALTHCARE IOT-BASED SYSTEMS: REGULATION AND CASE-ORIENTED ASSESSMENT  Serhiy Shcherbovskykh, Krzysztof Kozlowski and Dariusz Pazderski. EVALUATION OF INTEGRAL ANTI-WINDUP FEEDBACK COEFFICIENT FOR PI REGULATOR

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S4.1/BD3 – Big Data and Data Analysis (Optimization of Big Data Processes)

Moderators: Prof Yuriy Kondratenko, Prof Inna Skarga-Bandurova

 Daria Pavlova, Anna Zavolodko, Ivan Obod, Iryna Svyd, Oleksandr Maltsev and Liliia Saikivska. OPTIMIZING DATA PROCESSING IN INFORMATION NETWORKS OF AIRSPACE SURVEILLANCE SYSTEMS  Alexander Tymochko, Sergey Dudenko, Oleg Bodiak and Alexander Perepelitsa. MANDATORY RESOURCE ACCESS CONTROL BASED ON A REACHABILITY MATRIX IN STORAGE AREA NETWORKS  Ivan Lobachev, Roman Maleryk, Svitlana Antoshchuk, Dennis Filiahin and Mykhaylo Lobachev. INTEGRATION OF NEURAL NETWORKS INTO SMART SENSOR NETWORKS  Bo Jiang and Xinjun Du. PERSONALIZED TRAVEL ROUTE RECOMMENDATION WITH SKYLINE QUERY  Volodymyr Zaslavskyi and Maya Pasichna. STRATEGIC EVALUATION OF ELECTRICITY GENERATION STRUCTURE IN THE EU AND UKRAINE: GEOGRAPHICAL FOCUS

16.15 – 18.00. Session S4.2 / Round Table/ Free Discussion

16.15 – 18.00. Session S4.3/TI4 – Telecommunications, Image and Signal Processing (Telecommunication systems and technologies)

Moderators: Prof Vladimir Lukin, Prof Volodymyr Ponomaryov

 Dmytro Salnykov. SECURITY ANALYSIS OF WIRELESS COMMUNICATION SYSTEMS OF THE MILLIMETER WAVES BAND  Serhii Kozelkov, Oleksandr Shulha, Oleksandr Shefer and Dmytro Neliuba. METHOD OF RATIONAL SATELLITE TELECOMMUNICATIONS INTERFERENCE IMPROVEMENT  Yana Kremenetskaya, Sergey Markov and Svetlana Morozova. АPPLICATION OF HYBRID MILLIMETRE WAVE TECHNOLOGY FOR GREEN WIRELESS COMMUNICATIONS 21  Anatoliy Makarenko, Nadiia Dovzhenko, Ganna Grynkevych and Viktoriia Zhebka. ALGORITHM DESIGN FOR DIGITAL PROCESSING OF SIGNALS USING TELECOMMUNICATIONS TECHNOLOGY OFDM  Daria Pavlova, Ivan Obod, Anna Zavolodko, Iryna Svyd, Oleksandr Maltsev and Liliia Saikivska. COMPARATIVE ANALYSIS OF DATA CONSOLIDATION IN SURVEILLANCE NETWORKS

16.15 – 18.00. Session S4.4 – Workshop on ERASMUS+ ALIOT Project (working in own schedule)

Moderators: Prof Chris Phillips, Prof Vyacheslav Kharchenko

18.00 – 21.00. Conference Dinner/Ship

22 DESSERT’2018 Schedule, May 26, Saturday

9.00 – 10.30. Plenary session PS3 - Safety, Security and Verification

Moderators: Prof Oleksandr Letychevskyi, Anton Andrashov

9.00 – 9.20.  Anton Andrashov, Head of International Projects Division, Research and Production Corporation Radiy (Kropyvnytskyi, Ukraine). RESEARCH & DEVELOPMENT ACTIVITIES SUPPORTING SAFETY SYSTEMS DESIGN AND CERTIFICATION 9.20 – 9.55.  Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine (Kyiv, Ukraine). ALGEBRAIC METHODS AND TOOLS FOR CRITICAL SOFTWARE VERIFICATION 9.55 – 10.30.  Prof Marco Vieira, University of Coimbra, Department of Informatics Engineering, (Coimbra, Portugal). BENCHMARKING THE SECURITY OF SOFTWARE SYSTEMS: APPROACH AND CHALLENGES

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S5.1 / Round Table – Software Engineering – NATO Conference: Challenges and Trends in context Critical Computing

Moderators: Prof Anatoliy Gorbenko, Prof Marco Vieira, Dr Mario Fusani, Dr Oleksandr Gordieiev

Topics for discussion (TBA)  Conference SE-NATO1968 and modern trends  SW quality models/standards evolution. What’s next?  Critical software: open systems and COTS  SW (IoT, Cloud, …) reliability and security assessment

11.00 – 12.45. Session S5.2/DW1 – Dependability of Internet, Web and Cloud systems (Fog Computing and Virtualization)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

 Natalia Axak, Dmytro Rosinskiy, Olesia Barkovska and Igor Novoseltsev. CLOUD-FOG-DEW ARCHITECTURE FOR PERSONALIZED SERVICE-ORIENTED SYSTEMS  Dmytro Ageyev, Oleg Bondarenko, Tamara Radivilova and Walla Alfroukh. CLASSIFICATION OF EXISTING VIRTUALIZATION METHODS USED IN TELECOMMUNICATION NETWORKS  Yuriy Vlasov, Oleg Illiashenko, Dmytro Uzun and Oleksandr Haimanov. PROTOTYPING TOOLS FOR IOT SYSTEMS BASED ON VIRTUALIZATION TECHNIQUES  Dmytro Sitnikov, Oleg Ryabov, Olena Titova and Andriy Kovalenko. ASSESSMENT OF EXTENDED AGGREGATED ASSOCIATION RULES

23 11.00 – 12.45. Session S5.3/AI1 – AI and Formal Systems (Neural networks and expert systems)

Moderators: Prof Sergii Kavun, Prof Vitaly Levashenko

 Volodymyr Bychko, Roman Yershov, Liudmyla Plichko, Yurii Gulyi and Maxim Zhydko. AUTOMATION OF CLUSTERING METHODS AT PLANNING LOGISTICS PROCESSES WITH GEOREFERENCED  Oleksandr Shkiliuk, Bohdan Volochiy, Leonid Ozirkovskyy and Vyacheslav Kharchenko. THE SCHEME OF PATHS METHOD BASED TECHNIQUE FOR EVALUATING OF THE BEHAVIOR ALGORITHMS EFFICIENCY  Artem Tetskyi, Vyacheslav Kharchenko and Dmytro Uzun. NEURAL NETWORKS BASED CHOICE OF TOOLS FOR PENETRATION TESTING OF WEB APPLICATIONS  Vitaliy Lytvynov, Nikolai Stoyanov and Igor Skiter. SYNTHESIS OF IMMUNE AND NEURAL NETWORK ALGORITHMS IN SYSTEMS OF DETECTION OF NON-STANDARD BEHAVIOUR OF INFORMATION NETWORKS  Petro Pavlenko, Tavrov Dan, Volodymyr Temnikov, Sergiy Zavgorodniy and Andrii Temnikov. THE METHOD OF EXPERT EVALUATION OF AIRPORTS AVIATION SECURITY USING PERCEPTUAL CALCULATIONS

11.00 – 12.45. Session S5.4/CS1 – Advanced Methods of Cyber Security and Cryptography (Encoding and cryptography)

Moderators: Prof Valeriy Hlukhov, Mikhail Tsuranov

 Vladimir Pevnev. INVESTIGATION OF THE ALGORITHM FOR DETERMINING THE PRIMALITY OF NUMBERS  Mikhail Tsuranov, Vladimir Pevnev and Anton Zhmyrov. NOISE-IMMUNE ENCODING: THE ASPECTS OF CYBERSECURITY ASSURANCE  Oleksii Borysenko, Svitlana Matsenko, Olha Berezhna and Oleksii Horiachev. DECODING DEVICE OF FIBONACCI CODES IN INFORMATION SYSTEMS  Oleksii Borysenko, Svitlana Matsenko, Oleksii Horiachev and Anatolii Novhorodtsev. HIGH- SPEED COUNTER BASED ON THE MINIMUM FORM OF THE FIBONACCI CODE  Valeriy Hlukhov, Mohammed Rahma and Ivan Zholubak. DEVICES FOR MULTIPLICATIVE INVERSE CALCULATION IN BINARY GALOIS FIELDS

12.45 – 14.00. Lunch

14.00 – 15.45. Session S6.1/IT1 – IoT and Smart Systems (IoT Evaluation and Implementation)

Moderators: Prof Andrzej Rucinski, Dr Maryna Kolisnyk

 Yuriy Kondratenko, Galyna Kondratenko and Ievgen Sidenko. MULTI-CRITERIA DECISION MAKING FOR SELturECTING A RATIONAL IOT PLATFORM  Heorhii Vorobets, Olexandr Vorobets and Valentyna Horditsa. FEATURES OF SYNTHESIS AND STATISTICAL PROPERTIES OF A MODIFIED STREAM ENCODER WITH DYNAMIC KEY CORRECTION  Irina Gadolina and Rashid Zaynetdinov. THE ESTIMATION OF THE SUFFICIENT RANDOM LOADING REALIZATION LENGTH IN THE PROBLEM OF MACHINE PARTS LONGEVITY  Ivan Medvedev, Oleg Illiashenko, Dmytro Uzun and Anastasiia Strielkina. IOT SOLUTIONS FOR HEALTH MONITORING: ANALYSIS AND CASE STUDY

24  Maryna Kolisnyk, Vyacheslav Kharchenko and Iryna Piskachova. THE RESEARCH OF THE MODEL OF SMART OFFICE AVAILABILITY CONSIDERING PATCHES ON THE ROUTER FIREWALL SOFTWARE

14.00 – 15.45. Session S6.2/DW2 – Dependability of Internet, Web and Cloud systems (Modeling, FPGA as a service and P2P networks)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

 Oleg Ivanchenko, Vyacheslav Kharchenko and Kyrylo Smoktii. SEMI-MARKOV’S MODELS FOR AVAILABILITY ASSESSMENT OF AN INFRASTRUCTURE AS A SERVICE CLOUD WITH MULTIPLE POOLS OF PHYSICAL AND VIRTUAL MACHINES  Vitaliy Kulanov, Artem Perepelitsyn and Inna Zarizenko. METHOD OF DEVELOPMENT AND DEPLOYMENT OF RECONFIGURABLE FPGA-BASED PROJECTS IN CLOUD INFRASTRUCTURE  Mykola Kryshchenko, Olga Prila, Volodymyr Kazymyr and Dmytro Sysa. THE TECHNOLOGY OF RELIABLE TASK EXECUTION IN GRID ENVIRONMENT USING DYNAMIC VIRTUAL IMAGES  Naors Y Anad Alsaleem, Riyad Mubarak Abdallah and Maan Y Anad Alsaleem. MATHEMATICAL MODELS OF PEER TO PEER NETWORKS FOR STREAM IPTV TRANSMISSION  Tatiana Solianyk, Andriy Popov, Julia Bilokin and Kateryna Vasylchenko. DEVELOPMENT OF THE SYSTEM TO PROVIDE CROSS-BROWSER COMPATIBILITY OF WEB APPLICATIONS

14.00 – 15.45. Session S6.3/AI2 – AI and Formal Systems (Application AI for security and safety)

Moderators: Prof Ah-Lian Kor, Dr Sergii Lysenko

 Joakim Kargaard, Tom Drange, Ah-Lian Kor, Hissam Tawfik and Emlyn Butterfield. DEFENDING IT SYSTEMS AGAINST INTELLIGENT MALWARE  Jan Rabcan, Vitaly Levashenko, Elena Zaitseva and Olga Chovancova. GENERATION OF STRUCTURE FUNCTION BASED ON AMBIGUOUS AND INCOMPLETELY SPECIFIED DATA USING FUZZY RANDOM FOREST  Sergii Lysenko, Kira Bobrovnikova and Oleg Savenko. A BOTNET DETECTION APPROACH BASED ON THE CLONAL SELECTION ALGORITHM  Kashif Zia, Kahalifa Albadi, Dinesh Saini and Arshad Muhammad. CONDITIONS LEADING TOWARDS A MORE ROBUST FOOD SAFETY SYSTEM: THE RESULTS OF AN AGENT- BASED SOCIAL SIMULATION

14.00 – 15.45. Session S6.4/CS2 – Advanced Methods of Cyber Security and Cryptography (Post quantum cryptography)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

 Ivan Gorbenko, Olena Kachko, Maryna Yesina and Olga Akolzina. POST-QUANTUM ALGORITHM OF ASYMMETRIC ENCRYPTION AND ITS BASIC PROPERTIES  Aleksei Vambol. THE PROSPECTS FOR GROUP-BASED KNAPSACK CIPHERS IN THE POST-QUANTUM ERA  Alexandr Kuznetsov, Maria Lutsenko, Anastasia Kiyan, Tymur Makushenko and Tetiana Kuznetsova. CODE-BASED KEY ENCAPSULATION MECHANISMS FOR POST-QUANTUM STANDARDIZATION

25  Alexandr Kuznetsov, Anastasia Kiyan, Maria Lutsenko, Iryna Chepurko and Sergii Kavun. CODE- BASED CRYPTOSYSTEMS FROM NIST PQC  Alexandr Kuznetsov, Roman Serhiienko, Dmytro Prokopovych-Tkachenko and Yuri Tarasenko. ALGEBRAIC IMMUNITY OF SYMMETRIC CIPHERS

15.45 – 16.15. Coffee-break

16.15 – 18.00. Session S7.1/IT2 – IoT and Smart Systems (IoT and Smart Systems Security and Safety)

Moderators: Prof Volodymyr Kazymyr, Dr Heorhii Vorobets

 Jean Pierre Nzabahimana. ANALYSIS OF SECURITY AND PRIVACY CHALLENGES IN INTERNET OF THINGS  Victoriia Turkina and Dmytro Ihnatiev. INTERVAL EVALUATION OF TRUST AND REPUTATION FOR INTERNET OF THINGS OBJECTS  Roman Diachok, Roman Dunets and Halyna Klym. SYSTEM OF DETECTION AND SCANNING BAR CODES FROM RASPBERRY PI WEB CAMERA  Vladyslav Vasylenko, Volodymyr Kazymyr, Sergei Zaitsev and Anna Usik. ADAPTIVE TURBO CODES FOR SAFETY IN WIRELESS INTERNET OF THINGS  Halyna Klym, Roman Dunets, Ivan Horbatyi and Roman Diachok. SECURITY SUBSYSTEM AND SMART HOME MANAGEMENT SYSTEM

16.15 – 18.00. Session S7.2/DW3 – Dependability of Internet, Web and Cloud systems (Hyperconvergent platforms and virtual machines)

Moderators: Dr Oleg Ivanchenko, Artem Perepelitsyn

 Anatoliy Plakhteyev, Vyacheclav Frolov and Artem Perepelitsyn. EDGE COMPUTING FOR IOT: AN EDUCATIONAL CASE STUDY  Victoriia Merlak, Nina Kuchuk, Sergiy Shmatkov and Artem Nechausov. RESOURCES REDISTRIBUTION METHOD OF UNIVERSITY E‑ LEARNING ON THE HYPERCONVERGENT PLATFORM  Oleksandr Beznosyk and Kostyantyn Kharchenko. THE INPUT FILE FORMAT FOR IOT MANAGEMENT SYSTEMS BASED ON A DATA FLOW VIRTUAL MACHINE  Vladimir Vorotnikov. METHOD FOR ESTIMATING LATENCY IN HETEROGENEOUS FRACTAL NETWORKS  Tamara Radivilova, Lyudmyla Kirichenko, Maxim Tawalbeh, Vitalii Bulakh and Dmytro Ageyev. DECRYPTING SSL/TLS TRAFFIC FOR HIDDEN THREATS DETECTION

16.15 – 18.00. Session S7.3/AI3 – AI and Formal Systems (Model checking and decision making)

Moderators: Prof Elena Zaitseva, Dr Mykhailo Zmysnyi

 Bohdan Volochiy, Volodymyr Onishchenko, Mykhailo Zmysnyi and Ihor Kulyk. ASSESSMENT OF POTENTIAL CAPABILITIES OF GUARD SIGNALING COMPLEX USING SEISMIC SENSORS  Patrik Rusnak, Miroslav Kvassay, Andrej Forgac and Elena Zaitseva. LOGIC DIFFERENTIAL CALCULUS IN TIME-DEPENDENT ANALYSIS OF A PAIR OF SYSTEM COMPONENTS  Valeriy Gorbachov, Batiaa Kataeba, Olga Ponomarenko and Yuri Romanenkov. FORMAL TRANSFORMATIONS OF STRUCTURAL MODELS OF COMPLEX NETWORK SYSTEMS  Sergii Chalyi, Ihor Levykin, Aleksandr Petrychenko and Ievgen Bogatov. CAUSALITY-BASED MODEL CHECKING IN BUSINESS PROCESS MANAGEMENT TASKS

26  Olesia Barkovska, Natalia Axak, Dmytro Rosinskiy and Serhii Liashenko. APPLICATION OF MYDRIASIS IDENTIFICATION METHODS IN PARENTAL CONTROL SYSTEMS

16.15 – 18.00. Session S7.4/CS4 – Advanced Methods of Cyber Security and Cryptography (Lightweight cryptography and implementation)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

 Ivan Gorbenko, Alexandr Kuznetsov, Yurii Gorbenko, Anton Alekseychuk and Vlad Tymchenko. STRUMOK KEYSTREAM GENERATOR  Alexandr Kuznetsov, Vladislav Frolenko, Egor Eremin, Olga Zavgorodnia and Dmytro Ivanenko. RESEARCH OF CROSS-PLATFORM STREAM CIPHERS IMPLEMENTATION  Keteryna Isirova and Oleksandr Potii. DECENTRALIZED PUBLIC KEY INFRASTRUCTURE DEVELOPMENT PRINCIPLES  Mariia Rodinko, Roman Oliynykov and Roman Eliseev. SEARCH FOR ONE-ROUND DIFFERENTIAL CHARACTERISTICS OF LIGHWEIGHT BLOCK CIPHER CYPRESS-256  Nikolay Poluyanenko and Oleksandr Potii. THE ANALYSIS OF THE APPLICABILITY OF THE DECIMATION AND THE GROUP ADDITION PROPERTY TO M-NLFSR

18.00 – 21.00. Excursion

27 DESSERT’2018 Schedule, May 27, Sunday

9.00 – 10.30. Plenary session PS4 - Signal Processing and Green Computing

Moderators: Prof Alex Yakovlev, Prof Volodymyr Ponomaryov

9.00 – 9.30.  Volodymyr Ponomaryov, Instituto Politécnico Nacional, (Mexico City, Mexico). SPARSE LEARNING APPROACH IN RESTORATION AND FILTERING OF MULTIDIMENSIONAL SIGNALS WITH RAPID HARDWARE IMPLEMENTATION (CPU MULTICORE, GPU, DSP) 9.30 – 10.00.  Alex Yakovlev, Newcastle University (United Kingdom). REAL-POWER COMPUTING 10.00 – 10.30.  Inna Skarga-Bandurova, East Ukrainian National University, (Severodonetsk, Ukraine). PROBLEM OF SYNCHONIZING AND IOT-BASED HEALTH SYSTEMS

10.30 – 11.00. Coffee-break

11.00 – 12.45. Session S8.1/GC – Green Computing and Communication

Moderators: Prof Anatoliy Gorbenko, Prof Alexander Chemeris

 Anatoliy Gorbenko, Olga Tarasyuk, Ah-Lian Kor and Vyacheslav Kharchenko. GREEN ECONOMICS: A ROADMAP TO SUSTAINABLE ICT DEVELOPMENT  Igor Shostak, Lina Volobuyeva and Mariia Danova. ONTOLOGY BASED APPROACH FOR GREEN SOFTWARE ECOSYSTEM FORMALIZATION  Igor Shostak, Mariia Danova, Yuri Romanenkov and Yuliia Kuznetsova. A RETROSPECTIVE ANALYSIS TECHNOLOGY OF THE GREEN SOFTWARE ECOSYSTEMS DEVELOPMENT ON THE PARAMETRIC IDENTIFICATION OF THE BROWN MODEL  Sergii Sushko and Alexander Chemeris. INCREASING AN ENERGY EFFICIENCY OF COMPUTATIONAL SYSTEM BY USING AUTOMATIC SOFTWARE OPTIMIZATION

11.00 – 12.45. Session S8.2/UI – University-industry cooperation for business and critical domains

Moderators: Dr Artem Boyarchuk, Prof Dmitry Maevsky

 Ihor Turkin and Yuliya Vykhodets. SOFTWARE ENGINEERING MASTER’S PROGRAM AND GREEN IT: THE DESIGN OF THE SOFTWARE ENGINEERING SUSTAINABILITY COURSE  Artem Boyarchuk, Vyacheslav Kharchenko and Volodymyr Sklyar. MODELS AND CASES FOR SUSTAINABLE UNIVERSITY-INDUSTRY COOPERATION IN ICT SECTOR  Daria Shteinbrekher and Kostiantyn Danko. EVALUATION OF KNOWLEDGE MANAGEMENT SYSTEM FOR UNIVERSITY-INDUSTRY COOPERATION  Vyacheslav Kharchenko, Dmitry Maevsky, Elena Maevskaya, Chris Phillips and Lolita Vystorobska. EMPLOYERS' REQUIREMENTS-ORIENTED ASSESSMENT OF IOT CURRICULUM: THE PROJECTS CABRIOLET AND ALIOT  Olena Kopishynska, Yurij Utkin, Sergij Voloshko, Igor Sliusar and O. Kartashova. ALGORITHM OF CREATING OF AN EFFICIENT COOPERATION BETWEEN UNIVERSITIES, BUSINESS COMPANIES AND AGRICULTURE ENTERPRISES DURING STUDYING AND IMPLEMENTATION OF INFORMATION SYSTEMS

28 11.00 – 12.45. Session S8.3/AI4 – AI and Formal Systems (Smart education and industry systems)

Moderators: Prof Vitaly Levashenko, Dr Mykhailo Poliakov

 Anatolii Kargin, Oleksandr Ivaniuk, Georgii Galych and Artem Panchenko. POLYGON FOR SMART MACHINE APPLICATION  Volodymir Panchenko, Alina Zamula, Sergii Kavun and Ivan Mikheev. INTELLIGENT MANAGEMENT OF THE ENTERPRISE PERSONNEL SECURITY SYSTEM  Mykhailo Poliakov, Heinz-Dietrich Wuttke and Karsten Henke. COGNITIVE REMOTE LABORATORIES FOR STUDYING THE ELEMENTS OF THE SMART INDUSTRY  Nikolay Koshevoy, Viktor Muratov and Elena Kostenko. APPLICATION OF THE FISH SEARCH ALGORITHM FOR OPTIMIZATION PLANS OF THE FULL FACTOR EXPERIMENT

11.00 – 12.45. Session S8.4/CS4 – Advanced Methods of Cyber Security and Cryptography (Steganography and authentification)

Moderators: Prof Oleksandr Potii, Prof Sergii Kavun

 Vladyslav Borodavka and Mikhail Tsuranov. BIOMETRICS: ANALYSIS AND MULTI- CRITERION SELECTION  Galyna Liashenko, Andrii Astrakhantsev and Valeriia Chernikova. NETWORK STEGANOGRAPHY APPLICATION FOR REMOTE BIOMETRIC USER AUTHENTICATION  Alexandr Kuznetsov, Andriy Pushkar’ov, Anastasia Kiyan and Tetiana Kuznetsova. CODE-BASED ELECTRONIC DIGITAL SIGNATURE  Alexandr Kuznetsov, Kyryl Shekhanin, Andrii Kolhatin, Ivan Mikheev and Ivan Bilozetsev. HIDING DATA IN THE STRUCTURE OF THE FAT FAMILY FILE SYSTEM

12.45 – 14.00. Lunch

14.00 – 15.00. Plenary session PS5 - Mission-Critical Computing. Awards. Closing

Moderators: Prof Vyacheslav Kharchenko, Prof Anatoliy Gorbenko

14.00 – 14.30  Prof Alexey Stakhov, FibTech (Fibonacci Technology) Company, Bolton (Ontario, Canada). NUMERAL SYSTEMS WITH IRRATIONAL BASES FOR MISSION-CRITICAL APPLICATIONS 14.30 – 15.00

 Awards. Closing

29 LOCATION

The IEEE DESSERT’2018 will be held in the capital of Ukraine, Kyiv (May, 24-27), at the University of the Banking, which is placed near Poshtova Ploscha metro station (1/1, Andriivska street, Kyiv).

30 TRANSPORT

To get to the University of the Banking of National Bank Of Ukraine (Kyiv) from the airport of your arrival: 1. Kyiv Boryspil Airport (KBP). Kyiv Boryspil Airport is the home airport for Ukraine International Airlines located near the town of Boryspil and some 30km from the city centre. a. You can order a taxi at the airport's Arrivals hall. Prices are negotiable, but expect to pay USD 35-45 for a one-way trip between Kyiv Boryspil Airport and central Kiev. b. There is a frequent 24-hour bus service to/from downtown Kyiv (Central railway station or Central coach station) available, with journey time of approx 45-60 minutes. 2. International airport Airport Kyiv "Zhulyany" (IEV). a. You can order a taxi at the airport's Arrivals hall. Prices are negotiable, but expect to pay USD 35-45 for a one-way trip between Kyiv "Zhulyany" Airport and central Kiev. To get from the central railway station to the University of the Banking of National Bank Of Ukraine: 1. From “Vokzalna” (Вокзальна) station of Kyiv Metro you should get to “Khreshchatyk” (Хрещатик) station (via “Universytet” (Університет) and “Teatralna” (Театральна) stations of Kiev Metro). 2. Change a Metro line from M1 to M2, “Khreshchatyk” (Хрещатик) to “Maidan Nezalezhnosti” (Майдан Незалежності) station, then get to “Poshtova Ploscha” (Поштова площа) station and exit. 3. Walk to the University of the Banking of National Bank of Ukraine (approx. 5-7 minutes, see location).

Taxi in Kyiv: +380445006424 +380975013501 +380933214004 +380505013501

31 ALPHABETICAL INDEX OF AUTHORS

Chmeruk G...... 8 A Chovancova O...... 25 Crus-Ramos C...... 19 Abramov S...... 6 Cruz C...... 17 Abramova V...... 6 Cuevas M...... 17 Ageyev D...... 23, 26 Akolzina O...... 25 D Akymenko A...... 17 Albadi K...... 25 Dakov S...... 16 Alekseychuk A...... 27 Dakova L...... 16 Alfoukh W...... 23 Danko K...... 28 Andrashov A...... 15, 19, 23 Danova M...... 20, 28 Antoshchuk S...... 21 Demidenko D...... 21 Antyufeyeva M...... 5 Diachok R...... 26 Astrakhantsev A...... 29 Dorosh V...... 17 Axak N...... 23, 27 Doukas N...... 6 Dovzhenko N...... 22 B Drange T...... 25 Drozd Ju...... 20 Babakov R...... 20 Drozd M...... 19 Babeshko Eu...... 17 Drozd O...... 6, 19, 20 Bardis N...... 5, 6 Druzhinin Eu...... 17 Barkalov O...... 6, 20 Du X...... 21 Barkovska O...... 23, 27 Dudenko S...... 21 Bashynska O...... 17 Dunets R...... 26 Belotserkovsky A...... 6 Duzhyi V...... 19 Berezhna O...... 24 Beznosyk O...... 26 E Bilokin Ju...... 25 Bilozetsev I...... 29 Eliseev R...... 27 Bo J...... 21 Eremin E...... 27 Bobrovnikova K...... 25 Bochkov A...... 16 F Bodiak O...... 21 Bogatov Ie...... 26 Fedorenko N...... 17 Bogomolov S...... 6 Fedorenko R...... 17 Bolohova N...... 17 Fedoseeva A...... 21 Bondarenko O...... 23 Feseniuk A...... 19 Borodavka V...... 29 Fesenko H...... 6, 17, 19, 21 Borysenko O...... 19, 24 Filiahin D...... 21 Boyarchuk A...... 6, 28 Filina K...... 18 Brezhniev Ye...... 6, 17, 21 Flippenko I...... 19 Bulakh V...... 26 Forgac A...... 26 Bulba Ye...... 18, 21 Frolenko V...... 27 Burlakova I...... 8 Frolov V...... 26 Butenko V...... 8 Fusani M...... 6, 13, 18, 23 Butterfield E...... 25 Bychko V...... 24 G C Gadolina I...... 24 Galych G...... 29 Cabral B...... 6 Geraimchuk O...... 20 Chabanovskyi O...... 18 Gerasin O...... 17 Chalyi S...... 26 Giandomenico F...... 6 Chemeris A...... 6, 28 Gnatyuk S...... 17 Chen D.-J...... 6 Gnedenko E...... 16 Chepurko I...... 26 Golembovska O...... 4, 5, 20 Cherkashyn D...... 6 Golovko V...... 17 Chernikova V...... 29 Gorbachov V...... 26 Chmara O...... 20 Gorbenko A...... 4, 5, 6, 15, 16, 18, 23, 28, 29 32 Gorbenko I...... 25, 27 Kor A.-L...... 5, 25, 28 Gorbenko Yu...... 27 Kordas V...... 6 Gordieiev O...... 4, 5, 6, 8, 16, 23 Korzun D...... 18 Grebenyuk A...... 19 Koshevoy N...... 29 Grekov A...... 20 Kostenko E...... 29 Grynkevich G...... 22 Kovalenko A...... 6, 19, 23 Gulyi Yu...... 24 Kozelkov S...... 21 Kozlowski K...... 21 H Kozub A...... 16 Kremenetskaya Ya...... 21 Hahanov V...... 6, 11, 16 Kremin V...... 15, 18 Hahina O...... 4, 5 Kritskiy D...... 16, 17 Haimanov O...... 23 Krivenko S...... 6, 19 Henke K...... 29 Krynytsia S...... 20 Hlukhov V...... 6, 24 Kryshchenko M...... 25 Horbatyi I...... 26 Kucherenko D...... 19 Horditsa V...... 24 Kucherov D...... 16 Horiachev O...... 19, 24 Kuchuk H...... 17 Hovorushchenko T...... 6, 16 Kuchuk N...... 26 Hozbenko E...... 21 Kudermetov R...... 6 Hrushko S...... 20 Kulak E...... 19 Kulanov V...... 6, 25 I Kulyk I...... 26 Kuznetsov A...... 25, 26, 27, 29 Ihnatiev D...... 26 Kuznetsov V...... 18 Illiashenko O...... 4, 5, 6, 21, 23, 24 Kuznetsova A...... 5 Irakhiv O...... 20 Kuznetsova T...... 25, 29 Isirova K...... 27 Kuznetsova Yu...... 28 Ivanchenko O...... 6, 23, 25, 26 Kuznietsov M...... 19 Ivanenko D...... 27 Kvassay M...... 6, 26 Ivaniuk O...... 29 Kyrychenko V...... 19 Ivasyuk A...... 18 L J Leleko S...... 17 Juhar J...... 17 Leontiiev K...... 17, 18 Leoshchenko S...... 18 K Letychevskyi O...... 11, 23 Levashenko V...... 6, 24, 25, 29 Kachko O...... 25 Levykin I...... 26 Karatanov A...... 17 Liashenko G...... 29 Kargaard J...... 25 Liashenko S...... 27 Kargin A...... 29 Litvinova Eu...... 7 Karpin O...... 15, 18 Lobachev I...... 21 Kartashova O...... 28 Lobachev M...... 21 Kataeba B...... 26 Lovkin V...... 18 Kavun S...... 24, 25, 26, 27, 29 Lukin V...... 7, 17, 19, 20, 21 Kazymyr V...... 6, 20, 25, 26 Lutai L...... 17 Kern E...... 6 Lutsenko M...... 25, 26 Kharchenko K...... 26 Lysenko S...... 7, 25 Kharchenko V...... 4, 5, 6, 16, 17, 18, 19, 20, 21, 22, 24, 25, 28, 29 Lytvynov V...... 24 Kirichenko L...... 26 Kiyan A...... 25, 26, 29 M Klevtsov O...... 19 Klym H...... 26 Maan Y Anad Alsaleem ...... 25 Koba S...... 17 Maevskaya E...... 16, 28 Kobiakov P...... 19 Maevsky D...... 7, 16, 28 Kolhatin A...... 29 Magdebur A...... 20 Kolisnyk M...... 6, 24, 25 Magott J...... 7 Komar M...... 17 Makarenko A...... 22 Kondratenko G...... 18, 24 Makushenko T...... 25 Kondratenko Yu...... 6, 17, 18, 20, 21, 24 Maleryk R...... 21 Kopishynska O...... 28 Maltsev O...... 21, 22 33 Mariushko M...... 20 Pasichna M...... 21 Markov S...... 21 Pavlenko P...... 24 Markowsky G...... 7 Pavlenko V...... 20 Martovytskyi V...... 17 Pavlova D...... 21, 22 Martynenko S...... 7 Pazderski D...... 21 Martynyuk O...... 19 Pechenin O...... 19 Mashchak A...... 7 Perepelitsa A...... 21 Matsenko S...... 19, 24 Perepelitsyn A...... 8, 20, 23, 25, 26 Mazaukiewicz J...... 7 Petrychenko A...... 26 Medinskaya M...... 4, 5 Pevnev V...... 24 Medvedev I...... 24 Phillips C...... 22, 28 Merlak V...... 8, 26 Pichkalov Ie...... 8 Mikheev I...... 29 Piskachova I ...... 25 Miroshnyk M...... 19 Plakhteyev A...... 26 Mokhor V...... 6 Plichko L...... 24 Molina-Garcia J...... 19 Pogrebnyak O...... 7 Morozhenko O...... 20 Poliakov M...... 29 Morozova O...... 20 Polozhaenko S...... 17 Morozova S...... 21 Poluyanenko N...... 27 Muhammad A...... 25 Pomorova O...... 7, 16 Mulyak O...... 7 Ponochovniy Yu...... 7, 21 Munoz-Ramirez D. O...... 19 Ponomarenko O...... 26 Muratov V...... 29 Ponomaryov V...... 13, 17, 19, 20, 21, 28 Popov A...... 25 N Popov P...... 5 Potapenko L...... 20 Naors Y Anad Alsaleem ...... 25 Potii O...... 7, 25, 27, 29 Nechausov A...... 20, 26 Potomkin K...... 7 Neliuba D...... 21 Pribylnov D...... 17 Nesterenko S...... 17 Prila O...... 25 Nesterov M...... 20 Prohazkova D...... 7 Netkachova K...... 7 Prokopovych-Tkachenko D...... 26 Nevodovskyi P...... 20 Pushkarov A...... 29 Nikul V...... 20 Novhorodtsev A...... 24 R Novoseltsev I...... 23 Nzabahimana J. P...... 26 Rabcan J...... 25 Radchenko A...... 20 O Radivilova T...... 23, 26 Rahma M...... 24 Obod I...... 21, 22 Rebryk M...... 20 Odarchenko R...... 16 Recchia Ch...... 16 Odarushchenko E...... 16 Reyes R...... 17, 19 Odarushenko O...... 4, 5, 7, 18 Reyes-Reyes R...... 19 Oliinyk A...... 18 Riyad Mubarak Abdallah ...... 25 Oliynykov R...... 7, 27 Rocinskiy D...... 23 Omatu S...... 7 Rodinko M...... 27 Onishchenko V...... 26 Romanenkov Yu...... 26, 28 Ostapov S...... 20 Romankevich A...... 19 Ozirkovskyy L...... 24 Romankevich V...... 18, 19 Romanovsky A...... 6 P Rosinskiy D...... 27 Rozen Yu...... 19 Palahin V...... 17 Ruban I...... 17 Palahina E...... 17 Rubel O...... 7 Paliy S...... 15, 18 Ruchkov Eu...... 17 Panarin A...... 19 Rucinski A...... 5, 11, 16, 24 Pancerz K...... 7 Rudenko M...... 16 Panchenko A...... 29 Rudenko O...... 16 Panchenko V...... 29 Rudenko Z...... 16 Pantielieieva N...... 20 Rusin D...... 19 Parkhomenko A...... 7 Rusnak P...... 26 Pashchenko R...... 20 Russo S...... 6 34 Rutko A...... 8 Tawfik H...... 25 Ryabov O...... 23 Temnikov A...... 24 Temnikov V...... 24 S Tetskyi A...... 4, 5, 8, 24 Titarenko L...... 7, 20 Sachenko A...... 7, 17 Titova O...... 23 Saikivska L...... 21, 22 Topalov A...... 17 Saini D...... 7, 25 Toryanyk V...... 16, 17 Salnykov D...... 21 Totsky A...... 7, 17, 19 Sapsai T...... 19 Trubchaninov S...... 19 Savenko O...... 25 Tsiapa O...... 17 Serhiienko A...... 26 Tsiopoulos L...... 7 Shabaev A...... 18 Tsuranov M...... 24, 29 Sharonov V...... 17, 19 Turkin I...... 18, 28 Shcherbovskykh S...... 7, 21 Turkina V...... 26 Shefer O...... 21 Turuta O...... 7 Shekhanin K...... 29 Tymcnenko V...... 27 Shkarupylo V...... 7 Tymochko A...... 21 Shkil A...... 19 Tyurin S...... 7, 20 Shkiliuk O...... 7, 24 Shmielova T...... 4, 7 U Shostak I...... 20, 28 Shteinbrekher D...... 28 Ukhina H...... 20 Shulgin V...... 17, 20 Usik A...... 26 Shulha O...... 21 Uss M...... 7 Sidenko Ie...... 7, 18, 24 Utkin Yu...... 28 Siora O...... 5, 19 Uzun D...... 7, 21, 23, 24 Sitnikov D...... 23 Skarga-Bandurova I...... 7, 12, 18, 20, 21, 28 V Skiter I...... 24 Sklyar V...... 6, 17, 28 Vain Ju...... 5, 7, 15, 18 Sliusar I...... 28 Vambol A...... 25 Smatkov S...... 26 Varfolomeyev A...... 18 Smeliakov I...... 17 Vasylchenko K...... 25 Smoktii K...... 25 Vasylenko V...... 26 Smovzhenko T...... 8 Vidmachenko A...... 20 Sokolov I...... 18 Viera M...... 14, 23 Solianyk T...... 25 Vilkomir S...... 7 Stakhov A...... 14, 29 Viunytskyi O...... 17, 20 Stamatescu G...... 7 Vlasov Yu...... 23 Stetsyuk B...... 16 Volkoviy A...... 7 Stetsyuk D...... 16 Volobuyeva L...... 28 Stoyanov M...... 24 Volochiy B...... 7, 24, 26 Strielkina A...... 4, 5, 8, 21, 24 Voloshko S...... 28 Strjuk O...... 7, 18 Vorobets H...... 24, 26 Subbotin S...... 18 Vorobets O...... 24 Sulima Ju...... 20 Vorotnikov V...... 26 Sushko S...... 28 Vozel B...... 7, 19 Svyd I...... 21, 22 Vykhodets Yu...... 28 Svyrydov A...... 17 Vystorobska L...... 28 Sydorenko V...... 17 Symonov A...... 19 W Sysa D...... 25 Sytnikov V...... 20 Walkowiak T...... 7 Wuttke H.-D...... 7, 29 T Y Tagarev T...... 6 Tanasyuk Yu...... 20 Yakovlev A...... 13, 28 Tarasenko Yu...... 26 Yakovyna V...... 8 Tarasyuk O...... 28 Yakymets N...... 8 Tavrov D...... 24 Yanko A...... 21 Tawalbeh M...... 26 Yanovsky F...... 5 35 Yaremchuk S...... 8, 18 Zavgorodnia O...... 27 Yastrebenetsky M...... 8, 16, 19 Zavgorodniy S...... 24 Yershov R...... 24 Zavolodko A...... 21, 22 Yesina M...... 25 Zaynetdinov R...... 24 Yurchenko D...... 20 Zeleneva I...... 20 Zhebka V...... 22 Z Zhezherun Yu...... 20 Zhmyrov A...... 24 Zadovsky R...... 20 Zholtkevych G...... 8 Zaiko T...... 18 Zholubak I...... 24 Zaitsev S...... 8, 26 Zhydenko M...... 21 Zaitseva E...... 5, 8, 25, 26 Zhydko M...... 24 Zamojski W...... 8 Zia K...... 25 Zamula A...... 29 Zmysnyi M...... 8, 26 Zarisenko I...... 25 Zriakhov M...... 19 Zashcholkin K...... 19 Zuberek W...... 8 Zaslavsky O...... 5 Zvrutskyi O...... 20 Zaslavskyi V...... 8, 19, 21

36