Dependability Engineering and Complex Systems

Assurance for Software-Based Space Systems with Online Patching: Two Cases.- A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City.- The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of its Implementation Using Various Strategies.- WLAN System with Iterative Decoding of OFDM Multi-Symbols.- Context Information in a Collaborative Recommender System Deployed in Real Environment.- The Concept of the Effective  Multi-Channel CSMA/CA Detector.- Clustering Context Items into User Trust Levels.- Dependability Metrics for Network Systems - Analytical and Experimental Analysis.- Assessing the Costs of Losses Incurred as a Result of Failure.- Impulse Transmission Model of Macroeconomic Cycle within the Framework of the Theory of Shocks: Aspect of Economic Security.- Multi-agent Systems for Intelligent Retrieval and Processing of Information.-Architecture for Internet of Things Analytical Ecosystem.- Optimal Path Evolution in a Dynamic Distributed MEMS-based Conveyor.- The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas .- Implication of Availability of an Electrical System of a Wind Farm for the Farm's Output Power Estimation.- CPU Utilization Analysis of Selected Genetic Algorithms in Multi-Core Systems for a Certain Class Of Problems.- Monitoring Reliability of Embedded Systems.- Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices.- Risk Analysis of Interference Railway GSM-R System in Polish Conditions.- Water Producers Risk Analysis Connected with Collective Water Supply System Functioning.- Analysis of Reshuffling Cost at a Container Terminal.- Scheduling in Grid Based on VO Stakeholders Preferences and Criteria.- Vulnerability of Passenger Transportation System - the Main Information Provided by Key Stakeholders. Case Study.- Asynchronous System for Clustering and Classifications of Texts in Polish.- Simulation-based Dependability Analysis of Systems in Multiple Time-Horizons.- Compression Codec Change Mechanisms During a VoIP Call.- Dependability Model of an Area Monitoring System with Mobile Sensors.- Supr: Adaptive Byzantine Fault-Tolerant Replication.- Flood Risk Assessment from Flash Floods in Bodva River Basin, Slovakia.- Invariant-based Performance Analysis of Timed Petri Net Models.