A metamodel-driven process featuring advanced model-based timing analysis

  • Authors:

  • Marco Panunzio;Tullio Vardanega

  • Affiliations:

  • Department of Pure and Applied Mathematics, University of Padua, Italy, Padova, Italy;Department of Pure and Applied Mathematics, University of Padua, Italy, Padova, Italy

  • Venue:
  • Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.