Affiliation

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

A Metamodel-driven Process Featuring Advanced Model-based Timing Analysis

Marco Panunzio and Tullio Vardanega

12th International Conference on Reliable Software Technologies - Ada-Europe 2007

Abstract

In the development of high-integrity real-time systems it is arguably paramount that the engineering process should allow the designer to focus attention on all aspects of interest in a manner that warrants methodological correctness and some controlled form of separation of concerns. Model-driven engineering approaches strive to attain separation between concerns that are either independent or dependent of the platform. They however provide scarce support if any at all for round-trip engineering, which is a crucial asset for high-integrity real-time systems, where functional modelling can only be confirmed by proving feasible in the space and time domain. In this paper we discuss some elements of a development process based on a rigorous metamodel definition and on advanced model transformation techniques, which permits the execution of timing analysis directly on the system model.