Affiliation
- Marco Panunzio
- Department of Pure and Applied Mathematics, University of Padua
- via Trieste 63
- 35121 Padova
- Italy
A Metamodel-driven Development for Statically Verifiable Real-Time Systems
Matteo Bordin, Marco Panunzio, Tullio Vardanega
19th Euromicro Conference on Real-Time Systems (Work-in-Progress Track)
Abstract
Arguably the adoption of model-driven engineering may considerably decrease the development cost of real-time systems, mostly by rising the level of abstraction availed to the designer and relying on automated transformations. In this short paper we describe our vision for the development of a highly automated MDE methodology to design and verify high-integrity real-time systems.