Abstract Launcher reusability is the most effective way of reducing access to space costs, but remains a great technical challenge for European aerospace industry. One challenges lies in recovery GNC strategy and algorithms, particular those powered-landing phase, which must enable precise landing with low fuel margins significant dispersions. While state-of-the-art solutions Navigation control...

With a growing number of mobile applications available on application stores and the improved capabilities of smartphones, people download more applications to their devices. Researchers began to leverage this momentum for distributing applications to conduct studies on end-users’ devices. This paper grounds the approach of research through the application store in the theory of quasi-experimen...

This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...

At regular times, a satellite launcher company has to plan the use of its launcher to get a maximum profit. In a more formal way, the problem consists in selecting and scheduling a subset of unit-length jobs constrained by capacitated time slots so that the overall cost is minimum. The data associated with each job are its weight, its timewindow and its expected gain when it is performed. With ...