New Results in Dependability and Computer Systems

DepCoS RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocaw University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 89) and Microcomputer Schools (1985 95) which were then organized by the Institute of Engineering Cybernetics, the previous name of CECR. In contrast to those preceding meetings focused on the conventional reliability analysis, the DepCoS mission is to develop a more comprehensive approach to computer system performability, which is now commonly called dependability. Contemporary technical systems are integrated unities of technical, information, organization, software and human resources. Diversity of the processes being realized in the system, their concurrency and their reliance on in-system intelligence significantly impedes construction of strict mathematical models and calls for application of intelligentand soft computing methods. The submissions included in this volume illustrate variety of problems that need to be explored in the dependability analysis: methodologies and practical tools for modeling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks, or management of transportation networks.

Recent research in Complex Systems and Dependability Proceedings of the Eighth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX 2013 held in Brunow Palace, Wroclaw, Poland, September 9 September 13, 2013

Inhalt
Application Level Execution Model for Transparent Distributed Computing.- Software support of the risk reduction assessment in the ValueSec project flood use case.- Risk assessment aspects in mastering the value function of security measures.- Reduction of computational cost in mutation testing by sampling mutants.- Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties Under Thermal Aging.- Computer simulation analysis of cluster model of totally-connected flows on the chain mail1.- Assessment of network coding mechanism for the network protocol stack.- Reliability analysis of discrete transportation systems using critical states.- A reference model for the selection of Open Source tools for requirements management.- A Probabilistic Approach to the Count-to-Infinity Problem in Distance-Vector Routing Algorithms.- A quality estimation of mutation clustering in C# programs.- Using Virtualization Technology for Fault-Tolerant Replication in LAN.