Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program....
Transcript of Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program....
![Page 1: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/1.jpg)
Reliability
Embedded Systems
Lirida Alves de Barros-NavinerMaster Program
![Page 2: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/2.jpg)
Outline
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
2 /69Lirida Alves de Barros-NavinerMaster Program
![Page 3: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/3.jpg)
Outline
IntroductionDependabilityElectronics
System Analysis
Conclusions
3 /69Lirida Alves de Barros-NavinerMaster Program
![Page 4: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/4.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
4 /69Lirida Alves de Barros-NavinerMaster Program
![Page 5: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/5.jpg)
Dependability
Definition
Dependability is the ability of a system to deliver service that canjustifiably be trusted.
Definition
Dependability is the ability of a system to avoid service failuresthat are more frequent or more severe than is acceptable.
5 /69Lirida Alves de Barros-NavinerMaster Program
![Page 6: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/6.jpg)
Taxonomy
Dependability
Means
Fault Forecasting
Fault Removal
Fault Prevention
Fault Tolerance
Threats
Failures
Errors
Faults
Attributes
Maintenability
Integrity
Confidentiality
Safety
Reliability R
Availability A
6 /69Lirida Alves de Barros-NavinerMaster Program
![Page 7: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/7.jpg)
Dependability Attributes
Availability: readiness for correct service.
Reliability: continuity of correct service.
Safety: absence of catastrophic consequences on the user(s) andthe environment.
Integrity: absence of improper system alterations.
Maintainability: ability to undergo modifications and repairs.
7 /69Lirida Alves de Barros-NavinerMaster Program
![Page 8: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/8.jpg)
Dependability Threats
Fault: an unexpected (incorrect) condition that can lead thesystem to achieve abnormal states. A fault can lead to an error.
Error: an undesired (incorrect) state of the system. An errorcan lead to an incorrect response of the system.
Failure: an incorrect response of the system. It means theservice provided by the system differs from the expected one.
8 /69Lirida Alves de Barros-NavinerMaster Program
![Page 9: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/9.jpg)
Means to Ensure Dependability
Fault prevention: avoid things go wrong!
Fault tolerance: deal with, when things go wrong!
Fault removal: make it right, if things went wrong!
Fault forecasting: be aware of how wrong things can go
9 /69Lirida Alves de Barros-NavinerMaster Program
![Page 10: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/10.jpg)
Commun Measures
Failure Rate
Mean Time to Failure
Mean Time to Repair
Availability
Mean Time Between Failures
Fault Coverage
10 /69Lirida Alves de Barros-NavinerMaster Program
![Page 11: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/11.jpg)
Failure Rate
Definition
The failure rate λ is the expected number of failures per unit time.
For a system with n components λ can be estimated as:
λ =
n∑i=1
λi
λ =∑n
i=1 λi
n independent components
11 /69Lirida Alves de Barros-NavinerMaster Program
![Page 12: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/12.jpg)
Mean Time to Failure
Definition
The Mean Time to Failure (MTTF) of a system is the expectedtime of the occurrence of the first system failure.
MTTF=1
n
n∑i=1
ti FIT =109
MTTF
n components Failures In Time
12 /69Lirida Alves de Barros-NavinerMaster Program
![Page 13: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/13.jpg)
Mean Time to Repair
Definition
The Mean Time to Repair (MTTR) of a system is the averagetime required to repair the system.
MTTR is often given in terms of the repair rate µ, which is theexpected number of repairs per unit of time
MTTR=1
µ
13 /69Lirida Alves de Barros-NavinerMaster Program
![Page 14: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/14.jpg)
Availability
Definition
Instantaneous availability A(t) is the probability the systemoperates at time t.
Interval availability stands for the average of A(t) over amission period:
A(T)=1
T
∫ T
0A(t)dt
Steady-state availability applies when availability is timeindependent:
A(∞) = limT→∞
A(T ) =n×MTTF
n×MTTF + n×MTTR=
µ
µ+ λ
• Supposes n failures during lifetime
14 /69Lirida Alves de Barros-NavinerMaster Program
![Page 15: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/15.jpg)
Mean Time Between Failures
Definition
The Mean Time Between Failures (MTBF) is the average timebetween failures of the system.
MTBF=MTTF+MTTR MTBF=MTTF
A(∞)
Assuming repair makes the item perfect
15 /69Lirida Alves de Barros-NavinerMaster Program
![Page 16: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/16.jpg)
Fault Coverage
Definition
The Fault Coverage FC is the conditional probability related toexpected actions when faults occurs.
FC= P(detected faults | existent faults)
FC= P(located faults | existent faults)
FC= P(recovered faults | existent faults)
FC= P(contained faults | existent faults
16 /69Lirida Alves de Barros-NavinerMaster Program
![Page 17: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/17.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
17 /69Lirida Alves de Barros-NavinerMaster Program
![Page 18: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/18.jpg)
What About Embedded Systems?
inputs ‘expected’ outputsPerformancePowerData integrityAvailabilitySecurity
HW/SW system
Shocks(mechanical, temperature)Radiations
Design errorsSoftware failures
Malicious attacksHuman errors
Unexpected conditions of use
DefectsProcess variation
Ageing Noise
18 /69Lirida Alves de Barros-NavinerMaster Program
![Page 19: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/19.jpg)
SW and HW Faults
Useful life Obsolescence Test & debug
Failu
re r
ate
Time
19 /69Lirida Alves de Barros-NavinerMaster Program
![Page 20: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/20.jpg)
Default/Fault Propagation
20 /69Lirida Alves de Barros-NavinerMaster Program
![Page 21: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/21.jpg)
Fault Models: Bit-flip and Stuck-at
A
B
C
Y
x
A B C x Y
0 0 0 0 00 0 1 0 10 1 0 0 00 1 1 0 11 0 0 0 01 0 1 0 11 1 0 1 01 1 1 1 0
21 /69Lirida Alves de Barros-NavinerMaster Program
![Page 22: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/22.jpg)
Fault Models: Bit-flip and Stuck-at
A
B
C
Y
x
A B C x Y
0 0 0 1 00 0 1 1 00 1 0 1 00 1 1 1 01 0 0 1 01 0 1 1 01 1 0 1 01 1 1 1 0
21 /69Lirida Alves de Barros-NavinerMaster Program
![Page 23: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/23.jpg)
Advances in CMOS
Moore’s law (popular form): 2× Ntr/mm2 every 18 months
Intel 4004 (1971): 10µm and 2.3 × 103 tr
Intel 22-core Xeon Broadwell-E5-2699Rv4 (2016):
14nm and 7.2 × 109 tr
Scaling issues
• Design complexity, testchallenge, low power voltage
• Variability – Modelling• Sensitivity to unscaled
environmental disturbances
Scaling effects
• Yield decrease• Reliability decrease
22 /69Lirida Alves de Barros-NavinerMaster Program
![Page 24: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/24.jpg)
Scaling and Reliability
23 /69Lirida Alves de Barros-NavinerMaster Program
![Page 25: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/25.jpg)
Scaling and Reliability
23 /69Lirida Alves de Barros-NavinerMaster Program
![Page 26: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/26.jpg)
Outline
Introduction
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
24 /69Lirida Alves de Barros-NavinerMaster Program
![Page 27: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/27.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
25 /69Lirida Alves de Barros-NavinerMaster Program
![Page 28: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/28.jpg)
Traditional Approaches
Diagnostics experience
Insufficient to analyze complex designs
Heuristic approaches
26 /69Lirida Alves de Barros-NavinerMaster Program
![Page 29: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/29.jpg)
Prior to Beginning
We focus on system modeling
We consider the system consists of several components:c1, c2, · · · , cnWe look for a function that enables reliability analysis
27 /69Lirida Alves de Barros-NavinerMaster Program
![Page 30: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/30.jpg)
Deterministic Model
Definition
The state of a component ci is defined as
xi =
{0 if the component ci is not fonctionning
1 if the component ci is functionning
Definition
The state set is defined as the vector composed by the componentsstates
x = (x1x2 · · ·xn)
28 /69Lirida Alves de Barros-NavinerMaster Program
![Page 31: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/31.jpg)
Deterministic Model (cont.)
Definition
The system state is defined as
ξ(x) =
{0 if the system is not fonctionning with state set x
1 if the system is functionning with state set x
29 /69Lirida Alves de Barros-NavinerMaster Program
![Page 32: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/32.jpg)
Reliability Block Diagram
Static representation (no reference to time)
Each component represented by a block
Based on logic (Boolean algebra)
Independence of components failures
Behavior facing faults represented by the connections betweenblocks
30 /69Lirida Alves de Barros-NavinerMaster Program
![Page 33: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/33.jpg)
Series System
c1 c2 c3 c4
ξ(x) =
{0 if there exists an i such that xi = 0
1 if xi = 1 for all i ∈ [1;n]
=
n∏i=1
xi
31 /69Lirida Alves de Barros-NavinerMaster Program
![Page 34: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/34.jpg)
Parallel System
c1
c2
c3
c4
ξ(x) =
{0 if xi = 0 for all i ∈ [1;n]
1 if there exists an i such that xi = 1
= 1−n∏i=1
(1− xi)
32 /69Lirida Alves de Barros-NavinerMaster Program
![Page 35: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/35.jpg)
Combined Series-Parallel SystemExample: 2 out of 3 structure
c1c2
c3
c2 c3
ξ(x) =
{0 if
∑ni=1 xi < k
1 if∑n
i=1 xi ≥ k
33 /69Lirida Alves de Barros-NavinerMaster Program
![Page 36: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/36.jpg)
Non Series-Parallel System
c1 c4
c3
c2 c5
34 /69Lirida Alves de Barros-NavinerMaster Program
![Page 37: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/37.jpg)
Coherent System
Definition
A system of n components is coherent if its function ξ(x) isnondecreasing in x and there are no irrelevant components.
Definition
A function ξ(x) is nondecreasing in x ifξ(x1 · · ·xi−10xi+1 · · ·xn) ≤ ξ(x1 · · ·xi−11xi+1 · · ·xn).
Definition
A component ci is irrelevant if its state xi has no impact on thefunction ξ(x).
35 /69Lirida Alves de Barros-NavinerMaster Program
![Page 38: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/38.jpg)
Coherent System (cont.)
A non coherent structure:
c1 c2
c1
36 /69Lirida Alves de Barros-NavinerMaster Program
![Page 39: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/39.jpg)
Structural Importance
Definition
The structural importance of a component ci in a coherent systemof n components is
Iξ(i) =1
2n−1
∑[ξ(1i,x)− ξ(0i,x)]
37 /69Lirida Alves de Barros-NavinerMaster Program
![Page 40: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/40.jpg)
Path Vector
Definition
A path vector for a coherent system is a vector x such as ξ(x) = 1.
Definition
A minimal path for a coherent system is a path vector x such asξ(y) = 0 for all y < x.
Definition
Given two vectors x and y, x < y if and only if xi ≤ yi fori = 1, 2, · · · , n and xi < yi for some i.
Definition
A minimal path set Pj for a coherent system is a set with allcomponents associated to a given minimal path vector.
38 /69Lirida Alves de Barros-NavinerMaster Program
![Page 41: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/41.jpg)
Cut Vector
Definition
A cut vector for a coherent system is a vector x such as ξ(x) = 0.
Definition
A minimal cut vector for a coherent system is a cut vector x suchas ξ(y) = 1 for all y > x.
Definition
A minimal cut set Cj for a coherent system is a set with allcomponents associated to a given minimal cut vector.
39 /69Lirida Alves de Barros-NavinerMaster Program
![Page 42: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/42.jpg)
Minimal Sets and System State
Minimal Path Set
ξ(x) = maxj
∏i∈Pj
xi = 1−l∏
j=1
1−∏i∈Pj
xi
Minimal Cut Set
ξ(x) = minj
1−∏i∈Cj
(1− xi)
=
k∏j=1
1−∏i∈Cj
(1− xi)
40 /69Lirida Alves de Barros-NavinerMaster Program
![Page 43: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/43.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
41 /69Lirida Alves de Barros-NavinerMaster Program
![Page 44: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/44.jpg)
Probabilistic Model
Definition
The random state of a component ci is defined as
Xi =
{0 if the component i has failed
1 if the component i is functionning
Definition
The random state of the set of components in a system isdefined as
X = (X1X2 · · ·Xn)
42 /69Lirida Alves de Barros-NavinerMaster Program
![Page 45: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/45.jpg)
Component and System Reliability
Definition
The reliability of a component ci is defined as the probability thatcomponent ci is functionning [at prescribed time]
Ri = P{Xi = 1} = qi
Definition
The reliability of a coherent system is defined by
R = P{ξ(X) = 1}
43 /69Lirida Alves de Barros-NavinerMaster Program
![Page 46: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/46.jpg)
Alternative Reliability Calculation
Alternative expressions
R = P{X is a path vector}R = 1− P{X is a cut vector}R = R(1i,q).qi +R(0i,q)(1− qi)
44 /69Lirida Alves de Barros-NavinerMaster Program
![Page 47: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/47.jpg)
Reliability Importance
Definition
The reliability importance of a component ci in a coherentsystem of n components is given by
IRi =∂R(q)
∂qi= R(1i,q)−R(0i,q)
for i = 1, 2, · · · , n
45 /69Lirida Alves de Barros-NavinerMaster Program
![Page 48: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/48.jpg)
Reliability Bounds
Theorem
The reliability of a coherent system of n independent componentsrespects
n∏i=1
qi ≤ R(q) ≤ 1−n∏i=1
(1− qi)
46 /69Lirida Alves de Barros-NavinerMaster Program
![Page 49: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/49.jpg)
Bounds: Path and Cut Vectors
Theorem
The reliability of a coherent system of independent components,minimal path sets P1, P2, · · · , Pl and minimal cut sets C1, C2, · · · , Ckrespects
k∏j=1
1−∏i∈Cj
(1− qi)
≤ R(q) ≤ 1−l∏
j=1
1−∏i∈Pj
qi
47 /69Lirida Alves de Barros-NavinerMaster Program
![Page 50: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/50.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
48 /69Lirida Alves de Barros-NavinerMaster Program
![Page 51: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/51.jpg)
Lifetime Models
Definition
Reliability is the ability of an item to perform its required functionsunder stated conditions and for a specified period of time (IEEEdefinition).
A item or a component may mean a simple (i.e logic gate) or acomplex system.
The definition suggests behaviour item evolution.
49 /69Lirida Alves de Barros-NavinerMaster Program
![Page 52: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/52.jpg)
Lifetime Representations
We denote T a continuos nonnegative random variable thatrepresents the lifetime of a item.
• Note that time may stand to hours but also to number of flips,number of km, etc.
We consider functions that define the distribution of T ,representing the failure time of a item.
50 /69Lirida Alves de Barros-NavinerMaster Program
![Page 53: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/53.jpg)
Probability Density Function
Definition
The probability density function (PDF) is defined as
f(t) = lim∆t→0
P{t ≤ T ≤ t+ ∆t}∆t
f(t) = 0 for t < 0 f(t) ≥ 0 for t ≥ 0
∫ 1
0f(t)dt = 1
The PDF indicates the likelihood of failure for any t
51 /69Lirida Alves de Barros-NavinerMaster Program
![Page 54: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/54.jpg)
Cumulative Distribution Function
The cumulative distribution function gives the probability that afailure occurs at a time smaller or equal to t is
F (t) =
∫ t
−∞f(t)dt
where f(t) is the probability density function (PDF) of therandom variable time to failure.
P{t1 ≤ T ≤ t2} =
∫ t2
t1
f(t)dt = F (t2)− F (t1)
52 /69Lirida Alves de Barros-NavinerMaster Program
![Page 55: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/55.jpg)
Reliability (or Survivor) Function
Definition
The reliability function R(t) is defined as
R(t) = R(q, t) = = P{T ≥ t} ∀t ≥ 0
R(t) must be nonincreasing and respect R(0) = 1, limt→∞
R(t) = 0
53 /69Lirida Alves de Barros-NavinerMaster Program
![Page 56: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/56.jpg)
Hazard Function
Definition
The hazard function h(t) is defined as the amount of riskassociated to an item at time t.
h(t)=f(t)
R(t)
h(t) = lim∆t→0 P{t ≤ T ≤ t+ ∆t|T ≥ t}
= lim∆t→0P{t ≤ T ≤ t+ ∆t}
P{T ≥ t}= lim∆t→0
R(t)−R(t+ ∆t)
R(t)∆t
=f(t)
R(t)
h(t) represents the instantaneous failure rate.
h(t) must respect∞∫0
h(t)dt =∞, h(t) ≥ 0 ∀t ≥ 0
54 /69Lirida Alves de Barros-NavinerMaster Program
![Page 57: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/57.jpg)
System Lifetime Representation
Component i
• Individual representations: fi(t), Ri(t), hi(t)• Individual measures: µi, σ
2i , tk,i
Combine measures according to the structure function
Example
Reliability of a series structure
R(t) = R (R1(t), R2(t), · · · , Rn(t))
R1(t).R2(t). · · · .Rn(t)
55 /69Lirida Alves de Barros-NavinerMaster Program
![Page 58: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/58.jpg)
Lifetime & Depend. Measures
E{T} =
∫ ∞0
tf(t)dt =
∫ ∞0
R(t)dt
For nonrepairable systems, the mean corresponds to the meantime to failure MTTF . It represents the expected value of timebefore failure.
For completely repairable items, the mean represents the meantime between failures MTBF .
56 /69Lirida Alves de Barros-NavinerMaster Program
![Page 59: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/59.jpg)
Lifetime Distributions
Exponential Weibull Gamma
R(t) e−λt e−(λt)κ 1− I(κ, λt)
f(t) λe−λt κλκtκ−1e−(λt)κ λ
Γ(κ)(λt)κ−1e−λt
h(t) λ κλκtκ−1 f(t)
R(t)
57 /69Lirida Alves de Barros-NavinerMaster Program
![Page 60: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/60.jpg)
Exponential Distribution
0 0.5 1 1.5 20
0.5
1
t
f(t)
λ = 1λ = 2
0 0.5 1 1.5 20
1
2
3
t
h(t)=λ
λ = 1λ = 2
0 0.5 1 1.5 20
0.5
1
t
R(t)=e−
λt λ = 1
λ = 2
Applies for useful lifezone in bathtub curve
58 /69Lirida Alves de Barros-NavinerMaster Program
![Page 61: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/61.jpg)
Table of Contents
IntroductionDependabilityElectronics
System AnalysisDeterministic ModelsProbabilistic ModelsLifetime ModelsMarkov Chain
Conclusions
59 /69Lirida Alves de Barros-NavinerMaster Program
![Page 62: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/62.jpg)
Markov Chain
State Time
Discrete DiscreteDiscrete ContinuousContinuous DiscreteContinuous Continuous
Continuous Time Markov Chains(CTMC)
Memoryless system
Discrete space
Exponential distribution(events at constant rates)
60 /69Lirida Alves de Barros-NavinerMaster Program
![Page 63: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/63.jpg)
Markov Chain
A lazy, gourmand, and lovely hamster
When Doudou sleeps, there are 9 chances out of 10 that it willbe lying in bed the next minute. When it wakes up, it climbs toits happiness, so there is 1 chance out of 2 that it will be playingand 1 chance out 2 it will be eating.
Its meals last for one minute and then it starts to play (3 chancesout of 10) or it goes to sleep (7 chances out of 10).
Doudou gets tired quickly. Frequently it goes back to sleep (8chances out of 10) but, as it loves its spinning wheel, sometimesit continues to play.
Knowing that Doudou is sleeping now, what will it likely bedoing in three minutes?
61 /69Lirida Alves de Barros-NavinerMaster Program
![Page 64: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/64.jpg)
Markov Chain & Simulation Matrix
e
s
p
0.05
0.05
0.9
0.7
0.3
0.8 0.2S=
0.9 0.05 0.050.7 0 0.30.8 0 0.2
There are three states: sleep (s), eat (e) and play (p)
Each element si,j ∈ S gives the probability of next state being jgiven that actual state is i
62 /69Lirida Alves de Barros-NavinerMaster Program
![Page 65: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/65.jpg)
Simulation Matrix & Behavior
P (t) =[Ps(t) Pe(t) Pp(t)
]gives the probability of each state
for a given time t
Hypothesis: initial state is s, then
• P (0) =[1 0 0
]Probability of next states are:
• P (1) = P (0).S =[0.9 0.05 0.05
]• P (2) = P (1).S =
[0.885 0.045 0.07
]• P (3) = P (2).S =
[0.884 0.04425 0.07175
]Probability at time n: P(n)=P(n-1).S=P(0)Sn
63 /69Lirida Alves de Barros-NavinerMaster Program
![Page 66: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/66.jpg)
Markov Chain & Transition Matrix
Pi(t+ dt) = Pi(t)
1−∑j 6=i
si,j(t)dt
+∑j 6=i
Pj(t)sj,idt
Pi(t+ dt)− Pi(t)dt
= −Pi(t)∑j 6=i
si,j(t)dt+∑j 6=i
Pj(t)sj,idt
dP (t)
dt= M(t)P (t)
M is the transition matrix. Each mi,j ∈M gives the rate withsytem passes from state i to state j
• mi,j,i 6=j = sj,i and mi,i =∑
j 6=i sj,i
64 /69Lirida Alves de Barros-NavinerMaster Program
![Page 67: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/67.jpg)
Markov Chain & Transition Matrix (cont.)
One component without repair
1 0
λ
M =
[m11 m10
m01 m00
]=
[−λ λ0 0
]
One component with repair
1 0
λ
µ
M =
[m11 m10
m01 m00
]=
[−λ λµ −µ
]
65 /69Lirida Alves de Barros-NavinerMaster Program
![Page 68: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/68.jpg)
State Transition Equations (STE)
1 0
λ
µ
M =
[m11 m10
m01 m00
]=
[−λ λµ −µ
]
−λP1 + µP0 = 0λP1 − µP0 = 0P1 + P0 = 1
P1 =µ
λ+ µand P0 =
λ
λ+ µ
66 /69Lirida Alves de Barros-NavinerMaster Program
![Page 69: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/69.jpg)
Reliability and STE
R(t)=∑
i∈T Pi(t) R(t)=1-∑
i∈F Pi(t)
Assuming repair makes the item perfect, T is the setof fonctionning states, F is the set of failing states
67 /69Lirida Alves de Barros-NavinerMaster Program
![Page 70: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/70.jpg)
Outline
Introduction
System Analysis
Conclusions
68 /69Lirida Alves de Barros-NavinerMaster Program
![Page 71: Reliability - Embedded Systems · Embedded Systems Lirida Alves de Barros-Naviner Master Program. Outline Introduction Dependability Electronics System Analysis Deterministic Models](https://reader035.fdocuments.in/reader035/viewer/2022070822/5f28218bbac6c2577173c2f8/html5/thumbnails/71.jpg)
Conclusions
This course focuses on reliability, which is a dependability’sattribute
• Dependability is an essential quality metric for many systems
This lesson dealt with different methods for dependabilityanalysis
The reliability of digital electronics components has specificcharacteristics
• Fault models, quality metrics, etc.
We will explore techniques for reliability improvement andreliability assessment
69 /69Lirida Alves de Barros-NavinerMaster Program