| Vol-1614 urn:nbn:de:0074-1614-7 Copyright © 2016 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 2016
ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer

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

### Kyiv, Ukraine, June 21-24, 2016.

Edited by

### Vadim Ermolayev *
Aleksander Spivakovsky **
Mykola Nikitchenko ***
Athula Ginige ****
Heinrich C. Mayr *****
Dimitris Plexousakis ******
Grygoriy Zholtkevych *******
Oleksandr Burov ********
Vyacheslav Kharchenko *********
Vitaliy Kobets **********

* Zaporizhzhya National University, Ukraine
** Verkhovna Rada of Ukraine, Kherson State University, Ukraine
*** Taras Shevchenko National University of Kyiv, Ukraine
**** Western Sydney University, Australia
***** Alpen-Adria-Universitat Klagenfurt, Austria
****** Institute of Computer Science, FORTH, Greece
******* V.N. Karazin Kharkiv National University, Ukraine
******** Institute of Information Technologies and Learning Tools, Ukraine
********* National Aerospace University 'Kharkiv Aviation Institute', Ukraine
********** Kherson State University, Ukraine

## Table of Contents

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

### Invited Contributions

- The Internet of Things -- Technical Challenges for Interoperability (Keynote Talk) 1
  John Davies, Sandra Stincic Clarke
- Service Orientation as a Paradigm of Computing (Keynote Talk) 2
  Wolfgang Reisig
- Building Agreed Vocabularies and Data Structures for Successful Open City Data Sharing (Invited Tutorial) 3
  Oscar Corcho

### ICTERI 2016: Track 1 - Advances in ICT Research

- Complexity Class of Semantics-related Tasks of Text Processing 4-12
  Oleg Bisikalo, Ilona Bogach
- A Complete Axiomatization for Reduced Clock Constraint Specification Language 13-24
  Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino
- Evidential Paradigm as Formal Knowledge Presentation and Processing 25-32
  Alexander Lyaletski, Alexandre Lyaletsky, Andrei Paskevich
- A Human Communication Network Model 33-40
  Oksana Pichugina, Babak Farzad
- A Model-Based Framework for Adaptive Resource Management in Mobile Augmented Reality System 41-56
  Mykola Tkachuk, Oleksii Vekshyn, Rustam Gamzayev
- Descriptive Models of System Dynamics 57-72
  Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko

### ICTERI 2016: Track 2 - Information Systems: Technology and Applications

- Information Support of the Computer-aided Fixture Design System 73-86
  Vitalii Ivanov, Svitlana Vashchenko, Yiming (Kevin) Rong
- Information Technology of Predicting the Characteristics and Evaluating the Success of Software Projects Implementation 87-102
  Andriy Krasiy, Tetiana Hovorushchenko
- Design and Development of Information System of Scientific Activity Indicators 103-110
  Aleksandr Spivakovsky, Maksym Vinnyk, Yulia Tarasich, Maksym Poltoratskiy
- Adaptation of Legacy Fortran Applications to Cloud Computing 111-118
  Eugene Tulika, Anatoliy Doroshenko, Kostiantyn Zhereb

### ICTERI 2016: Track 3 - Academia/Industry ICT Cooperation

- Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems 119-128
  Taras Panchenko
- Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study 129-136
  Vladimir Sklyar

### ICTERI 2016: Track 4 - ICT in Education

- Simulation Model for Computerized Testing of Learning Success in Quality Management Systems 137-147
  Alexander Alexeyev, Nataliya Konovalova, Kateryna Lozova, Elena Korol
- Method of Evaluation of Electronic Educational Resource Quality for Conformity Assessment (Certification) 148-156
  Dmytro Fedasyuk, Nataliya Hots, Mykola Mykyychuk, Viktor Kuts, Yuliia Dzikovska
- Hybrid Cloud-Oriented Educational Environment for Training Future IT Specialists 157-167
  Olena Glazunova, Tetyana Voloshyna
- Information, Communication, and Modeling Technologies in Prosthetic Leg and Robotics Research at Cleveland State University 168-183
  Yuriy Kondratenko, Gholamreza Khademi, Vahid Azimi, Donald Ebeigbe, Mohamed Abdelhady,
  Seyed Abolfazl Fakoorian, Taylor Barto, Arash Roshanineshat, Igor Atamanyuk, Dan Simon
- University Curricula Modification Based on Advancements in Information and Communication Technologies 184-199
  Yuriy Kondratenko, Dan Simon, Igor Atamanyuk
- The Experience of the Master Classes as a Means of Formation of Readiness of Teachers to Implement Innovation 200-214
  Nataliya Kushnir, Nataliya Osipova, Nataliya Valko, Olena Litvinenko
- Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge 215-230
  Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy
- Educator's e-Portfolio in the Modern University 231-240
  Nataliia Morze, Liliia Varchenko-Trotsenko
- The Hybrid Cloud-based Service Model of Learning Resources Access and its Evaluation 241-256
  Mariya Shyshkina
- Monitoring of Efficiency of Feedback Systems Use on the Base of Kherson State University 257-272
  Evgeniya Spivakovska, Maksym Vinnyk, Yulia Tarasich, Olesya Kuchma
- Tips and pitfalls for blended learning: Redesigning a CS curriculum using IT 273-283
  Leo van Moergestel, Ander de Keijzer, Esther van der Stappen
