We will start to define the “Non-state space” model types and algorithms:

NON STATE-SPACE models:

In the next paragraph, we will list the existing examples by model type:

1/ Fault tree

List of the examples by distribution function used (See appendix)

The examples using repeat events are in the following directory:

- 3 components – Repeat events

- Another example

- KofN with k not defined

- Rai example – Repat events

- Voice Control

When BDD is used (Preference option), the examples with repeat events can be computed.

List of the examples present in the directories

- Project_repeat (I1) (O1) (O2)

- p177 (I1) (O1) (O2)

- p222p7 (I1) (O1)

- Project8 (I1) (O1)

- Project2_param (I1) (O1)

- p179 (I1) (O1) (O2) Hierarchy used

- p173 (I1) (I6) (O1) (O2)

- p194 (I1) (O2)

- TestSave

- VoiceControl (I12) (O3)

- Ft_WFS (I1) (O1) (O2)

- Project7 (I1) (O1) (I11) (O3)

2/ Reliability Block Diagrams

List of the examples present in the directories

- p170 (I1) (I10) (O1) (O2)

- p162 (I12) (O5)

- series_rbd (I11) (O3)

- EX2_NonIdentical (I11) (O3)

- Bridge (I11) (O3) (Bridge feature used

- p159 (I2) (O6)

- Bridge1 (I1) (O2)

- Rbd_WFS (I1) (I3) (O1)

- EX7 (I11) (O3)

- project1 (I1) (O1)

- Project1_param (I1) (O2)

- project2 (I1) (O2)

- RBDKofN (I1) (O2)

- p156 (I1) (O1) (I11) (O4)

- Project_156 (I1) (O1) (I2) (O6)

- Project10 (I11) (O3)

- ProjectTMR (I11) (O3) (O4)

- VoiceControl (I1) (O1) (O2)

3/ Reliability Graph

List of the examples present in the directories

- p181

- Project

- Relgraph1

4/ Task graph

5/ Queuing Networks

A/ Product Form Queuing Network

List of the examples present in the directories

- p223

- p225

- test

B/ Multi-Chain Product Form Queuing Networks

List of the examples present in the directories

- P228

STATE-SPACE models:

1/ Markov chain

The different algorithms used to solve the different Markov chains are explained in the following figure:

List of the examples by algorithm used:

- Uniformization

- SOR

- Gauss Seidel

- MTTF (semi-symbolic) Sahner’s algorithm

- Lambda and mu equivalent

- RT

List of the examples by the following types:

- Absorbing – transient measures

- Absorbing – Steady-state measures

- Irreducible – transient measures

- Irreducible – Steady-state measures

List of the examples present in the directories will be completed soon.

2/ Semi-Markov chain

No examples

3/ Generalized Stochastic Petri Nets (GSPN)

List of the examples present in the directories

- slide206

- p247

- M_M_1_n

- p236

- p200

- Homework20

4/ Stochastic Reward Nets (SRN)

List of the examples present in the directories

- ATM

- Project11

- Manou

HIERARCHY models:

Hierarchy Examples

List of the examples present in the directories will be completed soon.

Appendix:

List of the examples by distribution function used:

(I1)

(I2)

(I3)

(I4)

(I5)

(I6)

(I7)

(I8)

(I9)

(I10)

(I11)

(I12)

List of the examples by outputs computed:

- Reliability, Unreliability (O1)

- Mean-time to failure (MTTF) (O2)

- Steady-State Availability, Steady-State Unavailability (O3)

- Downtime, Cost of Downtime (O4)

- Instantaneous Availability, Instantaneous Unavailability (O5)

- Probability of occurrence of the system (O6)