Model-driven development with Mechatronic UML

Authors:
Wilhelm Schäfer;Heike Wehrheim
Affiliations:
Heinz Nixdorf Institute, Department of Computer Science, University of Paderborn, Paderborn, Germany;Specification and Modelling of Software Systems, Department of Computer Science, University of Paderborn, Paderborn, Germany
Venue:
Graph transformations and model-driven engineering
Year:
2010

Citing 24
Cited 1

Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

Handbook of graph grammars and computing by graph transformation
The Vision of Autonomic Computing

Computer
Formal Verification of UML Statecharts with Real-Time Extensions

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
What Good Are Digital Clocks?

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Hierarchical Hybrid Modeling of Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An OCL Extension for Real-Time Constraints

Object Modeling with the OCL, The Rationale behind the Object Constraint Language
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
HYTECH: the next generation

RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Towards the compositional verification of real-time UML designs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit

IEEE Transactions on Software Engineering
Modular design and verification of component-based mechatronic systems with online-reconfiguration

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Symbolic invariant verification for systems with dynamic structural adaptation

Proceedings of the 28th international conference on Software engineering
Model-based development of dynamically adaptive software

Proceedings of the 28th international conference on Software engineering
UPPAAL 4.0

QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
A survey of approaches for the visual model-driven development of next generation software-intensive systems

Journal of Visual Languages and Computing
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View

ICSE '07 Proceedings of the 29th international conference on Software Engineering
The Challenges of Building Advanced Mechatronic Systems

FOSE '07 2007 Future of Software Engineering
Self-Managed Systems: an Architectural Challenge

FOSE '07 2007 Future of Software Engineering
Modeling collaborations with dynamic structural adaptation in mechatronic UML

Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Tool support for the design of self-optimizing mechatronic multi-agent systems

International Journal on Software Tools for Technology Transfer (STTT)
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Abstract Graph Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
Fujaba4eclipse real-time tool suite

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Formal modeling and verification of systems with self-x properties

ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing

A dynamic component model for cyber physical systems

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain. MECHATRONIC UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at bringing model-based design and formal analysis to the mechatronic area, which has originally been dominated by engineering techniques. In this paper we give a survey of the modelling as well as verification techniques supported by MECHATRONIC UML.