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)