Skip to main content
SpringerLink
Log in

Theory and Engineering of Dependable Computer Systems and Networks

Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Wojciech Zamojski

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacek Mazurkiewicz

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jarosław Sugier

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Tomasz Walkowiak

    1. Wrocław University of Science and Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Janusz Kacprzyk

    1. Polish Academy of Sciences, Systems Research Institute, Warsaw, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents recent research in complex systems and dependability
  • Gathers the Proceedings of the Sixteenth International Conference on Dependability and Complex Systems (DepCoS-RELCOMEX), held June 28–July 2, 2021 in Wroclaw, Poland
  • Contains general aspects and dependability of systems, networks theory, and communication technology

Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 1389)

Included in the following conference series:

Conference proceedings info: DepCoS-RELCOMEX 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (48 papers)

  1. Front Matter

    Pages i-xvii
    Download chapter PDF

  2. Application of Assumption Modes and Effects Analysis to XMECA

    • Ievgen Babeshko, Kostiantyn Leontiiev, Vyacheslav Kharchenko, Andriy Kovalenko, Eugene Brezhniev
    Pages 1-11

  3. Improving Effectiveness of the Risk Management Methodology in the Revitalization Domain

    • Andrzej Bialas
    Pages 12-21

  4. Automated Music Generation Using Recurrent Neural Networks

    • Mateusz Czyz, Michal Kedziora
    Pages 22-31

  5. Non-exhaustive Verification in Integrated Model of Distributed Systems (IMDS) Using Vagabond Algorithm

    • Wiktor B. Daszczuk
    Pages 32-43

  6. Automatic Multi-class Classification of Polish Complaint Reports About Municipal Waste Management

    • Alicja Dąbrowska, Robert Giel, Sylwia Werbińska-Wojciechowska
    Pages 44-52

  7. Migration of Unit Tests of C# Programs

    • Anna Derezińska, Sofia Krutko
    Pages 53-62

  8. Synchronization and Scheduling of Tasks in Fault-Tolerant Computer Systems with Graceful Degradation

    • Mieczyslaw Drabowski
    Pages 63-73

  9. Comparison of Selected Algorithms of Traffic Modelling and Prediction in Smart City - Rzeszów

    • Paweł Dymora, Mirosław Mazurek
    Pages 74-85

  10. Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation

    • Ernest Edifor, Neil Gordon, Martin Walker
    Pages 86-96

  11. Hybrid Parallel Programming in High Performance Computing Cluster

    • Alexander Fedulov, Anastasiya Fedulova, Yaroslav Fedulov
    Pages 97-105

  12. Computing of Blocks of Some Combinatorial Designs for Applications

    • Alexander Frolov
    Pages 106-115

  13. A Stopwatch Automata-Based Approach to Schedulability Analysis of Real-Time Systems with Support for Fault Tolerance Techniques

    • Alevtina Glonina, Vasily Balashov
    Pages 116-125

  14. Fractional Order Derivative Mechanism to Extract Biometric Features

    • Zbigniew Gomolka, Boguslaw Twarog, Ewa Zeslawska
    Pages 126-135

  15. Contract-Based Specification and Test Generation for Adaptive Systems

    • Bence Graics, Vince Molnár, István Majzik
    Pages 136-145

  16. New Loss Function for Multiclass, Single-Label Classification

    • Krzysztof Halawa
    Pages 146-155

  17. Network Risk Assessment Based on Attack Graphs

    • Damian Hermanowski, Rafał Piotrowski
    Pages 156-167

  18. Cost Results of Block Inspection Policy with Imperfect Testing in Multi-unit System

    • Anna Jodejko-Pietruczuk
    Pages 168-178

  19. Reliability Assessment of Multi-cascade Redundant Systems Considering Failures of Intermodular and Bridge Communications

    • Vyacheslav Kharchenko, Andriy Kovalenko, Eugene Ruchkov, Ievgen Babeshko
    Pages 179-188

  20. Evolution Process for SOA Systems as a Part of the MAD4SOA Methodology

    • Szymon Kijas, Klara Borowa
    Pages 189-202
Back to top

Other volumes

  1. Theory and Engineering of Dependable Computer Systems and Networks

Keywords

About this book

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.


Being probably the most complex technical systems ever engineered by man (and also—the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.

Editors and Affiliations

  • Wrocław University of Science and Technology, Wrocław, Poland

    Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak

  • Polish Academy of Sciences, Systems Research Institute, Warsaw, Poland

    Janusz Kacprzyk

Bibliographic Information

  • Book Title: Theory and Engineering of Dependable Computer Systems and Networks

  • Book Subtitle: Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland

  • Editors: Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk

  • Series Title: Advances in Intelligent Systems and Computing

  • DOI: https://doi.org/10.1007/978-3-030-76773-0

  • Publisher: Springer Cham

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-76772-3Published: 27 May 2021

  • eBook ISBN: 978-3-030-76773-0Published: 26 May 2021

  • Series ISSN: 2194-5357

  • Series E-ISSN: 2194-5365

  • Edition Number: 1

  • Number of Pages: XVII, 512

  • Number of Illustrations: 80 b/w illustrations, 109 illustrations in colour

  • Topics: Computational Intelligence, Complexity, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation