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

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