Fourteenth International Workshop on Component-Oriented Programming

In order to cope with the growing complexity of embedded software while shortening time-to-market, componentbased software engineering offers the possibility to reuse existing functionalities while automating (i) the analysis of the system under design and (ii) the production of the final software. However, it is difficult to ensure that the produced software actually conforms to the hypothesis used for analysis purpose. Indeed, model based verification relies on a very different semantics from the one used in the software implementation. In this paper, we propose a design approach that consists of automating the production of a detailed description of the software application, as an intermediate step towards its concrete production. As a result, the analysis of the system can be made at both levels, considering its abstract modelling and the description of its concrete realisation.