| Vol-1844 urn:nbn:de:0074-1844-4 Copyright © 2017 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# ICTERI 2017
ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer

### Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer

### Kyiv, Ukraine, May 15-18, 2017.

Edited by

### Vadim Ermolayev *
Nick Bassiliades **
Hans-Georg Fill ***
Vitaliy Yakovyna ****
Heinrich C. Mayr *****
Vyacheslav Kharchenko ******
Vladimir Peschanenko *******
Mariya Shyshkina ********
Mykola Nikitchenko *********
Aleksander Spivakovsky **********

* Zaporizhzhya National University, Ukraine
** Aristotle University of Thessaloniki, Greece
*** Universität Wien, Austria
**** Lviv Polytechnic National University, Ukraine
***** Alpen-Adria-Universitat Klagenfurt, Austria
****** National Aerospace University 'Kharkiv Aviation Institute', Ukraine
******* Kherson State University, Ukraine
******** Institute of Information Technologies and Learning Tools, Ukraine
********* Taras Shevchenko National University of Kyiv, Ukraine
********** Verkhovna Rada of Ukraine, Kherson State University, Ukraine

## Table of Contents

- Cover and Preface
- Organization and Committees
- Sponsors and Organizers

### Keynote Talks

- Designing for Learning: Patterns, Architectures and Tools (Keynote Talk) 1
  Yannis Dimitriadis
- Linked Open Data about Springer Nature Conferences. The Story So Far (Keynote Talk) 2
  Aliaksandr Birukou

### Main Conference Track 1: Advances in ICT Research

- Internet of Things Approach for Automation of the Complex Industrial Systems 3-18
  Yuriy Kondratenko, Oleksiy Kozlov, Oleksiy Korobko, Andriy Topalov
- The SAD System: a Current State and Future Work 19-22
  Alexander Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine
- Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning 23-32
  Michael Godlevsky, Sergey Orekhov, Elena Orekhova

### Main Conference Track 2: Information Systems Technology and Applications

- Computer Modeling of Hydrodynamic and Heat-Mass Transfer Processes in the Vortex Type Granulation Devices 33-47
  Artem Artyukhov, Viktor Obodiak, Pavlo Boiko, Pablo Rossi
- ICT and Personal Income Tax Control in Ukraine 48-55
  Olena Tymchenko, Yuliia Sybirianska
- Econometric Modeling of Financial Time Series Volatility Using Software Packages 56-71
  Olena Liashenko, Tetyana Kravets, Kateryna Krytsun
- Electroencephalogram Signals Classification by Ordered Fuzzy Decision Tree 72-87
  Jan Rabcan, Miroslav Kvassay
- Game Theoretic Analysis of Multi-Processor Schedulers: Matrix Multiplication Example 88-95
  Oleksii Ignatenko

### Main Conference Track 3: Academia / Industry ICT Cooperation

- Decision Making in Information Technologies Governance of Companies 96-110
  Yaroslava Samchynska, Maksym Vinnyk
- Information and Communication Platform as a Complex Approach for Solving Information Asymmetry Problems 111-126
  Alla Ivashchenko, Yuliia Sybirianska, Yevheniia Polischuk
- ICT for Performance Assessment of Emergent Technologies Operators 127-138
  Oleksandr Burov
- Mathematical Model of Microeconomic System with Different Social Responsibilities in Software Module 139-154
  Vitaliy Kobets, Alexander Weissblut

### Main Conference Track 4: ICT in Education

- The Organization of Students’ Joint Activity by Means of Popular Network Services 155-165
  Halyna Kuchakovska
- Quality Assessment of Teaching the Disciplines in the E-learning Environment of Sumy State University 166-175
  Yuliia Denysenko, Vitalii Ivanov, Oleksandr Ivchenko
- ICT Advanced Training of University Teachers 176-190
  Oleksandr Spivakovskiy, Nataliya Kushnir, Natalya Valko, Maksym Vinnyk
