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

Figures and Tables from this paper

A multiphase dynamic Bayesian networks methodology for the determination of safety integrity levels
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.
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.
A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELING
TLDR
The results show that the multiformalism modeling approach helps to cope with complexity, eases the verification of availability requirements and can be successfully applied to the analysis of complex critical systems.
...
...

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.
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).
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.
Hazard analysis of complex distributed railway systems
TLDR
The hazard analysis methodology defined and used in ASF (Ansaldo Segnalamento Ferroviario) and the results obtained by its application to the ERTMS/ETCS system are described.
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
TLDR
It turns out that SWN's allow the representation of any color function in a structured form, so that any unconstrained high-level net can be transformed into a well-formed net.
...
...