From formal specifications to QoS monitors

In the domain of soft real-time application design, the gap between component-speci cation models and the implementations often implies that the implementationscannot fully take advantage of the speci cation models. To limit this gap, this paperproposes an approach to generate a QoS monitor from the timed behavior speci -cation. To support this approach, we rely on two di erent component models: onefocused on formal description and the other on practical implementation. Those mod-els are interconnected by model transformation, using a Model-Driven Engineeringstyle.