- Design, Development and Use of Decision Support Systems in the Study of Economic Disciplines in Higher Education 191-206
  Nataliya Osipova, Vitaliy Kobets, Tatyana Bazanova
- Integration of Information Technologies’ Dynamic Development into Academic Teaching Process 207-222
  Galyna Chornous, Serhii Rybalchenko
- Is Knowledge of Mathematics a Key for Success for Studying ICT? 223-228
  Leo Van Moergestel, John-Jules Meyer
- E-Learning Managers Training at Universities: Projection, Design and Efficiency Indicators 229-244
  Nataliia Morze, Oksana Buinytska, Olena Glazunova, Olena Kuzminska, Galyna Protsenko, Iryna Vorotnykova
- SCADA Systems and Augmented Reality as Technologies for Interactive and Distance Learning 245-256
  Alexander Prokhorov, Ihor Klymenko, Elena Yashina, Olga Morozova, Sergey Oleynick, Tatiana Solyanyk
- Competence Approach to Modeling and Control of Students’ Learning Pathways in the Cloud Service 257-264
  Vitaliy Pavlenko, Aleksander Prokhorov, Olena Kuzminska, Mariia Mazorchuk
- Developing a Pedagogical Intervention Support based on Bayesian Networks 265-272
  Juan Pablo Martínez Bastida, Elena Gavrilenko, Andrey Chukhray
- Effectiveness and Transparency of Sentiment Analysis Tools for Academic Purposes 273-280
  Iuliia Iarmolenko
- Learning System FRIMAN 281-288
  Jozef Kostolny, Monika Vaclavkova
- Rankings of Students Based on Experts’ Assessment of Levels of Verification of Learning Outcomes by Test Items 289-302
  Aleksandra Mreła, Oleksandr Sokołov

### Workshop 3L-Person

- Environmental Geo-information Technologies as a Tool of Pre-service Mining Engineer’s Training for Sustainable Development of Mining Industry 303-310
  Volodymyr Morkun, Serhiy Semerikov, Svitlana Hryshchenko, Kateryna Slovak
- Statistical Software in the Higher School Educational Process 311-318
  Taras Kobylnyk
- VlabEmbed - the New Plugin Moodle for the Chemistry Education 319-326
  Pavlo Nechypurenko, Serhiy Semerikov
- The Learning Technique of the SageMathCloud Use for Students Collaboration Support 327-339
  Maya Popel, Svitlana Shokalyuk, Mariya Shyshkina
- The Concepts of Software Development for OOP and BAP Self-Learning Courses 340-347
  Alena Zhmurko, Vladyslav Kruglyk, Michail Lvov
- Mechanical Engineers’ Training in Using Cloud and Mobile Services in Professional Activity 348-359
  Maryna Rassovytska, Andrii Striuk
- The Evolution of Teaching Methods of Students in Electronic Social Networks 360-371
  Svitlana Lytvynova, Olga Pinchuk
- Planning and Implementation of the Project "Cloud Services to Each School" 372-379
  Vasyl Oleksiuk, Olessia Oleksiuk, Mykola Berezitskyi
- Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes 380-387
  Michael Lvov, Hanna Shmarova
- Data Processing Technologies for Calculating Prognostic Validity of Educational Achievement Tests 388-395
  Serhiy Rakov, Mariia Mazorchuk, Viktoriia Dobriak
- The Systems of Computer Mathematics in the Cloud-Based Learning Environment of the Educational Institutions 396-405
  Mariya Shyshkina, Ulyana Kohut, Maya Popel
- Methods, Forms and Safety of Learning in Corporate Social Networks 406-413
  Svitlana Lytvynova, Oleksandr Burov
- Implementation of Stakeholders’ Requirements and Innovations for ICT Curriculum Through Relevant Competences 414-427
  Hennadiy Kravtsov, Vitaliy Kobets
- Digital Storytelling in a Foreign Language Classroom of Higher Educational Establishments 428-439
  Maria Leshchenko, Larysa Ruban, Larysa Tymchuk
