Model Transformations in the Model-Based Development of Real-time Systems
Author
Abstract

In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the domain of embedded systems. We present a tool that uses advanced graph-rewriting techniques to generate a schedule that satisfies hard real-time constraints for multi-modal systems. The input is a time-triggered system specification (using the Giotto language); the output is an instruction sequence for the E-machine: a virtual machine for hard real-time embedded systems.

Year of Publication
2006
Conference Name
ECBS
Attachments
Document
Google Scholar | BibTeX | XML