3rd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2009

3–5 Nov 2009

ESA/ESTEC

UTC timezone

Speaker List

S. Airey
- Speaker at AOCS Sensors and Actuators Interfaces
Philippe Armbruster (ESA/Data Systems Division)
- Speaker at Agencies R&D Plans
Bandinelli (IDS)
- Speaker at TRP Studies results - Several presentations
ALAIN BENOIT (ESA-ESTEC)
- Speaker at ECSS E 60 Control Systems and Status
- Speaker at Technology Harmonisation on AOCS Sensors & Actuators
P. Bieber (ONERA)
- Speaker at From System Dependability to Software Dependability: Assistance of Formal Methods
D. Binns
- Speaker at ESA Background - Several presentations
E Bonnafous
- Speaker at Context Constraints Method for Software Formal Verification
J. Busseuil
- Speaker at SAG Avionics BB Priorities
J. Busseuil (Thales Alenia Space)
- Speaker at Introduction: SAG Objectives and Outputs
X Dumas
- Speaker at Context Constraints Method for Software Formal Verification
A. Fernandez-Leon
- Speaker at Introduction
B. Girouart
- Speaker at Avionics Technology Validation Benches
Kjeld Hjortnaes (ESA/ESTEC - Software Systems Division)
- Speaker at HW/SW & New related technology developments
- Speaker at Software Development Tools synthesis
Jørgen Ilstad (ESA/ESTEC)
- Speaker at AT7913 SpW-RTC
M. Ingham (NASA/JPL)
- Speaker at Formal Methods in Fligh Software Architecture, Model-based Engineering and Spacecarft Autonomy Technology at NASA/JPL
B. Johnson (SEA)
- Speaker at TRP Studies results - Several presentations
R. Joshi
- Speaker at Opportunistic Formal Methods
Kohler
- Speaker at ESA Background - Several presentations
D. Lesens (Astrium ST)
- Speaker at Formal Methods for Space Transportation Software
N. Lindman
- Speaker at Avionics Technology Validation Benches
R. López (GMV)
- Speaker at Using HRT-UML and Ada Ravenscar Profile in Sentinel 3
Giorgio Magistrati (ESA/Data Systems Division)
- Speaker at HW/SW & New related technology developments
J. Miró (ESA)
- Speaker at Introduction: SAG Objectives and Outputs
J. Miró
- Speaker at SAG Avionics BB Priorities
E Monnini (Galileo Avionica)
- Speaker at TRP Studies results - Several presentations
Claudio Monteleone (ESA/Data Systems Division)
- Speaker at Use of Cots Processors in space
Mosig (EPFL)
- Speaker at TRP Studies results - Several presentations
VY Nguyen (RWTH)
- Speaker at Formal Verification and Validation of AADL Models
T. Noll (RWTH)
- Speaker at Formal Verification and Validation of AADL Models
X. Olive (TAS)
- Speaker at What to do with Formal Methods in Space (System/)Software Domain?
A. Passos (Critical Software)
- Speaker at Assessing the Formal Development of a Secure Partitioning Kernel with the B-Method
A. Santovincenzo
- Speaker at ESA Background - Several presentations
D. Seguela
- Speaker at Agencies R&D Plans
Chris Taylor (ESA/Data Systems Division)
- Speaker at Avionics Technology Validation Benches
- Speaker at CCSDS SOIS Standardisation update
Jean-Loup TERRAILLON (ESA)
- Speaker at Software Architectures and Interfaces
Roland Trautner (ESA/ESTEC)
- Speaker at Next generation DSP roadmap and related ESA activities
R. Weigand
- Speaker at Introduction

Powered by Indico v3.2.9