Alexandre Cortier

Learn More
The ANR project SPACIFY develops a domain-specific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based modeling environment which supports all aspects of aerospace software design. As such, it is a domainspecific environment consisting of heterogeneous modeling and programming principles(More)
User Interface (UI) systems are increasingly complex and nowadays assist critical activities. The development of UIs needs empowered validation methodologies in order to ensure the correctness of the developed UI-based applications. This paper investigates the applicability of reverse engineering and formal approaches to the validation of UIs correctness.(More)
MARTE (Modeling and Analysis of Real-Time and Embedded Systems) is the UML extension profile dedicated to the modeling of Real-time and Embedded Systems (RTES). Standardized by the OMG, UML-MARTE is well accepted in the Model Based Driven Engineering community. However there still exists a big gap to bridge for its use in operational space projects. Some of(More)
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control(More)
In previous work, we defined a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain. A component is defined as a formal entity with three internal layers together with a collection of models defined in domain-oriented views. A categorical framework has been proposed to provide a unified representation of(More)
  • A. Cortier, J. P. Bodeveix, +6 authors J. P. Talpin
  • 2010
The ANR exploratory project SPaCIFY [19,20] designs and implements a domain-specific environment, for real-time embedded space application and control software. Synoptic is an Eclipse-based modeling environment which aims to support all aspects of aerospace software design. In this context, a Domain Specific Modeling Language (DSML) called Synoptic has been(More)
  • 1