Formal performance analysis and simulation of UML/SysML models for ESL design

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 1, Issue , 2006, Pages

  Viehl, Alexander ^a   Schönwald, Timo ^a   Bringmann, Oliver ^a   Rosenstiel, Wolfgang ^a,b  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; FORMAL LOGIC; INTERFACES (COMPUTER); KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

COMMUNICATION RESOURCES; PRESET CONSTRAINTS; QUANTITATIVE PERFORMANCE ANALYSIS;

SOFTWARE ENGINEERING;

EID: 34047180116     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2006.244110     Document Type: Conference Paper

References (18)

1. A. J. Bennett and A. J. Field. Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study. In 12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS), 2004.
2. O. Bringmann. Synchronisations analyse zur Multi-Prozess-Synthese. Logos Verlag Berlin, 2003.
3. G. Engels, J. M. Küster, R. Heckel, and L. Groenewegen. A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In 8th European Software Engineering Conference and 9th ACM SIGSOFT Symp. on the Foundations of Software Engineering, 2001.
4. A. Hergenhan and W. Rosenstiel. Static Timing Analysis of Embedded Software on Modern Processor Architectures. In Proceedings of the DATE 2000 Conference, Paris, France, 2000.
5. P. King and R. Pooley. Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In Proceedings of the 11th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, 2000.
6. J. M. Küster and J. Stroop. Consistent Design of Embedded Real-Time Systems with UML-RT. In Fourth International Symposium on Object-Oriented Real-Time Distributed Computing, 2001.
7. X. Li and J. Lilius. Timing Analysis of UML Sequence Diagrams. In R. France and B. Rumpe, editors, UML '99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, 1999, volume 1723 of LNCS. Springer, 1999.
8. C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. P. Waldhorst. Performance analysis of time-enhanced UML diagrams based on stochastic processes. In Proceedings of the third international workshop on Software and performance, 2002.
9. J. Merseguer and J. Campos. Software Performance Modeling using UML and Petri nets. In MASCOTS Tutorials, 2003.
10. Object Management Group(OMG). UML profile for schedulability, performance and time specification, Final Adopted Specification. Technical report, OMG, March 2002.
11. Object Management Group(OMG). UML 2.0 Superstructure Specification. Technical report, OMG, 2004.
12. Open SystemC Initiative, www.systemc.org.
13. A. Siebenborn, O. Bringmann, and W. Rosenstiel. Communication Analysis for Network on Chip Design. In International Conference on Parallel Computing in Electrical Engineering (PARELEC), 2004.
14. A. Siebenborn, O. Bringmann, and W. Rosenstiel. Communication Analysis for System on Chip Design. In Proceedings of the Design Automation and Test in Europe Conference (DATE), 2004.
15. C. U. Smith and L. G. Williams. Performance and Scalability of Distributed Software Architectures: An SPE Approach. Parallel and Distributed Computing Practices, 2002.
16. SysML Partners. Systems Modeling Language (SysML) Specification version 0.9. Technical report, SysML Partners, 2005.
17. SysXplorer Home, www.fzi.de/sim/sysxplorer.html.
18. J. Trowitzsch, A. Zimmermann, and G. Hommel. Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets. In IPDPS, 2005.