Affiliation

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

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

Abstract

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.