<p><p>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
Dependable Computer Systems
β Scribed by Andrzej BiaΕas (auth.), Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, JarosΕaw Sugier, Tomasz Walkowiak (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2011
- Tongue
- English
- Leaves
- 313
- Series
- Advances in Intelligent and Soft Computing 97
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
Front Matter....Pages -
Patterns Improving the Common Criteria Compliant IT Security Development Process....Pages 1-16
A Comparison of Dataflow and Mutation Testing of Java Methods....Pages 17-30
A New Three Levels Context Based Approach for Web Search Engines Evaluation....Pages 31-45
Quantitative Verification of Non-functional Requirements with Uncertainty....Pages 47-62
Testing Fault Susceptibility of a Satellite Power Controller....Pages 63-74
Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach....Pages 75-85
Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques....Pages 87-100
Two-Level Software Rejuvenation Model with Increasing Failure Rate Degradation....Pages 101-115
Towards a UML Profile for Maintenance Process and Reliability Analysis....Pages 117-129
Conjoining Fault Trees with Petri Nets to Model Repair Policies....Pages 131-143
Analysis of Geometric Features of Handwriting to Discover a Forgery....Pages 145-154
A Formal Framework for Testing duration Systems....Pages 155-168
Dynamic Model Initialization Using UML....Pages 169-178
Integrated Application of Compositional and Behavioural Safety Analysis....Pages 179-192
Reliability Analysis of Electronic Protection Systems Using Optical Links....Pages 193-203
Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment....Pages 205-217
Bad Memory Blocks Exclusion in Linux Operating System....Pages 219-231
Metamodel and UML Profile for Functional Programming Languages....Pages 233-242
Resource Co-allocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing....Pages 243-256
Functional Based Reliability Analysis of Web Based Information Systems....Pages 257-269
Human Resource Influence on Dependability of Discrete Transportation Systems....Pages 271-283
An Effective Learning Environment....Pages 285-299
Incremental Composition of Software Components....Pages 301-311
Back Matter....Pages -
β¦ Subjects
Computational Intelligence; Artificial Intelligence (incl. Robotics)
π SIMILAR VOLUMES
<p>Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of
A comprehensive collection of benchmarks for measuring dependability in hardware-software systemsAs computer systems have become more complex and mission-critical, it is imperative for systems engineers and researchers to have metrics for a system's dependability, reliability, availability, and serv
<p>This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is
Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and
A comprehensive collection of benchmarks for measuring dependability in hardware-software systemsAs computer systems have become more complex and mission-critical, it is imperative for systems engineers and researchers to have metrics for a system's dependability, reliability, availability, and serv