Engineering in Dependability of Computer Systems and Networks: Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1–5, 2019, Brunów, Poland

This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brunów, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems. Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people – with their needs and behaviours –interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence. Front Matter ....Pages i-xv Water Quality Monitoring System Using WSN in Tanga Lake (Ali Al-Dahoud, Mohamed Fezari, Hanene Mehamdia)....Pages 1-9 A Comparative Study of Statistical and Neural Network Models for PLC Network Traffic Anomaly Detection (Tomasz Andrysiak, Łukasz Saganowski)....Pages 10-20 Spreading Information in Distributed Systems Using Gossip Algorithm (Andrzej Barczak, Michał Barczak)....Pages 21-32 Structurization of the Common Criteria Vulnerability Assessment Process (Andrzej Bialas)....Pages 33-45 Anomaly Detection in Network Traffic Security Assurance (Andrzej Bialas, Marcin Michalak, Barbara Flisiuk)....Pages 46-56 Development of the Multi-platform Human-Computer Interaction for Mobile and Wearable Devices (Agnieszka Bier, Zdzisław Sroczyński)....Pages 57-68 Tool for Assessment of Testing Effort (Ilona Bluemke, Agnieszka Malanowska)....Pages 69-79 Flow Shop Problem with Machine Time Couplings (Wojciech Bożejko, Radosław Idzikowski, Mieczysław Wodecki)....Pages 80-89 Correspondent Sensitive Encryption Standard (CSES) Algorithm in Insecure Communication Channel (Rafał Chałupnik, Michał Kędziora, Piotr Jóźwiak, Ireneusz Jóźwiak)....Pages 90-98 Numerical Analysis of the Building Materials Electrical Properties Influence on the Electric Field Intensity (Agnieszka Choroszucho, Adam Steckiewicz)....Pages 99-109 Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations (Bogdan Czejdo, Wiktor B. Daszczuk)....Pages 110-122 The Picking Process Model in e-Commerce Industry (Alicja Dąbrowska, Robert Giel, Marcin Plewa)....Pages 123-131 Evaluation of Design Pattern Utilization and Software Metrics in C# Programs (Anna Derezińska, Mateusz Byczkowski)....Pages 132-142 Scheduling Tasks in a System with a Higher Level of Dependability (Dariusz Dorota)....Pages 143-153 Comparison of Parallel and Non-parallel Approaches in Algorithms for CAD of Complex Systems with Higher Degree of Dependability (Mieczyslaw Drabowski)....Pages 154-165 Examples of Applications of CAD Methods in the Design of Fault Tolerant Systems (Mieczyslaw Drabowski)....Pages 166-176 The Concept of the ALMM Solver Knowledge Base Retrieval Using Protégé Environment (Ewa Dudek-Dyduch, Zbigniew Gomolka, Boguslaw Twarog, Ewa Zeslawska)....Pages 177-185 Graph-Based Vehicle Traffic Modelling for More Efficient Road Lighting (Sebastian Ernst, Konrad Komnata, Marek Łabuz, Kamila Środa)....Pages 186-194 A Fuzzy Approach for Evaluation of Reconfiguration Actions After Unwanted Events in the Railway System (Johannes Friedrich, Franciszek J. Restel)....Pages 195-204 On Some Computational and Security Aspects of the Blom Scheme (Alexander Frolov)....Pages 205-214 Registration and Analysis of a Pilot’s Attention Using a Mobile Eyetracking System (Zbigniew Gomolka, Boguslaw Twarog, Ewa Zeslawska, Damian Kordos)....Pages 215-224 Minimization Problem Subject to Constraint of Availability in Semi-Markov Reliability Models (Franciszek Grabski)....Pages 225-234 Method for Railway Timetable Evaluation in Terms of Random Infrastructure Load (Szymon Haładyn, Franciszek J. Restel, Łukasz Wolniewicz)....Pages 235-244 Representing Process Characteristics to Increase Confidence in Assurance Case Arguments (Aleksander Jarzębowicz, Szymon Markiewicz)....Pages 245-255 Dependability of Multichannel Communication System with Maintenance Operations for Air Traffic Management (Igor Kabashkin)....Pages 256-263 Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults (Vyacheslav Kharchenko, Yuriy Ponochovnyi, Anton Andrashov, Eugene Brezhniev, Eugene Bulba)....Pages 264-273 Dependability of Service of Substation Electrical Equipment: Estimation of the Technical Condition State with the Use of Software and Information Tools (Alexander Yu. Khrennikov, Nikolay M. Aleksandrov, Pavel S. Radin)....Pages 274-283 Reliability Modeling of Technical Objects in the Airport Security Checkpoint (Tomasz Kisiel, Maria Pawlak)....Pages 284-292 Multi-clustering Used as Neighbourhood Identification Strategy in Recommender Systems (Urszula Kużelewska)....Pages 293-302 Assessment of the Potential of the Waterway in the City Using a Fuzzy Inference Model (Michał Lower, Anna Lower)....Pages 303-310 The SCIP Interoperability Tests in Realistic Heterogeneous Environment (Piotr Lubkowski, Robert Sierzputowski, Rafał Polak, Dariusz Laskowski, Grzegorz Rozanski)....Pages 311-320 Softcomputing Art Style Identification System (Jacek Mazurkiewicz, Aleksandra Cybulska)....Pages 321-330 Intelligent Agent for Weather Parameters Prediction (Jacek Mazurkiewicz, Tomasz Walkowiak, Jarosław Sugier, Przemysław Śliwiński, Krzysztof Helt)....Pages 331-340 Mathematical Modeling of the Hot Steam-Water Mixture Flow in an Injection Well (Nail Musakaev, Stanislav Borodin, Sergey Rodionov, Evgeniy Schesnyak)....Pages 341-348 Concept of Preventive Maintenance in the Operation of Mining Transportation Machines (Dinara Myrzabekova, Mikhail Dudkin, Marek Młyńczak, Alfiya Muzdybayeva, Murat Muzdybayev)....Pages 349-357 Capabilities of ARCore and ARKit Platforms for AR/VR Applications (Paweł Nowacki, Marek Woda)....Pages 358-370 Log Based Analysis of Software Application Operation (Daniel Obrębski, Janusz Sosnowski)....Pages 371-382 The Impact of Strong Electromagnetic Pulses on the Operation Process of Electronic Equipment and Systems Used in Intelligent Buildings (Jacek Paś, Adam Rosiński, Jarosław Łukasiak, Marek Szulim)....Pages 383-392 Modelling the Safety Levels of ICT Equipment Exposed to Strong Electromagnetic Pulses (Jacek Paś, Adam Rosiński, Marek Szulim, Jarosław Łukasiak)....Pages 393-401 Prioritization of Tasks in the Strategy Evaluation Procedure (Henryk Piech, Grzegorz Grodzki)....Pages 402-410 Cost Analysis of Water Pipe Failure (Katarzyna Pietrucha-Urbanik, Barbara Tchórzewska-Cieślak)....Pages 411-424 Attack on Students’ Passwords, Findings and Recommendations (Przemysław Rodwald)....Pages 425-434 Algorithm-Aware Makespan Minimisation for Software Testing Under Uncertainty (Jarosław Rudy)....Pages 435-445 Identifying Factors Affecting the Activities of Technology Parks (Elena V. Savenkova, Alexander Y. Bystryakov, Oksana A. Karpenko, Tatiana K. Blokhina)....Pages 446-455 Security Analysis of Information Transmission in Intelligent Transport Telecommunications Network (Mirosław Siergiejczyk)....Pages 456-465 Semi-Markov Reliability Model of Internal Electrical Collection Grid of On-Shore Wind Farm (Robert Adam Sobolewski)....Pages 466-477 Cracking the DES Cipher with Cost-Optimized FPGA Devices (Jarosław Sugier)....Pages 478-487 Maintaining Railway Operational Requirements in the Context of the GSM-R User Interface Capacity (Marek Sumiła)....Pages 488-497 Benchmarking Comparison of Swish vs. Other Activation Functions on CIFAR-10 Imageset (Tomasz Szandała)....Pages 498-505 An Impact of Different Images Color Spaces on the Efficiency of Convolutional Neural Networks (Kamil Szyc)....Pages 506-514 Coordinated Resources Allocation for Dependable Scheduling in Distributed Computing (Victor Toporkov, Dmitry Yemelyanov)....Pages 515-524 Information Needs of Decision Makers for Risk Assessment in Road Transport (Agnieszka Tubis)....Pages 525-533 Low-Dimensional Classification of Text Documents (Tomasz Walkowiak, Szymon Datko, Henryk Maciejewski)....Pages 534-543 Distance Measures for Clustering of Documents in a Topic Space (Tomasz Walkowiak, Mateusz Gniewkowski)....Pages 544-552 Back Matter ....Pages 553-554