Jérôme Delatour

Learn 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 translation(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 un-derstandability 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)
Within a given modeling platform, modeling tools interoperate efficiently. They are generally written in the same general purpose language, and use a single modeling framework (i.e., an API to access models). However, interoperability between tools from different modeling platforms is much more problematic. In this paper, we argue that fUML may be leveraged(More)