Jérôme Delatour

Learn More
One promising solution for meeting the demands of constantly-evolving real-time embedded (RTE) software is the model-driven development (MDD) paradigm, based on the principle of separating the description of an application from its platform-specific implementation. Existing model-driven approaches strive to achieve this separation through dedicated model(More)
Several approaches, such as the UML MARTE profile or AADL start to reach maturity for the design of Real-Time Embedded System (RTES). The use of such formalisms and their associated verification tools relies on the confidence of the designer in the successful translation of these high- level descriptions into correct executable code. Part of this(More)
One foundation of the model driven engineering (MDE) is to separate the modelling application description from its technological implementation (i.e. platform). Some of them are dedicated to the system execution. Hence, one promise solution of the MDE is to automate transformations from platform independent models to platform specific models. Little work(More)
During the development of real-time embedded system, the use of UML models as blueprints is a common practice with a focus on understandability rather than comprehensiveness. However, further in the development, these models must be completed in order to achieve the necessary validation and verification activities. They are typically performed by using(More)