The HybridUML profile for UML 2.0

Berkenkötter, Kirsten; Bisanz, Stefan; Hannemann, Ulrich; Peleskã, Jan

doi:10.1007/s10009-005-0211-z

Cited by 33 publications

(18 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Axelsson [9] observed that UML cannot describe the continuous-time relationships and thus proposed an UML extension with stereotypes to represent features like continuous variables, equations, time, and derivatives. A similar work has been conducted by Berkenkötter et al [10], where the authors extended UML based on a programming language suitable for hybrid systems. Nevertheless, both works do not focus on representing dataflow behavior.…”

Section: Related Workmentioning

confidence: 89%

Comparing high-level modeling approaches for embedded system design

Brisolara

Becker

Carro

et al. 2005

Proceedings of the 2005 Conference on Asia South Pacific Design Automation - ASP-DAC '05

View full text Add to dashboard Cite

This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The proposed evaluation investigates the facilities provided by these approaches for expressing system requirements, functional specification, and timing constraints. Properties like model readability, testability, and implementability are also considered. Moreover, the support to different Models of Computation is also evaluated. A Crane Control System is used as case study to apply the proposed comparison criteria.

show abstract

Section: Related Workmentioning

confidence: 89%

Comparing high-level modeling approaches for embedded system design

Brisolara

Becker

Carro

et al. 2005

Proceedings of the 2005 Conference on Asia South Pacific Design Automation - ASP-DAC '05

View full text Add to dashboard Cite

show abstract

“…Their main contribution is to use UML2.0 profile to extend UML as HybridUML allowing to label transitions with conditions, assignments and signals. The semantics of executable HybridUML is more easily adapted to syntactic extensions and all models are automatically executable [10,11]. However, they didn't consider the behavior of system's component.…”

Section: Related Workmentioning

confidence: 99%

Hybrid Interface Automata for Component Interfaces

Jing

2011

2011 First ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering

View full text Add to dashboard Cite

The modelling and verifying of hybrid systems attract more and more attentions recently. Hybrid automaton is widely used to model discrete and continuous behaviors of hybrid systems. In this paper, a hybrid interface automaton(HIA) is proposed based on hybrid automaton to model the interface behaviors of hybrid components. According to the interface type of components, we define two kinds of HIA to model interface behaviors respectively. The RHIA(Reactive HIA) is used to model the interface behavior of reactive component and AHIA(Active HIA) for active components. In addition, some composition operations for component interface models are given to facilitate component based software development. The main contribution is to describing a composable model of component interfaces with formal methods, which allows static compatibility checking for some kinds of components composition with their interface models. To illustrate the approach, a case study railroad gate control of CBTC is discussed.

show abstract

“…Due to bond graphs' low level of practical usage, they are not considered in this article. The same applies to other efforts based on less widely used simulation languages [Berkenkotter et al, 2006].…”

Section: Related Workmentioning

confidence: 99%

An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation

Bock

Barbau²,

Matei

et al. 2017

Systems Engineering

View full text Add to dashboard Cite

Computer‐interpretable representations of system structure and behavior are at the center of developing today's complex systems. Systems engineers create and review these representations using graphical modeling languages that capture requirements, designs, and tests (such as the Systems Modeling Language, SysML). However, these languages must be used in conjunction with analysis tools, in particular, with simulators for physical interaction and numeric signal flow based on ordinary and algebraic differential equation solvers. These kind of simulation tools are often used separately from system modeling tools, leading to inconsistencies that require additional work to eliminate, preventing multidisciplinary concerns from being reflected in the overall system design. As a result, there is an increasing need for integrating physical interaction and signal flow simulation tools and languages into system modeling under a single framework. In this article, we first present an abstraction of the constructs and semantics these simulation tools and languages have in common, based on earlier reviews. Then, we compare SysML to our simulation abstraction to find the parts of SysML closest to simulation modeling, and to identify simulation concepts missing from SysML. This leads to extensions of SysML to bridge the gaps, illustrated with an example application. Next, we address issues in translating extended SysML models to common simulation tools and languages, including the differences between them. Finally, we validate the approach by applying the extension to an example SysML model, automating the translations in software, and showing that the results execute the same way on different simulation platforms.

show abstract

The HybridUML profile for UML 2.0

Cited by 33 publications

References 6 publications

Comparing high-level modeling approaches for embedded system design

Comparing high-level modeling approaches for embedded system design

Hybrid Interface Automata for Component Interfaces

An Extension of the Systems Modeling Language for Physical Interaction and Signal Flow Simulation

Contact Info

Product

Resources

About