Developing Safe Software for Space: Status and Trends
Software Expert, Airbus Defence & Space
Launchers (e.g. Ariane family) and orbital systems (e.g. ATV) are characterized by high levels of complexity and criticality. At the same time, the limited available resources (CPU and memory) due to the radiative environment constrain strongly the technologies which can be used for their development. This talk will address the methods and tools used by Airbus Defence and Space to develop such critical real time flight software. It will be concluded by an overview of the future trends for software in space.
About David Lesens
David Lesens received his diploma in engineering from the Ecole Polytechnique in 1993 and a PhD in Theoretical Computer Science at INPG (Institut National Polytechnique de Grenoble) in 1997. Since 1998, David has worked for Airbus Defence and Space (formerly Astrium) in the domain of critical embedded software for space systems. He is now Software Expert and responsible for the coordination of research and technologies for space launchers' onboard software. His domains of expertise are critical embedded real time software, system to software engineering, model driven engineering and formal methods.