Page 1
1. INTRODUCTION ........................................................................................................... 2
I. CREATION OF AN ACTIVE REDUNDANCY ........................................................... 3
1. CREATION OF THE PHYSICAL ARCHITECTURE ........................................................ 3
2. CREATION OF THE FUNCTIONAL ARCHITECTURE ................................................... 6
3. CREATION OF THE LOGICAL POLYNOMIAL ............................................................ 11
4. MODEL OPERATION ................................................................................................... 15
II. CREATION OF A PASSIVE REDUNDANCY WITH RESOURCE SHARING23
1. PUMPS MODEL............................................................................................................ 23
2. MODELING OF THE VALVE ........................................................................................ 29
3. MODELING OF THE MAINTENANCE TEAM ............................................................... 32
4. MODELING OF THE REPLACEMENT COMPONENT STOCK .................................... 33
5. MODELING OF THE TANK .......................................................................................... 34
6. CREATION OF A PREDICATE AND AN OBSERVER ................................................. 36
7. CREATION OF THE SYNCHRONISATIONS................................................................ 38
8. EDITION OF THE PHASE ............................................................................................ 40
9. MODEL OPERATION ................................................................................................... 41
III. APPENDIX ................................................................................................................... 44
1. SIMFIA BRIDGE WINDCHILL ...................................................................................... 44
