Abstract
We introduce an automated approach for applying rare event simulation to stochastic Petri net (SPN) models of highly reliable systems. Rare event simulation can be much faster than standard simulation because it is able to exploit information about the typical behaviour of the system. Previously, such information came from heuristics, human insight, or analysis on the full state space. We present a formal algorithm that obtains the required information from the high-level SPN- description, without generating the full state space. Essentially, our algorithm reduces the state space of the model into a (much smaller) graph in which each node represents a set of states for which the most likely path to failure has the same form. We empirically demonstrate the efficiency of the method with two case studies.
Original language | English |
---|---|
Title of host publication | Quantitative Evaluation of Systems |
Subtitle of host publication | 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
Editors | Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. d' Argenio |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 372-388 |
Number of pages | 17 |
ISBN (Electronic) | 978-3-642-40196-1 |
ISBN (Print) | 978-3-642-40195-4 |
DOIs | |
Publication status | Published - 2013 |
Event | 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 - University of Buenos Aires, Buenos Aires, Argentina Duration: 27 Aug 2013 → 30 Aug 2013 Conference number: 10 http://www.qest.org/qest2013/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
Volume | 8054 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 10th International Conference on Quantitative Evaluation of Systems, QEST 2013 |
---|---|
Abbreviated title | QEST |
Country/Territory | Argentina |
City | Buenos Aires |
Period | 27/08/13 → 30/08/13 |
Internet address |