A. BobbioReggio Emilia, June 17-18, 20031 Dependability & Maintainability Theory and Methods Part 2: Repairable systems: Availability Andrea Bobbio Dipartimento.

Slides:



Advertisements
Similar presentations
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 3. State Enumeration Andrea Bobbio Dipartimento di Informatica Università del Piemonte.
Advertisements

Time to failure Probability, Survival,  the Hazard rate, and the Conditional Failure Probability.
Chapter 12 Maintainability and Availability introduction Availability analysis of the system requires a knowledge: (1)How the components are functional.
Exploiting decision theory for supporting therapy selection in computerized clinical guidelines Stefania Montani, Paolo Terenziani, Alessio Bottrighi DI,
A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 3. Reliability Block Diagrams Andrea Bobbio Dipartimento di.
Andrea Bobbio Dipartimento di Informatica
A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.
Unità di Perugia e di Roma “Tor Vergata” "Uncertain production systems: optimal feedback control of the single site and extension to the multi-site case"
1 Introduction to the maintenance optimization Jørn Vatn.
Fault Tree Analysis Part 12 – Redundant Structure and Standby Units.
Chapter 8 Continuous Time Markov Chains. Markov Availability Model.
Maintainability Measures and Functions Various measures are used in maintainability analysis: 1.Mean time to repair (MTTR) 2.Mean preventive maintenance.
1 Logistics Measures and Considerations IEGR 459: Intro to Logistics Management and Supply Chain Sept. 19, 2011 Fall 2011 Maintainability System Effectiveness.
1 Chapter 5 Continuous time Markov Chains Learning objectives : Introduce continuous time Markov Chain Model manufacturing systems using Markov Chain Able.
Probability and Statistics with Reliability, Queuing and Computer Science Applications: Chapter 6 on Stochastic Processes Kishor S. Trivedi Visiting Professor.
SMJ 4812 Project Mgmt and Maintenance Eng.
Oct. 2007State-Space ModelingSlide 1 Fault-Tolerant Computing Motivation, Background, and Tools.
Dependability Evaluation through Markovian model.
Probability and Statistics with Reliability, Queuing and Computer Science Applications: Chapter 8 on Continuous-Time Markov Chains Kishor Trivedi.
Markov Reward Models By H. Momeni Supervisor: Dr. Abdollahi Azgomi.
Reliable System Design 2011 by: Amir M. Rahmani
Markov Method of Availability Analysis, APS systems, and Availability Simulation Methods E E 681 Module 21 W. D. Grover TRLabs & University of Alberta.
Oct State-Space Modeling Slide 1 Fault-Tolerant Computing Motivation, Background, and Tools.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica Università del Piemonte.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods Part 4: Fault-tree analysis Andrea Bobbio Dipartimento di Informatica Università.
Dependability Evaluation. Techniques for Dependability Evaluation The dependability evaluation of a system can be carried out either:  experimentally.
1 Spare part modelling – An introduction Jørn Vatn.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods Part 1: Introduction and definitions Andrea Bobbio Dipartimento di Informatica.
Industrial Engineering
1 Logistics Systems Engineering Availability NTU SY-521-N SMU SYS 7340 Dr. Jerrell T. Stracener, SAE Fellow.
System Testing There are several steps in testing the system: –Function testing –Performance testing –Acceptance testing –Installation testing.
Simulation Output Analysis
Generalized Semi-Markov Processes (GSMP)
Software Reliability SEG3202 N. El Kadri.
Chapter 2 Machine Interference Model Long Run Analysis Deterministic Model Markov Model.
A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 2. Reliability Block Diagrams Andrea Bobbio Dipartimento di Informatica Università.
Pisa, 11/25/2002Susanna Donatelli1 Modelling process and heterogeneous model construction Susanna Donatelli Modelling and evaluation groups.
Performance Evaluation of Computer Systems Introduction
1 Performance Evaluation of Computer Systems and Networks Introduction, Outlines, Class Policy Instructor: A. Ghasemi Many thanks to Dr. Behzad Akbari.
Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento.
Materi. Introduction There are two general types of maintenance : Reactive and Proactive Maintenance Reactive maintenance is performed in response to.
Maintenance Policies Corrective maintenance: It is usually referred to as repair. Its purpose is to bring the component back to functioning state as soon.
Reliability & Maintainability Engineering An Introduction Robert Brown Electrical & Computer Engineering Worcester Polytechnic Institute.
Lecture 4: State-Based Methods CS 7040 Trustworthy System Design, Implementation, and Analysis Spring 2015, Dr. Rozier Adapted from slides by WHS at UIUC.
Generalized Semi- Markov Processes (GSMP). Summary Some Definitions The Poisson Process Properties of the Poisson Process  Interarrival times  Memoryless.
ON CONTINUOUS-TIME RANDOM WALKS IN FINANCE Enrico Scalas (1) with: Maurizio Mantelli (1) Marco Raberto (2) Rudolf Gorenflo (3) Francesco Mainardi (4) (1)
Generalized stochastic Petri nets (GSPN)
1 Component reliability Jørn Vatn. 2 The state of a component is either “up” or “down” T 1, T 2 and T 3 are ”Uptimes” D 1 and D 2 are “Downtimes”
Fault-Tolerant Computing Systems #4 Reliability and Availability
EML EML 4550: Engineering Design Methods Probability and Statistics in Engineering Design: Reliability Class Notes Hyman: Chapter 5.
1 EXAKT SKF Phase 1, Session 2 Principles. 2 The CBM Decision supported by EXAKT Given the condition today, the asset mgr. takes one of three decisions:
CDA6530: Performance Models of Computers and Networks Chapter 3: Review of Practical Stochastic Processes.
Continuous Time Markov Chains
SS r SS r This model characterizes how S(t) is changing.
Fault Tree Analysis Part 11 – Markov Model. State Space Method Example: parallel structure of two components Possible System States: 0 (both components.
Stracener_EMIS 7305/5305_Spr08_ Systems Availability Modeling & Analysis Dr. Jerrell T. Stracener, SAE Fellow Leadership in Engineering EMIS 7305/5305.
1 Chapter 5 Continuous time Markov Chains Learning objectives : Introduce continuous time Markov Chain Model manufacturing systems using Markov Chain Able.
CS203 – Advanced Computer Architecture Dependability & Reliability.
Reliability Engineering
Prof. Enrico Zio Availability of Systems Prof. Enrico Zio Politecnico di Milano Dipartimento di Energia.
Discrete-time Markov chain (DTMC) State space distribution
Ch3.5 Hypergeometric Distribution
MAINTENANCE ENGINEERING
Availability Availability - A(t)
Fault Tolerance & Reliability CDA 5140 Spring 2006
Fault-Tolerant Computing Systems #5 Reliability and Availability2
Reliability and Maintainability
Tarbiat Modares University
Reliability Engineering
Chapter 2 Machine Interference Model
Presentation transcript:

A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods Part 2: Repairable systems: Availability Andrea Bobbio Dipartimento di Informatica Università del Piemonte Orientale, “A. Avogadro” Alessandria (Italy) - IFOA, Reggio Emilia, June 17-18, 2003

A. BobbioReggio Emilia, June 17-18, Repairable systems X 1, X 2 …. X n Successive UP times Y 1, Y 2 …. Y n Successive DOWN times t UP DOWN X 1 X 2 X 3 Y 1 Y 2

A. BobbioReggio Emilia, June 17-18, Repairable systems The usual hypothesis in modeling repairable systems is that:  The successive UP times X 1, X 2 …. X n are i.i.d. random variable: i.e. samples from a common cdf F (t)  The successive DOWN times Y 1, Y 2 …. Y n are i.i.d. random variable: i.e. samples from a common cdf G (t)

A. BobbioReggio Emilia, June 17-18, Repairable systems The dynamic behaviour of a repairable system is characterized by: ” the r.v. X of the successive up times ” the r.v. Y of the successive down times t UP DOWN X 1 X 2 X 3 Y 1 Y 2

A. BobbioReggio Emilia, June 17-18, Maintainability Let Y be the r.v. of the successive down times: G(t) = Pr { Y  t } (maintainability) d G(t) g (t) = ——— (density) dt g(t) h g (t) = ———— (repair rate) 1 - G(t) MTTR =  t g(t) dt (Mean Time To Repair) 0 

A. BobbioReggio Emilia, June 17-18, Availability The availability A(t) of an item at time t is the probability that the item is correctly working at time t. The measure to characterize a repairable system is the availability (unavailability):

A. BobbioReggio Emilia, June 17-18, Availability The measure to characterize a repairable system is the availability (unavailability): A(t) = Pr { time t, system = UP } U(t) = Pr { time t, system = DOWN } A(t) + U(t) = 1

A. BobbioReggio Emilia, June 17-18, Definition of Availability An important difference between reliability and availability is:  reliability refers to failure-free operation during an interval (0 — t) ;  availability refers to failure-free operation at a given instant of time t (the time when a device or system is accessed to provide a required function), independently on the number of cycles failure/repair.

A. BobbioReggio Emilia, June 17-18, Definition of Availability Operating and providing a required function Failed and being restored 1 Operating and providing a required function System Failure and Restoration Process t I(t) indicator function 0 I(t) 1 working 0 failed

A. BobbioReggio Emilia, June 17-18, Availability evaluation In the special case when times to failure and times to restoration are both exponentially distributed, the alternating process can be viewed as a two-state homogeneous Continuous Time Markov Chain Time-independent failure rate Time-independent repair rate 

A. BobbioReggio Emilia, June 17-18, State Markov Availability Model UP 1 DN 0 Transient Availability analysis: for each state, we apply a flow balance equation: – Rate of buildup = rate of flow IN - rate of flow OUT

A. BobbioReggio Emilia, June 17-18, State Markov Availability Model UP 1 DN 0

A. BobbioReggio Emilia, June 17-18, State Markov Availability Model 1 A(t) A ss =

A. BobbioReggio Emilia, June 17-18, State Markov Model 1) Pointwise availability A(t) : 2) Steady state availability: limiting value as 3)If there is no restoration (  =0) the availability becomes the reliability A(t) = R(t) =

