DocumentCode
3019203
Title
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
Author
Trowitzsch, J. ; Zimmermann, A. ; Hommel, G.
Author_Institution
Real-Time Syst. & Robotics, Tech. Univ. Berlin, Germany
fYear
2005
fDate
04-08 April 2005
Abstract
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucial to enable early quantitative predictions during the modeling phase of real-time systems development processes. UML itself is not directly analyzable. Performance evaluation techniques are thus necessary for these UML models. The challenge within our research work is the derivation of Stochastic Petri nets (SPNs) from UML models aimed at performance evaluation of real-time systems.
Keywords
Petri nets; Unified Modeling Language; formal specification; real-time systems; software performance evaluation; stochastic processes; UML; Unified Modeling Language; performance evaluation; quantitative analysis; real-time systems; specification language; stochastic Petri nets; Delay; Performance analysis; Petri nets; Power system modeling; Real time systems; Samarium; Specification languages; Stochastic processes; Stochastic systems; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International
Print_ISBN
0-7695-2312-9
Type
conf
DOI
10.1109/IPDPS.2005.441
Filename
1419984
Link To Document