Reliability and Dependability
Software reliability and dependability: a roadmap
... System-Level Dependability Qualities All too often, reliability is described in terms of compliance of a specific program with its written ...state reliability requirements for it? The sensible way ...
14
Integration of System Dependability and Software Reliability Growth Models for E-Commerce Systems
... With the complete model, it is possible to perform a higher level of economic analysis in which software reliability growth can be traded off against any of the other 28 input parameters. A complete discussion of ...
8
Verification Everywhere: Security, Dependability, Reliability. Lenore D. Zuck Usable Verification, May 25, 2011
... • Stepwise refinement (functional and non-functional properties)* Theorem provers that allow integration of proofs about mathematics with proofs about software... On Refinement • Techn[r] ...
45
Evaluation of software dependability
... acceptable dependability levels is of ...high dependability needs to be assured because the consequences of failure can be catastrophic: some tightly coupled financial systems come to mind in this ...
18
Automating data dependability
... This paper describes our approach to the data dependability problem. We concentrate on enterprise- scale storage systems, because their information needs affect so many of today’s computing services. Today’s ...
8
When Dependability Counts Most
... Total Fluid Management SM Pall is much more than a filter company. We are fluid management specialists who strive to make our customers’ operations more successful. Our Total Fluid Management (TFM) program consists of a ...
12
Benchmarking Dependability of MapReduce Systems
... We illustrate the use of MRBS to evaluate Hadoop fault- tolerance capabilities, when running the Hadoop cluster on Amazon EC2, and on a private cloud. MRBS shows that when running the Bioinformatics workload and ...
16
A Dependability Profile within MARTE
... There is another OMG standard specifying UML extensions for a variety of non-functional properties, named the “Profile for Modeling Quality of Ser- vice and Fault Tolerance Characteristics and Mechanisms” (QoS&FT) [39]. ...
37
Dependability of Wireless Sensor Networks
... to dependability, it is impor- tant to address the individual dependability attributes, which are Availability, Reliability, Safety, Integrity, and ...
177
Qualitative and Quantitative Optimization for Dependability Analysis
... of reliability or availability of a repairable system or no with failure rates to the constant ...Software Reliability Workbench [26] for modelling the case study and for studies the quantitative ...
12
On the use of testability measures for dependability assessment
... 1) we first perform debug testing using a profile expected to yield a high testability (Testab ABS ). 2) By fixing bugs, we change the program and increase its reliability (clearly if fi[r] ...
27
Dependability within Peer to Peer Systems
... Failure to properly tackle peer addressing can have an influence on a number of dependability attributes (for example, reliability, availability and responsiveness). Load balancing - Load balancing is where ...
5
Explicit modelling and treatment of repair in prediction of dependability
... other reliability modelling and solving tools like M ¨obius could be connected to HIP-HOPS and Pandora to enable similar capabilities for analysis of systems, but that would require substantial conceptual work and ...
16
Validation of Ultrahigh Dependability for Software-Based Systems
... design reliability of hardware systems has traditionally not been evaluated as part of certification procedures: reliability estimation has referred only to physical ...
19
06371 Abstracts Collection -- From Security to Dependability
... Fevzi Belli (Universität Paderborn, D) Man-machine systems have several desirable global system properties such as user friendliness, reliability, safety, and security. System vulnerability is the lack, or the ...
19
Identifying Suitable Attributes for Security and Dependability Metrication
... the reliability of the ...higher reliability and the integrity metric will potentially affect the reliability metric as well as metrics for all other behavioural ...
7
“Validation of ultra-high dependability…” – 20 years on
... Explicit recognition of epistemic uncertainty has other implications. For instance, recommended practice focuses on avoiding, removing, and proving the absence of, bugs: it is not direct evidence about probability of ...
6
Disk Storage & Dependability
... • Disk latency is one average seek time plus the rotational latency. • Disk bandwidth is the peak transfer time of formatted data from[r] ...
37
Dependability Assessment of Android OS
... 1.3 Thesis Contributions This thesis revolves around three aspects: fault injection testing, aging analysis, and fuzz testing. Regarding the first aspect, mobile OS could be statically or dynamically analyzed to promote ...
223
Computer system dependability : an introduction
... This report gives an inFoduction to the idea of dependability and gives and overview of some of the techniques used in making computer systems dependable.. In particular, sp[r] ...
28