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.