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

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.