A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

@article{Flammini2009ANM,
  title={A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance},
  author={Francesco Flammini and Stefano Marrone and Nicola Mazzocca and Valeria Vittorini},
  journal={Reliab. Eng. Syst. Saf.},
  year={2009},
  volume={94},
  pages={1422-1432}
}
View PDF on arXiv
35 Citations
Highly Influential Citations
1
Background Citations
1
Methods Citations
5

Figures and Tables from this paper

35 Citations

Citation Type

Citation Type

A multiphase dynamic Bayesian networks methodology for the determination of safety integrity levels
Using Bayesian networks in reliability evaluation for subsea blowout preventer control system
REDUNDANCY ISSUES IN SOFTWARE AND HARDWARE SYSTEMS: AN OVERVIEW
TLDR
The methodological aspects which depict the required steps to build a block diagram composed of components in different configurations as well as Markov and non-Markov state transition diagram representing the structural system has been elaborated and the reliability of a specific redundant system and its comparison with a non redundant system is described.
Performance evaluation of subsea BOP control systems using dynamic Bayesian networks with imperfect repair and preventive maintenance
Application of Bayesian Networks to Reliability Evaluation of Software System for Subsea Blowout Preventers
The work develops a redundant software system for subsea blowout preventers, including control logics, human-machine interface (HMI) programs, remote access and redundant databases in order to meet…
Establishment of the optimal time interval between periodic inspections for redundant systems
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
TLDR
A survey of a ten years industrial experience in infrastructure and threat modelling for the assurance of reliability, safety and security in different phases of the life-cycle of rail transit systems is reported.
Safety analysis of complex systems based on Bayesian Networks
This paper presents a novel approach for safety analysis of complex systems. The Bayeisan Networks has been modeled based on failure scenarios contained a large number information of Failure Modes,…
An Accessible Way to Establish Reliability and Expected Time‐to‐Failure for Cold Standby Redundant Systems Subject to Periodic Inspections
TLDR
The main advantage of the results presented is the ability to conduct the reliability evaluation without the use of complex formulations such as Markov process or Laplace transforms that are usually beyond the skills of the industrial and maintenance staff.
...
...

References

SHOWING 1-10 OF 30 REFERENCES
COMPARISON OF METHODOLOGIES FOR THE SAFETY AND DEPENDABILITY ASSESSMENT OF AN INDUSTRIAL PROGRAMMABLE LOGIC CONTROLLER
TLDR
This paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508, and different probabilistic techniques of increasing modeling power have been compared.
Dynamic Bayesian Networks for modeling advanced Fault Tree features in dependability analysis
TLDR
It is shown how BN can provide a unified framework in which Dynamic FT (DFT), a recent extensions able to treat complex types of dependencies, can be represented and how DBN can be safely resorted to if a quantitative analysis of the system is required.
The Effect of Incomplete and Deleterious Periodic Maintenance on Fault-Tolerant Computer Systems
Maintenance is a common technique to achieve the reliability requirements of fault-tolerant computer systems. Depending on the system, maintenance may be carried out upon the failure of any one…
Analysis of Safety Related Architectures
  • A. Coccoli, A. Bondavalli
  • Computer Science
    2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
  • 2003
TLDR
This work will elaborate on architectural organizations to ensure safe and available service and internal error detection mechanisms coupled with on-line testing activities intended to stress each component of the system so to induce errors and thus to anticipate their detection (reducing latency).
Repairable fault tree for the automatic evaluation of repair policies
TLDR
This paper proposes an extension, repairable fault trees, which allows the designer to evaluate the effects of different repair policies on a repairable system and it is supported by a solution technique which transparently exploits generalized stochastic Petri nets for modelling the repairing process.
The design and evaluation of all voting triple modular redundancy system
TLDR
It is seen that the AVTMR system has a high dependability more than a single system by evaluation, and it can be applied to airplane and railway systems.
Using repairable fault trees for the evaluation of design choices for critical repairable systems
TLDR
This paper shows how to exploit RFT advantages by evaluating the effects of different repair policies on the availability of the most critical component of ERTMS/ETCS (an European railway standard) systems: the radio block centre (RBC).
Dependability metrics to assess safety-critical systems
TLDR
The objective of this paper is to develop two metrics that can be used in the assessment of safety-critical systems, the steady-state safety, S/sub ss/, and the Mean Time To Unsafe Failure (MTTUF).
A hybrid maintenance model with imperfect inspection for a system with deterioration and Poisson failure
TLDR
This study presents a new hybrid model with a general framework for incorporating various types of maintenance policies that will be more applicable to real world technical systems (complex systems), although it can be applied to individual components that are part of a complex system.
Integrated frameworks for multi-level and multi-formalism modeling
  • W. Sanders
  • Computer Science
    Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)
  • 1999
TLDR
This paper presents an overview of the Mobius project, which aims to provide a modeling framework and software environment that support multiple modeling formalisms, methods for model composition and connection, and a way to integrate multiple analytical/numerical- and simulation-based model solution methods.
...
...