Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design

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

[1]  Wolfgang Rosenstiel,et al.  Communication Analysis for Network-on-Chip Design , 2004 .

[2]  José Merseguer,et al.  Software Performance Modeling Using UML and Petri Nets , 2003, MASCOTS Tutorials.

[3]  Tony Field,et al.  Performance engineering with the UML profile for schedulability, performance and time: a case study , 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

[4]  Wolfgang Rosenstiel,et al.  Communication analysis for system-on-chip design , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[5]  Connie U. Smith,et al.  Performance and Scalability of Distributed Software Architectures: An SPE Approach , 2000, Scalable Comput. Pract. Exp..

[6]  Jochen Malte Küster,et al.  Consistent design of embedded real-time systems with UML-RT , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[7]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[8]  Yau-Tsun Steven Li,et al.  Static Timing Analysis Of Embedded Software , 1997, Proceedings of the 34th Design Automation Conference.

[9]  Axel Thümmler,et al.  Performance analysis of time-enhanced UML diagrams based on stochastic processes , 2002, WOSP '02.

[10]  Jan Trowitzsch,et al.  Towards quantitative analysis of real-time UML using stochastic Petri nets , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[11]  Rob Pooley,et al.  Derivation of Petri Net Performance Models from UML Specifications of Communications Software , 2000, Computer Performance Evaluation / TOOLS.

[12]  Oliver Bringmann.  Synchronisationsanalyse zur Multi-Prozeß-Synthese , 2003 .

[13]  Wolfgang Rosenstiel,et al.  Static timing analysis of embedded software on advanced processor architectures , 2000, DATE '00.

[14]  Johan Lilius,et al.  Timing Analysis of UML Sequence Diagrams , 1999, UML.