A. BobbioReggio Emilia, June 17-18, Steady-state Availability Steady-state availability: In many system models, the limit: exists and is called the steady-state availability The steady-state availability represents the probability of finding a system operational after many fail-and- restore cycles.

A. BobbioReggio Emilia, June 17-18, Steady-state Availability 1 t 0 UPDOWN Expected UP time E[U(t)] = MUT = MTTF Expected DOWN time E[D(t)] = MDT = MTTR

A. BobbioReggio Emilia, June 17-18, Availability: Example (I) Let a system have a steady state availability Ass = 0.95 This means that, given a mission time T, it is expected that the system works correctly for a total time of: 0.95*T. Or, alternatively, it is expected that the system is out of service for a total time: Uss * T = (1- Ass) * T

A. BobbioReggio Emilia, June 17-18, Availability: Example (II) Let a system have a rated productivity of W $/year. The loss due to system out of service can be estimated as: Uss * W = (1- Ass) * W The availability (unavailability) is an index to estimate the real productivity, given the rated productivity. Alternatively, if the goal is to have a net productivity of W $/year, the plant must be designed such that its rated productivity W’ should satisfy: Uss * W’ = W

A. BobbioReggio Emilia, June 17-18, Availability We can show that: This result is valid without making any assumptions on the form of the distributions of times to failure & times to repair. Also:

