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

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