Skip to main content
SpringerLink
Log in
Book cover

Dependable Computer Systems

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Wojciech Zamojski

    1. Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Janusz Kacprzyk

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jacek Mazurkiewicz

    1. Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jarosław Sugier

    1. Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Tomasz Walkowiak

    1. Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Recent research in Dependable Computer Systems
  • Proceedings of the Sixth International Conference on Dependability and Computer Systems DepCoS-RELCOMEX 2011 held in Wroclaw, Poland, June 27- Jul 11
  • Written by leading experts in the field

Part of the book series: Advances in Intelligent and Soft Computing (AINSC, volume 97)

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.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 (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Patterns Improving the Common Criteria Compliant IT Security Development Process

    • Andrzej Białas
    Pages 1-16

  3. A Comparison of Dataflow and Mutation Testing of Java Methods

    • Ilona Bluemke, Karol Kulesza
    Pages 17-30

  4. A New Three Levels Context Based Approach for Web Search Engines Evaluation

    • Abdelkrim Bouramoul, Mohamed-Khireddine Kholladi, Bich-Lien Doan
    Pages 31-45

  5. Quantitative Verification of Non-functional Requirements with Uncertainty

    • Carlo Ghezzi, Amir Molzam Sharifloo
    Pages 47-62

  6. Testing Fault Susceptibility of a Satellite Power Controller

    • Marcin Iwiński, Janusz Sosnowski
    Pages 63-74

  7. Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach

    • Ireneusz Jozwiak, Michal Kedziora, Aleksandra Melinska
    Pages 75-85

  8. Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques

    • Vyacheslav Kharchenko, Andriy Volkoviy, Olexandr Siora, Vyacheslav Duzhyi
    Pages 87-100

  9. Two-Level Software Rejuvenation Model with Increasing Failure Rate Degradation

    • Vasilis P. Koutras
    Pages 101-115

  10. Towards a UML Profile for Maintenance Process and Reliability Analysis

    • Marcin Kowalski, Jan Magott
    Pages 117-129

  11. Conjoining Fault Trees with Petri Nets to Model Repair Policies

    • Marcin Kowalski, Jan Magott
    Pages 131-143

  12. Analysis of Geometric Features of Handwriting to Discover a Forgery

    • Henryk Maciejewski, Roman Ptak
    Pages 145-154

  13. A Formal Framework for Testing duration Systems

    • Lotfi Majdoub
    Pages 155-168

  14. Dynamic Model Initialization Using UML

    • Lila Meziani, Thouraya Bouabana-Tebibel
    Pages 169-178

  15. Integrated Application of Compositional and Behavioural Safety Analysis

    • Septavera Sharvia, Yiannis Papadopoulos
    Pages 179-192

  16. Reliability Analysis of Electronic Protection Systems Using Optical Links

    • Mirosław Siergiejczyk, Adam Rosiński
    Pages 193-203

  17. Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment

    • Jarosław Sugier
    Pages 205-217

  18. Bad Memory Blocks Exclusion in Linux Operating System

    • Tomasz Surmacz, Bartosz Zawistowski
    Pages 219-231

  19. Metamodel and UML Profile for Functional Programming Languages

    • Marcin Szlenk
    Pages 233-242

  20. Resource Co-allocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing

    • Victor Toporkov, Dmitry Yemelyanov, Anna Toporkova, Alexander Bobchenkov
    Pages 243-256
Back to top

Keywords

About this book

Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources.

 

This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena.

Editors and Affiliations

  • Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, Wrocław, Poland

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

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

    Janusz Kacprzyk

Bibliographic Information

  • Book Title: Dependable Computer Systems

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

  • Series Title: Advances in Intelligent and Soft Computing

  • DOI: https://doi.org/10.1007/978-3-642-21393-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-21392-2Published: 13 May 2011

  • eBook ISBN: 978-3-642-21393-9Published: 13 May 2011

  • Series ISSN: 1867-5662

  • Series E-ISSN: 1867-5670

  • Edition Number: 1

  • Number of Pages: XIV, 314

  • Number of Illustrations: 126 b/w illustrations

  • Topics: Computational Intelligence, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation