indico will be upgraded to the latest version on Tuesday 10th Decmeber. It may be unavailable all day.

Login

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

3–5 Nov 2009
ESA/ESTEC
UTC timezone

Contribution List

48 / 48
0. Introduction: SAG Objectives and Outputs
J. Busseuil (Thales Alenia Space), J. Miró (ESA)
03/11/2009, 09:00
1. Software Architectures and Interfaces
Mr Jean-Loup TERRAILLON (ESA)
03/11/2009, 09:15
2. AOCS Sensors and Actuators Interfaces
S. Airey
03/11/2009, 10:00
3. CCSDS SOIS Standardisation update
Mr Chris Taylor (ESA/Data Systems Division)
03/11/2009, 11:00
4. ECSS E 60 Control Systems and Status
Mr ALAIN BENOIT (ESA-ESTEC)
03/11/2009, 11:15
5. Agencies R&D Plans
D. Seguela, Mr Philippe Armbruster (ESA/Data Systems Division)
03/11/2009, 11:30
6. Avionics Technology Validation Benches
B. Girouart, Mr Chris Taylor (ESA/Data Systems Division), N. Lindman
03/11/2009, 12:15
7. Technology Harmonisation on AOCS Sensors & Actuators
Mr ALAIN BENOIT (ESA-ESTEC)
03/11/2009, 14:00
8. SAG Avionics BB Priorities
J. Busseuil, J. Miró
03/11/2009, 14:15
9. Panel session on: Future trends in avionics and their impact on avionics development process, reuse and standardisation
03/11/2009, 15:30
10. Conclusions
03/11/2009, 17:30
11. Welcome
04/11/2009, 09:00
33. Welcome
04/11/2009, 09:00
12. Introduction
R. Weigand
04/11/2009, 09:10
34. Opportunistic Formal Methods
R. Joshi
04/11/2009, 09:15
13. TSC695F, AT697E/F
04/11/2009, 09:25
14. AT7913 SpW-RTC
Mr Jørgen Ilstad (ESA/ESTEC)
04/11/2009, 09:45
35. What to do with Formal Methods in Space (System/)Software Domain?
X. Olive (TAS)
04/11/2009, 09:55
15. Next Generation Micro Processor
04/11/2009, 10:00
17. SCOC3 Asic
04/11/2009, 10:20
36. Formal Methods for Space Transportation Software
D. Lesens (Astrium ST)
04/11/2009, 10:35
16. Software Development Tools synthesis
Mr Kjeld Hjortnaes (ESA/ESTEC - Software Systems Division)
04/11/2009, 10:40
18. Introduction
A. Fernandez-Leon
04/11/2009, 11:15
37. Assessing the Formal Development of a Secure Partitioning Kernel with the B-Method
A. Passos (Critical Software)
04/11/2009, 11:30
19. The RUAG experience and development strategy
04/11/2009, 11:30
20. The Astrium experience and development strategy
04/11/2009, 11:50
21. The TAS experience and development strategy
04/11/2009, 12:10
38. Using HRT-UML and Ada Ravenscar Profile in Sentinel 3
R. López (GMV)
04/11/2009, 12:10
22. The Syderal experience and development strategy
04/11/2009, 12:30
23. The Verhaert experience and development strategy
04/11/2009, 12:45
39. Formal Methods in Fligh Software Architecture, Model-based Engineering and Spacecarft Autonomy Technology at NASA/JPL
M. Ingham (NASA/JPL)
04/11/2009, 14:00
24. HW/SW & New related technology developments
Mr Giorgio Magistrati (ESA/Data Systems Division), Mr Kjeld Hjortnaes (ESA/ESTEC - Software Systems Division)
04/11/2009, 14:00
40. Formal Verification and Validation of AADL Models
T. Noll (RWTH), VY Nguyen (RWTH)
04/11/2009, 14:40
25. Next generation DSP roadmap and related ESA activities
Dr Roland Trautner (ESA/ESTEC)
04/11/2009, 14:40
26. SHARC(TM) Digital Signal Processor Core Technology and the Flexibility to Use for Custom Integration
04/11/2009, 15:00
27. Possibilities for NGDSP implementation based on ATMEL DSP IP
04/11/2009, 15:15
41. From System Dependability to Software Dependability: Assistance of Formal Methods
P. Bieber (ONERA)
04/11/2009, 15:20
28. Texas Instruments COTS DSP chips for space applications
04/11/2009, 15:30
29. High Integration Digital Control Module - Control Loop Processor
04/11/2009, 15:45
42. Context Constraints Method for Software Formal Verification
E Bonnafous, X Dumas
04/11/2009, 16:00
43. Round Table
04/11/2009, 16:20
30. Use of Cots Processors in space
Mr Claudio Monteleone (ESA/Data Systems Division)
04/11/2009, 16:20
31. Round Table & Summary of the Workshop
04/11/2009, 16:40
32. Closure of Round Table
04/11/2009, 17:30
44. ESA Background - Several presentations
A. Santovincenzo, D. Binns, Kohler
05/11/2009, 09:00
45. TRP Studies results - Several presentations
B. Johnson (SEA), Bandinelli (IDS), E Monnini (Galileo Avionica), Mosig (EPFL)
05/11/2009, 11:15
46. What can Nano-Sats be used for? - Several presentations
05/11/2009, 14:00
47. What role should ESA take in the development of Nano-sats - Several presentations
05/11/2009, 16:00
Powered by Indico v3.3.5