𝔖 Scriptorium
✦   LIBER   ✦

📁

Dependability Engineering and Complex Systems: Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27–July 1, 2016, Brunów, Poland

✍ Scribed by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk (eds.)


Publisher
Springer International Publishing
Year
2016
Tongue
English
Leaves
592
Series
Advances in Intelligent Systems and Computing 470
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


These proceedings present the results of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX which took place in a picturesque Brunów Palace in Poland from 27th June to 1st July, 2016.

DepCoS-RELCOMEX is a series of international conferences organized annually by Department of Computer Engineering of Wrocław University of Science and Technology since 2006. The roots of the series go as far back as to the seventies of the previous century – the first RELCOMEX conference took place in 1977 – and now its main aim is to promote a multi-disciplinary approach to dependability problems in theory and engineering practice of complex systems.

Complex systems, nowadays most often computer-based and distributed, are built upon a variety of technical, information, software and human resources. The challenges in their design, analysis and maintenance not only originate from the involved technical and organizational structures but also from the complexity of the information processes that must be efficiently executed in a diverse, often hostile operational environment. Traditional methods of reliability evaluation focused only on technical resources are usually insufficient in this context and more innovative, multidisciplinary methods of dependability analysis must be applied. The diversity of the topics which need to be considered is well illustrated by the selection of the submissions in these proceedings with their subjects ranging from mathematical models and design methodologies through software engineering and data security issues up to practical problems in technical, e.g. transportation, systems.

✦ Table of Contents


Front Matter....Pages i-xiii
Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction....Pages 1-11
Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position....Pages 13-23
Critical Infrastructure Protection—How to Assess the Protection Efficiency....Pages 25-37
Selection of Metrics for the Defect Prediction....Pages 39-50
Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and Its Adaptive Learning....Pages 51-61
Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System....Pages 63-73
About Synergy of Flows on Flower....Pages 75-84
Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks....Pages 85-95
Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs....Pages 97-108
Tracing Life Cycle of Software Bugs....Pages 109-120
Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability....Pages 121-133
Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester....Pages 135-146
Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester....Pages 147-155
Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases....Pages 157-168
Stochastic Runge–Kutta Software Package for Stochastic Differential Equations....Pages 169-179
The Assessment Method of the Organization of Municipal Waste Collection Zones....Pages 181-194
NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules....Pages 195-206
Semi-Markov Model of Damage Process....Pages 207-217
The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity....Pages 219-227
Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens....Pages 229-238
Influence of Data Uncertainty on the Optimum Inspection Period in a Multi-unit System Maintained According to the Block Inspection Policy....Pages 239-256
Effectiveness of Redundancy in Communication Network of Air Traffic Management System....Pages 257-265
Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases....Pages 267-278
A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City....Pages 279-289
The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of Its Implementation Using Various Strategies....Pages 291-301
WLAN System with Iterative Decoding of OFDM Multi-symbols....Pages 303-311
Context Information in a Collaborative Recommender System Deployed in Real Environment....Pages 313-322
The Concept of the Effective Multi-channel CSMA/CA Detector....Pages 323-331
Clustering Context Items into User Trust Levels....Pages 333-342
Dependability Metrics for Network Systems—Analytical and Experimental Analysis....Pages 343-354
Assessing the Costs of Losses Incurred as a Result of Failure....Pages 355-362
Impulse Transmission Model of Macroeconomic Cycle Within the Framework of the Theory of Shocks: Aspect of Economic Security....Pages 363-372
Multi-agent Systems for Intelligent Retrieval and Processing of Information....Pages 373-383
Architecture for Internet of Things Analytical Ecosystem....Pages 385-393
Optimal Path Evolution in a Dynamic Distributed MEMS-Based Conveyor....Pages 395-408
The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas....Pages 409-418
Implication of Availability of an Electrical System of a Wind Farm for the Farm’s Output Power Estimation....Pages 419-430
CPU Utilization Analysis of Selected Genetic Algorithms in Multi-core Systems for a Certain Class of Problems....Pages 431-444
Monitoring Reliability of Embedded Systems....Pages 445-455
Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices....Pages 457-467
Risk Analysis of Interference Railway GSM-R System in Polish Conditions....Pages 469-478
Water Producers Risk Analysis Connected with Collective Water Supply System Functioning....Pages 479-489
Analysis of Reshuffling Cost at a Container Terminal....Pages 491-503
Scheduling in Grid Based on VO Stakeholders Preferences and Criteria....Pages 505-515
Vulnerability of Passenger Transportation System—The Main Information Provided by Key Stakeholders. Case Study....Pages 517-527
Asynchronous System for Clustering and Classifications of Texts in Polish....Pages 529-538
Simulation-Based Dependability Analysis of Systems in Multiple Time-Horizons....Pages 539-549
Compression Codec Change Mechanisms During a VoIP Call....Pages 551-560
Dependability Model of an Area Monitoring System with Mobile Sensors....Pages 561-569
Supr: Adaptive Byzantine Fault-Tolerant Replication....Pages 571-581
Flood Risk Assessment from Flash Floods in Bodva River Basin, Slovakia....Pages 583-593
Invariant-Based Performance Analysis of Timed Petri Net Models....Pages 595-604
Back Matter....Pages 605-606

✦ Subjects


Computational Intelligence; Artificial Intelligence (incl. Robotics); Complexity


📜 SIMILAR VOLUMES


Theory and Engineering of Complex System
✍ Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

<p><p>Building upon a long tradition of scientifi c conferences dealing with problems of</p><p>reliability in technical systems, in 2006 Department of Computer Engineering at</p><p>Wrocław University of Technology established DepCoS-RELCOMEX series of events</p><p>in order to promote a comprehensive

Proceedings of the Ninth International C
✍ Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz 📂 Library 📅 2014 🏛 Springer International Publishing 🌐 English

<p><p>DepCoS – RELCOMEX is an annual series of conferences organized by Wrocław University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called <i>dependability</i>. In contrast to classic analyses which were concentrated on reliabilit

Advances in dependability engineering of
✍ Kacprzyk, Janusz; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Zamo 📂 Library 📅 2018 🏛 Springer 🌐 English

<p><p>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 o

Engineering in Dependability of Computer
✍ Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz 📂 Library 📅 2020 🏛 Springer International Publishing 🌐 English

<p><p></p><p>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

New Results in Dependability and Compute
✍ Razvan-Mihai Aciu, Horia Ciocarlie (auth.), Wojciech Zamojski, Jacek Mazurkiewic 📂 Library 📅 2013 🏛 Springer International Publishing 🌐 English

<p>DepCoS – RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocław University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 – 89) and Microcomputer

Dependable Computer Systems and Networks
✍ Wojciech Zamojski (editor), Jacek Mazurkiewicz (editor), Jarosław Sugier (editor 📂 Library 📅 2023 🏛 Springer 🌐 English

<p><span>The book includes papers about various problems of dependable operation of computer systems and networks, which were presented during the 18</span><span><sup>th</sup></span><span> DepCoS-RELCOMEX conference. Their collection can be an interesting source material for scientists, researchers,