Advances in Dependability Engineering of Complex Systems: Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland

"This book gathers the proceedings of the 2017 DepCoS-RELCOMEX, an annual conference series that has been organized by the Department of Computer Engineering at the Faculty of Electronics, Wrocław University of Science and Technology, since 2006. Its mission is to continue the heritage of the other two cycles of events - the RELCOMEX conferences (1977-89) and Microcomputer Schools (1985-95) - so this year we can celebrate the 40th anniversary of its origins. In contrast to those preceding series, which were focused on conventional reliability analysis, the goal of DepCoS is to promote a more comprehensive approach to system performability, which is now commonly called dependability. This innovative research area provides answers to the latest challenges in reliability evaluation for contemporary complex systems. Its novelty is based on a multi-disciplinary approach to system theory, technology and maintenance of systems operating in real environments. Dependability analyses concentrate on the efficient completion of tasks, services and jobs by a system considered as a combination of technical, information and human assets, in contrast to "classical" reliability, which is generally limited to the analysis of technical resources and associated components and structures. The selection of papers for this volume illustrates the diversity of topics that need to be considered, from mathematical models and design methodologies through software engineering and data security issues, to practical engineering problems in technical systems. In addition, this edition of the conference hosted the 7th CrISS-DESSERT Workshop, which was devoted to the analysis and assurance of safety and cyber security in critical infrastructure and computer systems" -- Proporcionat per l'editor Front Matter....Pages i-xvi Detection of Network Attacks Using Hybrid ARIMA-GARCH Model....Pages 1-12 Towards Mixed-Mode Risk Management – A Concept....Pages 13-25 Software Support of the Common Criteria Vulnerability Assessment....Pages 26-38 On the Performance of Some C# Constructions....Pages 39-48 Deep Stacking Convex Neuro-Fuzzy System and Its On-line Learning....Pages 49-59 Fault Tolerant ASIC/ULA-Based Computing Systems Testing via FPGA Prototyping with Fault Injection....Pages 60-66 Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk....Pages 67-78 Modelling an Optimal Capital Structure of the Telecommunication Company....Pages 79-88 Specification of Constraints in a System-of-Systems Configuration....Pages 89-96 A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems....Pages 97-105 Maintenance of Wind Turbine Scheduling Based on Output Power Data and Wind Forecast....Pages 106-117 Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets....Pages 118-130 Scheduling Tasks in Embedded Systems Based on NoC Architecture Using Simulated Annealing....Pages 131-140 Adaptation of Ant Colony Algorithm for CAD of Complex Systems with Higher Degree of Dependability....Pages 141-150 Context-Aware Anomaly Detection in Embedded Systems....Pages 151-165 Comparative Analysis of Calculations in Cryptographic Protocols Using a Combination of Different Bases of Finite Fields....Pages 166-177 Dynamic Redundancy in Communication Network of Air Traffic Management System....Pages 178-185 Availability Models and Maintenance Strategies for Smart Building Automation Systems Considering Attacks on Component Vulnerabilities....Pages 186-195 Concept of Multi-criteria Evaluation of the Airport Security Control Process....Pages 196-204 Extending Continuous Integration with Post-mortem Debug Automation of Unhandled Exceptions Occurred in Kernel or User Mode Applications....Pages 205-214 The Methodology of Studying of Active Traffic Management Module Self-oscillation Regime....Pages 215-224 Effectiveness Examination of a Multi-channel CSMA/CA Detector....Pages 225-232 IaaS vs. Traditional Hosting for Web Applications - Cost Effectiveness Analysis for a Local Market....Pages 233-243 High Quality Stabilization of an Inverted Pendulum Using the Controller Based on Trigonometric Function....Pages 244-253 The Application of RFID Technology in Supporting the Process of Reliable Identification of Objects in Video Surveillance Systems....Pages 254-263 Aspect-Oriented Management of Service Requests for Assurance of High Performance and Dependability....Pages 264-276 Process of Mobile Application Development from the Security Perspective....Pages 277-286 Managing and Enhancing Performance Benchmarks....Pages 287-297 Reliability Optimization for Controller Placement in Software-Defined Networks....Pages 298-307 Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations....Pages 308-319 Reliability Assessment of Driving Systems of City Buses....Pages 320-330 Testing the Significance of Parameters of Models Estimating Execution Time of Parallel Program Loops According to the Open MPI Standard....Pages 331-339 On Application of Regime-Switching Models for Short-Term Traffic Flow Forecasting....Pages 340-349 Critical Information Infrastructure Protection Model and Methodology, Based on National and NATO Study....Pages 350-357 The Method of Creating Players in the Marketing Strategy....Pages 358-367 Principles of Mobile Walking Robot Control in Scope of Technical Monitoring Tasks....Pages 368-382 Computer Systems – Simple, Complicated or Complex....Pages 383-393 Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources....Pages 394-406 Assurance Case Patterns On-line Catalogue....Pages 407-417 Information System as a Cause of Cargo Handling Process Disruption in Intermodal Terminal....Pages 418-427 Anticipation Scheduling in Grid Virtual Organizations....Pages 428-438 Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation....Pages 439-449 The Scope of the Collected Data for a Holistic Risk Assessment Performance in the Road Freight Transport Companies....Pages 450-463 Language Processing Modelling Notation – Orchestration of NLP Microservices....Pages 464-473 Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources....Pages 474-485 Back Matter....Pages 487-488