Article

Free access

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

Authors:

Alexander Viehl,

Timo Schönwald,

Oliver Bringmann,

Wolfgang RosenstielAuthors Info & Claims

DATE '06: Proceedings of the conference on Design, automation and test in Europe: Proceedings

Pages 242 - 247

Published: 06 March 2006 Publication History

Abstract

UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative performance analysis is not adequately taken into account in early design stages of the system. In this paper, we present our approach for formal and simulation based performance analysis of systems specified with UML2/SysML. The basis of our analysis approach is the detection of communication that synchronize the control flow of the corresponding instances of the system and make the relationship explicit. Using this knowledge, we are able to determine a global timing behavior and violations of this effected by preset constraints. Hence, it is also possible to detect potential conflicts on shared communication resources if a specification of the target architecture is given. With these information it is possible to evaluate system models at an early design stage.

References

[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.]]

Digital Library

[2]

O. Bringmann. Synchronisationsanalyse 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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

[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.]]

Digital Library

Cited By

Aliyu HTraoré MBarros FPrähofer HHu XDenil J(2016)Integrated framework for model-driven systems engineeringProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975417(1-9)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975417
Soares Mdo Nascimento RCubillos CRusu CGorgan D(2014)Evaluation of SysML diagrams to document requirements using TAMProceedings of the 7th Euro American Conference on Telematics and Information Systems10.1145/2590651.2590661(1-6)Online publication date: 2-Apr-2014
https://dl.acm.org/doi/10.1145/2590651.2590661
Huang KHaid WBacivarov IKeller MThiele L(2012)Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applicationsACM Transactions on Embedded Computing Systems10.1145/2146417.214642511:1(1-23)Online publication date: 5-Apr-2012
https://dl.acm.org/doi/10.1145/2146417.2146425
Show More Cited By

Recommendations

Automated transformation of design text ROM diagram into SysML models

This paper proposes an approach to generating System Modeling Language (SysML) diagrams from a Recursive Object Model (ROM) diagram. The ROM diagram represents entities (or concepts) and three kinds of relations between these entities found in a ...
An integrated framework for automated simulation of SysML models using DEVS

System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common ...
Research on Reverse Engineering from Formal Models to UML Models
PAAP '10: Proceedings of the 2010 3rd International Symposium on Parallel Architectures, Algorithms and Programming

The Unified Modeling Language (UML) provides a graphical notation to express the design of object-oriented software systems and has become the de facto industry standard for software design. However UML lacks precise semantics and is semi-formal. Formal ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

DATE '06: Proceedings of the conference on Design, automation and test in Europe: Proceedings

March 2006

1390 pages

ISBN:3981080106

General Chair:
Georges Gielen
KU Leuven, BE

Sponsors

EDAA: European Design Automation Association
The EDA Consortium
IEEE-CS\DATC: The IEEE Computer Society

Publisher

European Design and Automation Association

Leuven, Belgium

Publication History

Published: 06 March 2006

Qualifiers

Article

Acceptance Rates

DATE '06 Paper Acceptance Rate 267 of 834 submissions, 32%;

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
606
Total Downloads

Downloads (Last 12 months)33
Downloads (Last 6 weeks)4

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Aliyu HTraoré MBarros FPrähofer HHu XDenil J(2016)Integrated framework for model-driven systems engineeringProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975417(1-9)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975417
Soares Mdo Nascimento RCubillos CRusu CGorgan D(2014)Evaluation of SysML diagrams to document requirements using TAMProceedings of the 7th Euro American Conference on Telematics and Information Systems10.1145/2590651.2590661(1-6)Online publication date: 2-Apr-2014
https://dl.acm.org/doi/10.1145/2590651.2590661
Huang KHaid WBacivarov IKeller MThiele L(2012)Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applicationsACM Transactions on Embedded Computing Systems10.1145/2146417.214642511:1(1-23)Online publication date: 5-Apr-2012
https://dl.acm.org/doi/10.1145/2146417.2146425
Viehl APressler MBringmann ORosenstiel WBenini LDe Micheli GAl-Hashimi BMueller W(2009)White box performance analysis considering static non-preemptive software schedulingProceedings of the Conference on Design, Automation and Test in Europe10.5555/1874620.1874746(513-518)Online publication date: 20-Apr-2009
https://dl.acm.org/doi/10.5555/1874620.1874746
Schnerr JBringmann OViehl ARosenstiel WFix L(2008)High-performance timing simulation of embedded softwareProceedings of the 45th annual Design Automation Conference10.1145/1391469.1391543(290-295)Online publication date: 8-Jun-2008
https://dl.acm.org/doi/10.1145/1391469.1391543
Krause MBringmann OHergenhan ATabanoglu GRosentiel WLauwereins RMadsen J(2007)Timing simulation of interconnected AUTOSAR software-componentsProceedings of the conference on Design, automation and test in Europe10.5555/1266366.1266469(474-479)Online publication date: 16-Apr-2007
https://dl.acm.org/doi/10.5555/1266366.1266469

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten