Reliability evaluation of distributed embedded systems with uml state charts and rare event simulation

Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, MBEES 2009

Volumn , Issue , 2009, Pages 128-139

  Zimmermann, Armin ^a   Trowitzsch, Jan ^b  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

^b MAX PLANCK INSTITUT FÜR ASTRONOMIE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION EXAMPLES; DESIGN ALTERNATIVES; DISTRIBUTED EMBEDDED SYSTEM; EMBEDDED COMPUTER SYSTEMS; EUROPEAN TRAIN CONTROL SYSTEMS; EVALUATION METHODS; MODEL-BASED EVALUATION; NON FUNCTIONAL PROPERTIES; RARE EVENT; RARE EVENT SIMULATION; RELIABILITY EVALUATION; SAFETY CRITICAL SYSTEMS; SAFETY MEASURES; SCHEDULABILITY; STATE CHARTS; STOCHASTIC PETRI NETS; STOCHASTIC PROPERTIES; SYSTEM ARCHITECTURES; TECHNICAL SYSTEMS; UML PROFILES; UML STATE MACHINE;

COMPUTER SIMULATION;

EMBEDDED SYSTEMS;

EID: 84864981143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in parallel computing. John Wiley and Sons, 1995.
2. S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In Proc. of the 3rd Int. Workshop on Software and Performance (WOSP), pages 35-45, Rome, Italy, July 2002.
3. Alessandro Coraiola and Marko Antscher. GSM-R network for the high-speed line Rome-Naples. Signal und Draht, 92(5):42-45, 2000.
4. R. German. Performance Analysis of Communication Systems, Modeling with Non-Markovian Stochastic Petri Nets. John Wiley and Sons, 2000.
5. Paul Glasserman, Philip Heidelberger, Perwez Shahabuddin, and Tim Zajic. Multilevel Splitting for Estimating Rare Event Probabilities. Operations Research, 47:585-600, 1999.
6. Marnix J. Garvels and Dirk P. Kroese. A Comparison of RESTART Implementations. In Proc. 1998 Winter Simulation Conference, 1998.
7. Philip Heidelberger. Fast simulation of rare events in queueing and reliability models. ACM Transactions on Modeling and Computer Simulation (TOMACS), 5(1):43-85, 1995.
8. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The StateMate Approach. Wiley, New York, 1998.
9. R.P. Hopkins, M.J. Smith, and P. King. Two approaches to integrating UML and performance models. In Proc. of the 3rd Int. Workshop on Software and Performance (WOSP), pages 91-92, July 2002.
10. P. King and R. Pooley. Using UML to derive stochastic Petri net models. In Proceedings of the 15th UK Performance Engineering Workshop, pages 45-56, Bristol, UK, July 1999.
11. C. Lindemann, A. Thummler, A. Klemm, M. Lohmann, and O.P. Waldhorst. Performance Analysis of Time-enhanced UML Diagrams Based on Stochastic Processes. In Proc. of the 3rd Workshop on Software and Performance (WOSP), pages 25-34, Rome, Italy, 2002.
12. J. Merseguer. On the use of UML State Machines for Software Performance Evaluation. In Proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2004.
13. Object Management Group. UML profile for schedulability, performance, and time. www.uml.org, March 2002.
14. Object Management Group. Unified Modeling Language Specification v.2.0. www.uml.org, 2003.
15. R. Pooley and P. King. The Unified Modeling Language and Performance Engineering. In IEE Proceedings-Software, volume 146(2), March 1999.
16. W. Reisig. Petri nets. Springer Verlag Berlin, 1985.
17. W. H. Sanders and J. F. Meyer. A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. In A. Avizienis and J. Laprie, editors, Dependable Computing for Critical Applications, volume 4 of Dependable Computing and Fault-Tolerant Systems, pages 215-237. Springer Verlag, 1991.
18. Jan Trowitzsch, Dan Jerzynek, and Armin Zimmermann. A Toolkit for Performability Evaluation Based on Stochastic UML State Machines. In Proc. 2nd Int. Conf. on Performance Evaluation Methodologies and Tools (Valuetools 2007), Nantes, France, October 2007.
19. Jan Trowitzsch. Quantitative Evaluation of UML State Machines Using Stochastic Petri Nets. Phd thesis, Technische Universitat Berlin, 2007.
20. Bruno Tuffin and Kishor S. Trivedi. Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. In Connie U. Smith Boudewijn R. Haverkort, Henrik C. Bohnenkamp, editor, Computer Performance Evaluation, Modelling Techniques and Tools-11th Int. Conf., TOOLS 2000, volume 1786 of LNCS, pages 216-pp, Schaumburg, IL, USA, 2000. Springer Verlag.
21. Jan Trowitzsch and Armin Zimmermann. Using UML State Machines and Petri Nets for the Quantitative Investigation of ETCS. In Proc. Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS 2006), Pisa, Italy, 2006.
22. Manuel Villen-Altamirano and Jose Villen-Altamirano. Analysis of RESTART Simulation: Theoretical Basis and Sensitivity Study. European Transactions on Telecommunications, 13(4):373-385, 2002.
23. Manuel Villen-Altamirano and Jose Villen-Altamirano. Optimality and Robustness of RESTART simulation. In Proc. 4th Workshop on Rare Event Simulation and Related Combinatorial Optimisation Problems, Madrid, Spain, April 2002.
24. M. Villen-Altamirano, J. Villen-Altamirano, J. Gamo, and F. Fernandez-Cuesta. Enhancement of accelerated simulation method RESTART by considering multiple thresholds. In Proc. 14th Int. Teletraffic Congress, pages 797-810. Elsevier, 1994.
25. A. Zimmermann and G. Hommel. Towards Modeling and Evaluation of ETCS Real-Time Communication and Operation. Journal of Systems and Software, 77:47-54, 2005.
26. Armin Zimmermann. Applied RESTART Estimation of General Reward Measures. In Proc. 6th Int. Workshop on Rare Event Simulation (RESIM 2006), pages 196-204, Bamberg, Germany, October 2006.
27. Armin Zimmermann. Stochastic Discrete Event Systems. Springer, Berlin Heidelberg New York, 2007.