- Application of 3D Printing and 3D Scanning Technologies in Educational Activities 284-291
  Kseniia Yashyna, Oleksandr Krupnyk, Oksana Karpenko

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

- Calculation Methods of the Prognostication of the Computer Systems State under Different Level of Information Uncertainty 292-307
  Igor Atamanyuk, Yuriy Kondratenko, Vyacheslav Shebanin
- Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode 308-321
  Yevgeniy Bulba, Yurij Ponochovny, Vladimir Sklyar, Aleksandr Ivasiuk
- Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design 322-331
  Alex Drozd, Miroslav Drozd, Mykola Kuznietsov
- Ontological Approach to the Assessment of Information Sufficiency for Software Quality Determination 332-348
  Tetiana Hovorushchenko, Oksana Pomorova
- Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools 349-360
  Oleg Ivanchenko, Vyacheslav Kharchenko
- Application of Structure Function in System Reliability Analysis based on Uncertain Data 361-374
  Vitaly Levashenko, Elena Zaitseva, Miroslav Kvassay
- Metamorphic Viruses Detection Technique Based on the the Modified Emulators 375-383
  Oksana Pomorova, Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk
- Mobile Post-Emergency Monitoring System for Nuclear Power Plants 384-398
  Anatoliy Sachenko, Volodymyr Kochan, Vyacheslav Kharchenko, Hubert Roth, Vasyl Yatskiv,
  Mykhaylo Chernyshov, Pavlo Bykovyy, Oleksiy Roshchupkin, Vasyl Koval, Herman Fesenko
- Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices 399-413
  Bogdan Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak
- Analysis of Methods for Providing Availability and Accessibility of Cloud Services 414-426
  Max Yanovsky, Olga Yanovskaya, Vyacheslav Kharchenko
- Complexity-based Prediction of Faults Number for Software Modules Ranking Before Testing: Technique and Case Study 427-440
  Svitlana Yaremchuk, Vyacheslav Kharchenko
- Importance Analysis of k-out-of-n Multi-State Systems based on Direct Partial Logic Derivatives 441-457
  Elena Zaitseva, Miroslav Kvassay, Vitaly Levashenko, Jozef Kostolny

### 5th International Workshop on Information Technologies in Economic Research (ITER)

- Forecasting Economic Indices of Agricultural Enterprises Based on Vector Polynomial Canonical Expansion of Random Sequences 458-468
  Igor P. Atamanyuk, Yuriy P. Kondratenko, Natalia N. Sirenko
- Machine Learning Methods and 'Real-Time' Economics 469-476
  Vladimir Dorozhinsky, Arsen Khadikov, Nina Zholtkevych
- Government Financial Accountability and Transparency in the Digital World 477-484
  Lidiia Hladchenko
- Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System 485-501
  Vitaliy Kobets, Maksym Poltoratskiy
- Nonlinear Dynamic Model of a Microeconomic System with Different Reciprocity and Expectations Types of Firms: Stability and Bifurcations 502-517
  Vitaliy Kobets, Alexander Weissblut
- Adjusting Business Processes by the Means of an Autoregressive Model Using BPMN 2.0 518-533
  Vitaliy Kobets, Valeria Yatsenko
- Intelligent Cyber Defense System 534-549
  Myroslav Komar, Anatoliy Sachenko, Sergei Bezobrazov, Vladimir Golovko
- Fractal Analysis of Currency Market: Hurst Index as an Indicator of Abnormal Events 550-557
  Olena Liashenko, Tetyana Kravets
- Using Hybrid Algorithms Based on GMDH-Type Neural Networks for Solving Economic Problems 558-565
  Olha Moroz
- Modeling Input Financial Flows of Insurance Companies as a Component of Financial Strategy 566-574
  Tetiana Paientko, Tatsiana Verezubova
- Simulation of the Impact of Social Media on Promoting Education Services 575-590
  Iryna Ushakova
- A Company-Specific Business Process 'Accounting of Cash on the Bank Accounts' in the Global Electronic Payment System 591-607
  Viktoria Yatsenko

### International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person)

- Life-Long Learning: Individual Abilities versus Environment and Means 608-619
  Oleksandr Burov
- The Use of Cloud Services for Learning Foreign Language (English) 620-631
  Hennadiy Kravtsov, Olga Gnedkova
- Models and Tools for Information Support of Test Development Process in Learning Management Systems 632-639
  Olena Kuzminska, Mariia Mazorchuk
- A Review of Teaching Methods for Life-Long Learning 640-647
  Vira Liubchenko
- Professional Development of Teachers Using Cloud Services During Non-formal Education 648-655
  Svitlana Lytvynova, Oksana Melnyk
- Collaboration between Research Institutions and University Sector Using Cloud-based Environment 656-671
  Yuliya Nosenko, Mariya Shyshkina, Vasyl Oleksiuk
- Mobile Learning Technologies for Learning English 872-679
  Nataliya Osipova, Olga Gnedkova, Denis Ushakov
- Perspective Analysis of the Use of Electronic Social Networks in a Learning Environment 680-686
  Olga Pinchuck
- The Introduction of the Competence-based Approach in Educational Process of Training of Skippers 687-699
  Tatyana Zaytseva

- Author Index

- All Papers in One Volume (zip file)

2016-06-26: submitted by Vadim Ermolayev, metadata incl. bibliographic data published under Creative Commons CC0
2016-06-26: published on CEUR-WS.org |valid HTML5|