Login

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

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