The need for high-performance, productive and dependable industrial systems guided engineers to design complex operational architectures. Many features and subsystems are added to the process to produce a fault-tolerant system. All of these subsystems will interact with each other to improve the whole system’s performances. Each feature/component has its own dynamic and performances, and the interactions between them may induce a difficulty to control and evaluate the system’s behavior. This article proposes the use of an integrated modeling approach for fault-tolerant systems based on stochastic activity networks. It shows how to use this approach to evaluate some system’s performance parameters such as the reliability, availability and maintenance cost.
GuenabFSchönWBoulangerJ-L. Système tolérant aux défauts: synthèse d’une méthode de reconfiguration et/ou restructuration intégrant la fiabilité de certains composants. J Eur Syst Autom2009; 43(10): 1149–1178.
2.
ZioE. Reliability engineering: old problems and new challenges. Reliab Eng Syst Safe2009; 94: 125–141.
3.
AslundJBiteusJFriskE. Safety analysis of autonomous systems by extended fault tree analysis. Int J Adapt Control2007; 21: 287–298.
4.
MazaS. Dynamic modeling and simulation of fault tolerant systems based on stochastic activity networks. Proc IMechE, Part O: J Risk and Reliability2012; 226: 455–463.
5.
JohnsonTL. Improving automation software dependability: a role for formal methods? In: Proceedings of 11th IFAC international conference on information control problems, Salvador-Bahia, Brazil, 4–7 April 2004.
6.
Perez CastanedaGAAubryJ-FBrinzeiN. Stochastic hybrid automata model for dynamic reliability assessment. Proc IMechE, Part O: J Risk and Reliability2011; 225: 28–41.
7.
CabarbayeALaulheretR. Evaluation de la sûreté de fonctionnement des systèmes dynamiques par modélisation recursive. In: 6ème congrès international pluridisciplinaire, qualité et sûreté de fonctionnement, 16th–19th of March 2005 at Bordeaux France, 2005, Qualita Bordeaux.
8.
WeberPTheilliolDAubrunC. Component reliability in fault-diagnosis decision making based on dynamic Bayesian networks. Proc IMechE, Part O: J Risk and Reliability2008; 222(2): 161–172.
9.
WeberPBoussaidBKhelassiA. Reconfigurable control design with integration of a reference governor and reliability indicators. Int J Appl Math Comp2012; 22(1): 139–148.
10.
MazaSSimonCBoukhobzaT. Impact of actuators failures on the structural controllability of linear systems: a graph theoretical approach. IET Control Theory A2012; 6(3): 412–419.
11.
GranBAFredriksenRAtoosaP. Addressing dependability by applying an approach for model-based risk assessment. Reliab Eng Syst Safe2007; 92: 1492–1502.
12.
GhostineRThirietJ-MAubryJ-F. Variable delays and messages losses: influence on the reliability of a control loop. Reliab Eng Syst Safe2011; 96: 160–171.
13.
ZhangYJiangJ. Bibliographical review on reconfigurable fault-tolerant control systems. Annu Rev Control2008; 32: 229–252.
14.
VillemeurA. Reliability, availability, maintainability and safety assessment methods and techniques. Chichester: Wiley, 1992.
15.
MarsanMA. Stochastic Petri nets: an elementary introduction. In: RozenbergG (ed.) Advances in Petri nets 1989 (Lecture Notes in Computer Science). Berlin, Heidelberg: Springer-Verlag, 1990, pp.1–29.
16.
MogavarAMeyerJF. Performability modeling with stochastic activity network. In: Proceedings of real-time systems symposium, 4th–6th December, Austin, TX, 1984, pp.215–224.
17.
SandersWHMeyerJF. Stochastic activity networks: formal definitions and concepts. In: BrinksmaEHermannsHKatoenJ-P (eds) Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science. New York: Springer-Verlag, 2002, pp.315–343.
18.
DavidRAllaH. Petri nets and Grafcet: tools for modelling discrete event systems. Upper Saddle River, NJ: Prentice Hall, 1992.
