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. 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 -
