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

An Integrated Metamodel-Driven Process focusing on Reuse and Correctness

Matteo Bordin, Marco Panunzio, Ondrej Rohlik

1st Workshop on Model and Analysis for Automotive Systems


The peculiar nature of highly critical hard real-time systems makes a comprehensive and integrated development process difficult: such systems are characterized by a set of functional and non functional requirements, each demanding an appropriate design semantics. This paper describes how a metamodel driven process can be effectively used to define an integrated development process and environment focusing on reuse and correctness.