✦ LIBER ✦

Quantitative assessment models for software safety/reliability

✍ Scribed by Shigeru Yamada; Koichi Tokuno; Yu Kasano

Publisher: John Wiley and Sons
Year: 1998
Tongue: English
Weight: 252 KB
Volume: 81
Category: Article
ISSN: 8756-663X
DOI: 10.1002/(sici)1520-6432(199805)81:5<33::aid-ecjb5>3.0.co;2-5

No coin nor oath required. For personal study only.

✦ Synopsis

Safety and reliability have become important software quality characteristics in the development of safetycritical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of safety/reliability characteristics. The metric of software safety is defined as the probability that conditions that can lead to hazards do not occur. In this paper, we propose two stochastic models for software safety/reliability assessment: the data-domain dependent safety assessment model and the availability-related safety assessment model. These models focus on describing the time-or execution dependent behavior of software faults that can lead to unsafe states when they cause software failures. Numerical examples are also provided for quantitative software safety assessment.

📜 SIMILAR VOLUMES

Quantitative framework for reliable safe

Quantitative framework for reliable safety analysis

✍ Haitao Huang; Claire S. Adjiman; Nilay Shah 📂 Article 📅 2002 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 474 KB

A model for Bayesian software reliabilit

A model for Bayesian software reliability analysis

✍ Romulo I. Zequeira 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 85 KB 👁 2 views

A software reliability growth model for

A software reliability growth model for a distributed development environment

✍ Shigeru Yamada; Yoshinobu Tamura; Mitsuhiro Kimura 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB 👁 2 views

Many software systems have been produced in hostconcentrated development environments. At present, the software development environment has been changing into a distributed one because of the progress of WS (workstation) and network computing technology. Information network systems have also been ex

Model for quantitative immunohistochemic

Model for quantitative immunohistochemical assessment of pulpal response to biomaterials

✍ Pertot, Wilhelm-Joseph ;Sindres, Val�rie ;Szekeres, Georges ;Proust, Jean-Pierre 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 231 KB 👁 1 views

The purpose of this study was to propose a new method for quantitative evaluation of the pulpal inflammation to restorative materials using immunohistochemistry and image analysis. Class V cavities were prepared and filled with different restorative materials in 20 healthy premolars to be extracted

A comparison of methods for calculating

A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems

✍ Oded Tal; Anthony Bendell; Chris McCollin 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 114 KB 👁 1 views

Alternative Parameter Estimation Methods

Alternative Parameter Estimation Methods for the Compound Poisson Software Reliability Model with Clustered Failure Data

✍ MEHMET SAHINOGLU; ÜNAL CAN 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 430 KB 👁 2 views

The 'compound Poisson' (CP) software reliability model was proposed previously by the first named author for time-between-failure data in terms of CPU seconds, using the 'maximum likelihood estimation' (MLE) method to estimate unknown parameters; hence, CPMLE. However, another parameter estimation t