29 New Unclarities in the Semantics of UML 2.0 State Machines

Fecher, Harald; Schönborn, Jens; Kyas, Marcel; Roever, Willem-Paul de

doi:10.1007/11576280_5

Cited by 51 publications

(28 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Additionally works such as presented in [18] propose extension of the MARTE profile to introduce notion of dynamic power consumption. However, these works make use of traditional UML state machines which are already ambiguous in nature and need proper semantics [19], [20]. However, these aspects can be a future extension of our design methodology, and can be a future perspective.…”

Section: Related Workmentioning

confidence: 99%

Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis

Cherif

Quadri

Meftali

et al. 2010

2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools

View full text Add to dashboard Cite

Abstract-Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible nature. However due to the tremendous amount of hardware resources available in these systems, new design methodologies and tools are required to reduce their design complexity. In this paper we present an exploratory analysis for specification of these systems, while utilizing the UML MARTE (Modeling and Analysis of Real-time and Embedded Systems) profile. Our contributions permit us to model fine grain reconfigurable FPGA based SoC architectures while extending the profile to integrate new features such as Partial Dynamic Reconfiguration supported by these modern systems. Finally we present the current limitations of the MARTE profile and ask some open questions regarding how these high level models can be effectively used as input for commercial FPGA simulation and synthesis tools. Solutions to these questions can help in creating a design flow from high level models to synthesis, placement and execution of these reconfigurable SoCs.

show abstract

Section: Related Workmentioning

confidence: 99%

Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis

Cherif

Quadri

Meftali

et al. 2010

2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools

View full text Add to dashboard Cite

show abstract

“…Many of the semantic problems identified in [7] remain in the UML 2 state machine notation definitions of [20]. In particular, the definitions of transition priority have not been improved and remain ambiguous: "The priority of joined transitions is based on the priority of the transition with the most transitively nested source state" (page 547 of [20]).…”

Section: Solutions For Semantic Problemsmentioning

confidence: 99%

“…In particular, the definitions of transition priority have not been improved and remain ambiguous: "The priority of joined transitions is based on the priority of the transition with the most transitively nested source state" (page 547 of [20]). Page 548 of [20] gives an algorithm for calculating the fired set of transitions when an event occurs, this algorithm involves starting from "innermost nested simple states", which does not resolve cases such as Figure 3, reproduced from [7]. We assume that all the transitions are triggered by the same event and have true guards.…”

Section: Solutions For Semantic Problemsmentioning

confidence: 99%

“…We assume that all the transitions are triggered by the same event and have true guards. Our semantics defines solutions to the problems of ambiguity and imprecision of UML identified in [7] for transition priority and history states. For priority the semantics implies that a transition t has priority over another t in state s if t is enabled in this state and t is not.…”

Section: Solutions For Semantic Problemsmentioning

confidence: 99%

“…However, there remain a number of semantic problems with the notation, particularly in the areas of transition priorities, history states [7] and generalisation [21].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations