Garcia Gérald

• Thales Group

This article presents the activities of Thales Alenia Space France in the scope of the continuous improvement of its concurrent engineering practices. It describes an on-going work and proposed solutions to extend the scope of this environment in 0/A/B1 phases with new capabilities to support system engineers work: • Capability to define the operat...

The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss th...

Compatibility analysis between IDM CIC v3 data model and ECSS ECSS-E-TM-10-25

Prototyping of SysML like satellite model compatible with Concurrent Engineering tools and methodologies

The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss th...

The ESA AUTOGEF (Dependability Design Approach for Critical Flight Software) study is a direct follow-on of the ESA TRP COMPASS (Correctness, Modelling and Performance of Aerospace Systems). The aim of COMPASS project was to develop a modelbased approach to system-software co-engineering, tailored to the specifics of critical on-board spacecraft sy...

The paper aims at describing the motivation and the outcome of the definition of a reference architecture for software on-board the spacecraft platforms. It is based on the work of an industrial working group named Savoir-Faire, supported by industrial activities, which have defined the architectural principles and the process to define further the...

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...

The ANR project SPaCIFYhas designed and partially implemented a domain-specific environment, called Synoptic, for real-time embedded on-board space application, and especially control and command software. Synopticis an Eclipse-based modeling workbench which supports many aspects of aerospace software design. As such, it is a domain-specific framew...

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 con...

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 con...

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...

The landing on a planet different from the Earth is of course a great challenge for the Guidance Navigation and Control system. To ensure a safe landing a long and complex verification and validation activity is mandatory. Not only the GNC laws have to be qualified but also the SW implementing such designed algorithms. In order to avoid the risks t...

On-Board Control Procedures (OBCP) are some sets of instructions that are interpreted on-board. OBCPs aim at facilitating the satellite's operations and at increasing the on-board autonomy (fig 1). Today the concept of OBCP (fig. 2) is proven and already used on some current missions, but the technologies used for these implementations and their ca...

We consider embedded systems structured as a graph of communicating components. In this model, we define a data consistency property based upon the interactions of the data flow paths passing through common components. If a component uses inputs which indirectly depend on the same component out- put, these inputs have to depend on a same execution...