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

UTC
Newton Conference Center (ESA/ESTEC)

Newton Conference Center

ESA/ESTEC

Description
Following on the 2007 and 2008 ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 09) this year’s ADCSS will cover relevant avionics topics in the form of round tables. The workshop provides a forum for position papers and for significant interaction between the organisers and the participants. The status of ongoing initiatives shall be presented. The conclusions of the workshop will be used as a basis for future actions in ESA’s technology R&D plans in this domain.

ADCSS will take place at ESA/ESTEC, in the Newton Conference Centre.

Round tables
The Workshop includes the following round tables:
  • Space Avionics Open Interface Architecture (SAVOIR) - 3 November
  • Micro-Processors for Space applications (MPSA) - 4 November
  • Formal Methods in Software engineering (FMSE) - 4 November
  • Neomex - 5 November
In order to access the presentations from this ADCSS please send an e-mail to Kathleen Gerlo and mention the Round Table of which you would like to receive the password.

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