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
35 Citations
A multiphase dynamic Bayesian networks methodology for the determination of safety integrity levels
- Computer ScienceReliab. Eng. Syst. Saf.
- 2016
Using Bayesian networks in reliability evaluation for subsea blowout preventer control system
- EngineeringReliab. Eng. Syst. Saf.
- 2012
REDUNDANCY ISSUES IN SOFTWARE AND HARDWARE SYSTEMS: AN OVERVIEW
- Computer Science
- 2011
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
- EngineeringEng. Appl. Artif. Intell.
- 2013
Application of Bayesian Networks to Reliability Evaluation of Software System for Subsea Blowout Preventers
- Computer Science
- 2013
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
- EngineeringReliab. Eng. Syst. Saf.
- 2014
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
- Computer ScienceFuture Gener. Comput. Syst.
- 2020
On the use of models for the dependability and security of transit systems and infrastructures: a multi-year industrial experience report
- Computer ScienceInt. J. Crit. Comput. Based Syst.
- 2012
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
- Engineering2010 The 2nd International Conference on Industrial Mechatronics and Automation
- 2010
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
- EngineeringQual. Reliab. Eng. Int.
- 2016
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
- Computer Science
- 2001
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
- Computer Science
- 2005
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
- EngineeringIEEE Transactions on Reliability
- 1986
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
- Computer Science2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
- 2003
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
- Computer ScienceInternational Conference on Dependable Systems and Networks, 2004
- 2004
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
- Computer Science, EngineeringAnnual Reliability and Maintainability Symposium. 2002 Proceedings (Cat. No.02CH37318)
- 2002
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
- EngineeringNinth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
- 2005
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
- Computer ScienceIEEE Transactions on Reliability
- 2005
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
- BusinessJ. Oper. Res. Soc.
- 1999
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
- Computer ScienceProceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331)
- 1999
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.