Marco Panunzio
Department of Pure and Applied Mathematics, University of Padua
via Trieste 63
35121 Padova

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)


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.