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

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.

On the Meaning of SysML Activity Diagrams

“…Few initiatives are concerned with the V&V of SysML models [14], [16]. Jarraya et al [14] present a mapping of time-annotated SysML activity diagrams into Discrete-Time Markov Chains (DTMC) for performance evaluation using a probabilistic model checker.…”

“…Jarraya et al [14] present a mapping of time-annotated SysML activity diagrams into Discrete-Time Markov Chains (DTMC) for performance evaluation using a probabilistic model checker. Viehl et al [16] considers timeannotated sequence and UML structured classes/SysML assemblies for performance analysis of System-On-a-Chip (SoC) systems based on simulation. Regarding the formalization of UML activity diagrams, some initiatives such as [4], [5], [17], [18] are within UML 1.x.…”

Synergistic verification and validation of systems and software engineering models

“…Concerning the V&V of SysML-based design models, to the best of our knowledge, there are only a few initiatives (Viehl et al 2006;Jarraya et al 2007). In Jarraya et al (2007), a proposal is advanced for performance evaluation of systems given their design models expressed as SysML activity diagrams endowed with time annotation.…”

“…The approach is based on probabilistic model checking of the underlaying probabilistic model using PRISM. 5 Viehl et al (2006) explore formal and simulation based performance analysis of systems specified with UML2/SysML. The detection of potential conflicts on shared communication resources in a system based on its target architecture is addressed.…”

UML for electronic systems design: a comprehensive overview

“…SysML can be customized to model domain specific applications, and in particular support code generation towards SoC languages. First signs of interest in this direction are already visible [27,38,58,71,76].…”