- Development of E-Learning Quality Assessment Model in Pedagogical University 440-450
  Nadiia Balyk, Vasyl Oleksiuk, Galina Shmyger
- The Implementation of Cloud Services in Ukrainian Pre-School Educational Institution Management 451-458
  Yuliya Nosenko, Viktoriya Bohdan
- The Implementation of Multimedia Technology in Ukrainian Inclusive Pre-school Education 459-466
  Yuliya Nosenko, Zhanna Matyukh

### Workshop RMSE

- A Formal Proof of Correctness of a Distributed Presentation Software System 467-487
  Ievgen Ivanov, Taras Panchenko
- Logical Time Models to Study Cyber-Physical Systems 488-503
  Hassan Khalil El Zein, Grygoriy Zholtkevych
- An Approach To Formalization of an Extension of Floyd-Hoare Logic 504-523
  Artur Korniłowicz, Andrii Kryvolap, Mykola Nikitchenko, Ievgen Ivanov
- Formalization and Algebraic Verification of Legal Requirements 524-535
  Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir Peschanenko, Oleksandr Letychevskyi, Maryna Morokhovets, Volodymyr Skobelev, Maksym Poltorackiy
- The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification 536-554
  Michael Lvov, Vladimir Peschanenko, Oleksandr Letychevskyi, Yuliia Tarasich

### Workshop TheRMIT

- Metamorphic Viruses’ Detection Technique Based on the Equivalent Functional Block Search 555-568
  Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk, Bohdan Savenko
- Reliability Synthesis for UAV Flight Control System 569-582
  Yuriy Pashchuk, Yuriy Salnyk, Serhiy Volochiy
- Pseudoprime Numbers: Basic Concepts and the Problem of Security 583-593
  Vladimir Pevnev
- Multi-Fragment Markov Model Guided Online Test Generation for MPSoC 594-607
  Jüri Vain, Leonidas Tsiopoulos, Vyacheslav Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik
- Computerized System for Remote Level Control with Discrete Self-Testing 608-619
  Yuriy Kondratenko, Oleksiy Kozlov, Andriy Topalov, Oleksandr Gerasin
- Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update 620-633
  Bogdan Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak, Vyacheslav Kharchenko
- Semi-Markov Availability Model for Infrastructure as a Service Cloud Considering Hidden Failures of Physical Machines 634-644
  Oleg Ivanchenko, Vyacheslav Kharchenko, Yurij Ponochovny, Ivan Blindyuk, Oksana Smoktii
- Software Reliability Growth Model`s Assumptions in Context of the Secondary Faults 645-653
  Dmitry Maevsky, Elena Maevskaya, Lyudmila Shapa
- Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems 654-661
  Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov
- AHP-Based Comparative Analysis of Electricity Generating Portfolios for the Companies in EU and Ukraine: Criteria, Reliability, Safety 662-669
  Volodymyr Zaslavskyi, Maya Pasichna
- Assurance Case Driven Design based on the Harmonized Framework of Safety and Security Requirements 670-685
  Vladimir Sklyar, Vyacheslav Kharchenko
- Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs 686-698
  Vyacheslav Kharchenko, Svitlana Yaremchuk
- A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router 699-712
  Maryna Kolisnyk, Vyacheslav Kharchenko, Iryna Piskachova, Nikolaos Bardis
- Minimal Cut and Minimal Path Vectors in Reliability Analysis of Binary- and Multi-State Systems 713-726
  Miroslav Kvassay, Elena Zaitseva, Vitaly Levashenko
- Usable Security Versus Secure Usability: an Assessment of Attributes Interaction 727-740
  Oleksandr Gordieiev, Vyacheslav Kharchenko, Kate Vereshchak

- Author Index

2017-05-26: submitted by Vitaliy Yakovyna, metadata incl. bibliographic data published under Creative Commons CC0
2017-05-28: published on CEUR-WS.org |valid HTML5|