Login

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

3–5 Nov 2009
ESA/ESTEC
UTC timezone

Contribution List

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