Modeling systems with mobile components: a comparison between AltaRica and PEPA nets

Leila Kloul, Tatiana Prosvirnova and Antoine Rauzy

Journal of Risk and Reliability, 2013, vol. 227, issue 6, 599-613

Abstract: 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.

Keywords: Model-based safety analysis; modeling formalisms; mobility modeling; PEPA nets; AltaRica (search for similar items in EconPapers)
Date: 2013
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006X13490497 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:227:y:2013:i:6:p:599-613

DOI: 10.1177/1748006X13490497

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().