Executable HybridUML and Its Application to Train Control Systems

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

doi:10.1007/978-3-540-27863-4_10

Cited by 31 publications

(6 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[21,25,10,2,9] present first steps to provide for support of e.g. hierarchical modelling, reconfiguration of controller configurations as well as a smooth integration with the definition of static component structures and especially the specification conformant code generation.…”

Section: Figure 6 a Sample Of A Hybrid Statechartmentioning

confidence: 99%

The Challenges of Building Advanced Mechatronic Systems

Schäfer

Wehrheim

2007

Future of Software Engineering (FOSE '07)

View full text Add to dashboard Cite

Mechatronics is an engineering discipline integrating the fields of mechanical engineering, electrical engineering and computer science. While the word "mechatronics" already has a long history, it is only the last ten years that we see their application all around us. Cars, CD players, washing machines, railways are all examples of mechatronic systems. The main characteristic (and driving force) of recent advances is the progressively tighter coupling of mechanic and electronic components with software. This makes software engineering (together with network technology) the main computer science discipline involved in mechatronics.In this paper we survey current developments and discuss future trends in mechatronics, in particular from a software engineering point of view. The future of mechatronics will specifically see a move towards a high degree of adaptibility and self-organisation. This poses new challenges on software engineering, especially on modelling, code generation and analysis. We exemplify existing as well as future strands by a collaborative research and development project of a mechatronic rail system from the University of Paderborn.Future of Software Engineering(FOSE'07) 0-7695-2829-5/07 $20.00

show abstract

Section: Figure 6 a Sample Of A Hybrid Statechartmentioning

confidence: 99%

The Challenges of Building Advanced Mechatronic Systems

Schäfer

Wehrheim

2007

Future of Software Engineering (FOSE '07)

View full text Add to dashboard Cite

show abstract

“…Other approaches combining components and hybrid automata concepts such as CHARON 28 (and its extension R-CHARON 29 ), HyROOM, 30,31 HyChart, 32,33 HybridUML, 34 and Ptomely II 35 provide hierarchical automata models for the specification of behavior and hierarchical architectural models. In UML h , 36 the architecture is specified by extended UML class diagrams that distinguish between discrete, continuous, and hybrid classes.…”

Section: Modeling Of Hybrid Systemsmentioning

confidence: 99%

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

2010

View full text Add to dashboard Cite

Advanced mechatronic systems have to integrate existing technologies from mechanical, electrical and software engineering. They must be able to adapt their structure and behavior at runtime by reconfiguration to react flexibly to changes in the environment. Therefore, a tight integration of structural and behavioral models of the different domains is required. This integration results in complex reconfigurable hybrid systems, the execution logic of which cannot be addressed directly with existing standard modeling, simulation, and code-generation techniques. We present in this paper how our component-based approach for reconfigurable mechatronic systems, MECHATRONIC UML, efficiently handles the complex interplay of discrete behavior and continuous behavior in a modular manner. In addition, its extension to even more flexible reconfiguration cases is presented.

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

Executable HybridUML and Its Application to Train Control Systems

Cited by 31 publications

References 9 publications

The Challenges of Building Advanced Mechatronic Systems

The Challenges of Building Advanced Mechatronic Systems

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems

Hybrid Interface Automata for Component Interfaces

Contact Info

Product

Resources

About