Assessing the reliability of systems with mobile components, that is components whose locations and interactions change during the mission of the system, raises a number of specific modeling issues. In this article, we compare two candidate modeling formalisms to do so: AltaRica and PEPA nets. We study their respective advantages and drawbacks and we show benefits of a cross fertilization.
BoiteauMDutuitYRauzyA. The altarica data-flow language in use: Assessment of production availability of a multistates system. Rel Engng Sys Saf2006; 91: 747–755.
3.
RauzyA. Guarded transition systems: a new states/events formalism for reliability studies. Proc IMechE, Part O: J Risk and Reliability2008; 222(4): 495–505.
4.
HillstonJ. Tuning systems: from composition to performance. Computer J2005; pp. 385–400.
5.
JensenK. Coloured Petri nets, volume 1: basic concepts. Springer-Verlag, 1992.
6.
BowlesJKloulL. Synthesising pepa nets from iods for performance analysis. In: Proceedings of the 1st ACM SIGMETRICS/SIGSOFT joint WOSP/SIPEW international conference on performance engineering, San Jose, California, June 14–18, 2010. New York, USA: ACM.
7.
AndrewsJMossT. Reliability and risk assessment. John Wiley & Sons, 1993.
8.
AjmoneMarsanMBalboGConteG. Modelling with generalized stochastic Petri nets. Wiley Series in Parallel Computing. John Wiley and Sons, 1994.
9.
AdelineRCardosoJDarfeuilP. Toward a methodology for the altarica modelling of multi-physical systems. In: Proceedings of european safety and reliability conference, ESREL 2010, Rhodes (Greece), September 5–9, 2010, ESRA.
10.
BieberPBlanquartJ-PDurrieuG. Integration of formal fault analysis in assert: Case studies and lessons learnt. In: Proceedings of 4th European congress embedded real time software, ERTS 2008, Toulouse (France), January 2008, 29 January– 1 February 2008. Suresnes, France, Sia.
11.
RauzyA. BDD for Reliability Studies. In: MisraK (ed.) Handbook of performability engineering. Elsevier, 2008, pp.381–396.
12.
RauzyA. Anatomy of an efficient fault tree assessment engine. In: VirolainenR (ed.) Proceedings of international joint conference PSAM’11/ESREL’12, 25–29 June 2012, USA,Curran Associated Inc.
13.
MilnerR. Communicating and mobile systems: The pi-calculus. Cambridge University Press, 1999.
14.
GilmoreSHillstonJKloulL. Pepa nets. In: CalzarossaMGelenbeE (eds) Performance tools and applications to networked systems. LNCS, Springer-Verlag, 2004, vol 2965, pp.311–335.
15.
GilmoreSHillstonJKloulL. Software performance modelling using pepa nets. In: Proceedings of the 4th ACM SIGSOFT international workshop on software and performance (WOSP’04), Redwood City, California, 31 October–5 November 2004, New York, USA, ACM.
16.
DonatelliS. Superposed generalised stochastic petri nets: Definition and efficient solution. In: SilvaM (ed.) Proceedings of 15th international conference on application and theory of Petri nets, 20–24 June 1994, Springer-Verlag.
17.
SandersWMeyerJ. Reduced base model construction methods for stochastic activity networks. IEEE J Selected Areas in Comms1991; 9(1): 25–36.
18.
ValkR. Petri nets as token objects-an introduction to elementary object nets. In: Proceedings of the 19th international conference on application and theory of Petri nets, Lisbon, 22–26 June 1998, vol. 1420 of LNCS, pp.1–25. Springer Verlag.
19.
HillstonJ. The nature of synchronisation. In: HerzogURettelbachM (eds) Proceedings of 2nd process algebra and performance modelling workshop, 1994.
20.
ArnoldAGriffaultAPointG. The altarica language and its semantics. Fundamenta Informaticae2000; 34: 109–124.
21.
ProsvirnovaTRauzyA. Système de transitions gardées : formalisme pivot de modélisation pour la sûreté de fonctionnement. In: BarbetJ (ed.) Actes du Congrès Lambda-Mu 18, 15–18 October 2012. France, IMDR.
BrameretPRauzyARousselJ. Assessing the dependability of systems with repairable and spare components. In: BarbetJ (ed.) Actes du Congrès Lambda-Mu 18, 15–18 October 2012. France, IMDR.