A. BobbioReggio Emilia, June 17-18, Motivation – High Availability

A. BobbioReggio Emilia, June 17-18, MDT (Mean Down Time or MTTR - mean time to restoration). The total down time (Y ) consists of: Failure detection time Alarm notification time Dispatch and travel time of the repair person(s) Repair or replacement time Reboot time Maintainability

A. BobbioReggio Emilia, June 17-18, The total down time (Y ) consists of: Logistic (passive) time Administrative times Dispatch and travel time of the repair person(s) Waiting time for spares, tools … Effective restoration (active) time Access and diagnosis time Repair or replacement time Test and reboot time Maintainability

A. BobbioReggio Emilia, June 17-18, Logistic times depend on the organization of the assistance service: Number of crews; Dislocation of tools and storehouses; Number of spare parts. Logistics

A. BobbioReggio Emilia, June 17-18, The number of spares

A. BobbioReggio Emilia, June 17-18, The total cost of a maintenance action consists of: Cost of spares and replaced parts Cost of person/hours for repair Down-time cost (loss of productivity) Maintenance Costs The down-time cost (due to a loss of productivity) can be the most relevant cost factor.

A. BobbioReggio Emilia, June 17-18, Is the sequence of actions that minimizes the total cost related to a down time: Reactive maintenance: maintenance action is triggered by a failure. Proactive maintenance: preventive maintenance policy. Maintenance Policy

A. BobbioReggio Emilia, June 17-18, Life Cycle Cost