Dependable Computer Systems

Front Cover
Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak
Springer Science & Business Media, May 13, 2011 - Computers - 314 pages
0 Reviews

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.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Patterns Improving the Common Criteria Compliant IT Security Development Process
1
A Comparison of Dataflow and Mutation Testing of Java Methods
17
A New Three Levels Context Based Approach for Web Search Engines Evaluation
31
Quantitative Verification of Nonfunctional Requirements with Uncertainty
47
Testing Fault Susceptibility of a Satellite Power Controller
63
Theoretical and Practical Aspects of Encrypted Containers Detection Digital Forensics Approach
75
Some Models and Techniques
86
TwoLevel Software Rejuvenation Model with Increasing Failure Rate Degradation
101
Integrated Application of Compositional and Behavioural Safety Analysis
179
Reliability Analysis of Electronic Protection Systems Using Optical Links
193
Avoiding Probability Saturation during Adjustment of Markov Models of Ageing Equipment
204
Bad Memory Blocks Exclusion in Linux Operating System
219
Metamodel and UML Profile for Functional Programming Languages
232
Resource Coallocation Algorithms for Job Batch Scheduling in Dependable Distributed Computing
243
Functional Based Reliability Analysis of Web Based Information Systems
257
Human Resource Influence on Dependability of Discrete Transportation Systems
271

Towards a UML Profile for Maintenance Process and Reliability Analysis
117
Conjoining Fault Trees with Petri Nets to Model Repair Policies
130
Analysis of Geometric Features of Handwriting to Discover a Forgery
145
A Formal Framework for Testing duration Systems
155
Dynamic Model Initialization Using UML
169
An Effective Learning Environment
284
Incremental Composition of Software Components
301
Author Index
312
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information