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

3 Nov 2009, 09:00 → 5 Nov 2009, 18:00 UTC

Newton Conference Center (ESA/ESTEC)

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.

Presentations

• FMSE.zip
• MPSA.zip
• NEOMEX.zip
• SAVOIR.zip

Tuesday, 3 November

09:00 → 09:15 Introduction: SAG Objectives and Outputs

Speakers: J. Busseuil (Thales Alenia Space), J. Miró (ESA)

09:15 → 10:00 Software Architectures and Interfaces

Speaker: Mr Jean-Loup TERRAILLON (ESA)

10:00 → 10:30 AOCS Sensors and Actuators Interfaces

Speaker: S. Airey

10:30 → 11:00 Coffee Break

11:00 → 11:15 CCSDS SOIS Standardisation update

Speaker: Mr Chris Taylor (ESA/Data Systems Division)

11:15 → 11:30 ECSS E 60 Control Systems and Status

Speaker: Mr ALAIN BENOIT (ESA-ESTEC)

11:30 → 12:15 Agencies R&D Plans

Speakers: D. Seguela, Mr Philippe Armbruster (ESA/Data Systems Division)

12:15 → 13:00 Avionics Technology Validation Benches

Speakers: B. Girouart, Mr Chris Taylor (ESA/Data Systems Division), N. Lindman

13:00 → 14:00 Lunch Break

14:00 → 14:15 Technology Harmonisation on AOCS Sensors & Actuators

Speaker: Mr ALAIN BENOIT (ESA-ESTEC)

14:15 → 15:00 SAG Avionics BB Priorities

Speakers: J. Busseuil, J. Miró

15:00 → 15:30 Coffee Break

15:30 → 17:30 Panel session on: Future trends in avionics and their impact on avionics development process, reuse and standardisation

17:30 → 18:00 Conclusions

Wednesday, 4 November

09:00 → 18:00 Formal Methods in Software Engineering

09:00 Welcome

09:15 Opportunistic Formal Methods

Speaker: R. Joshi

09:55 What to do with Formal Methods in Space (System/)Software Domain?

Speaker: X. Olive (TAS)

10:35 Formal Methods for Space Transportation Software

Speaker: D. Lesens (Astrium ST)

11:15 Coffee break

11:30 Assessing the Formal Development of a Secure Partitioning Kernel with the B-Method

Speaker: A. Passos (Critical Software)

12:10 Using HRT-UML and Ada Ravenscar Profile in Sentinel 3

Speaker: R. López (GMV)

12:50 Lunch Break

14:00 Formal Methods in Fligh Software Architecture, Model-based Engineering and Spacecarft Autonomy Technology at NASA/JPL

Speaker: M. Ingham (NASA/JPL)

14:40 Formal Verification and Validation of AADL Models

Speakers: T. Noll (RWTH), VY Nguyen (RWTH)

15:20 From System Dependability to Software Dependability: Assistance of Formal Methods

Speaker: P. Bieber (ONERA)

16:00 Context Constraints Method for Software Formal Verification

Speakers: E Bonnafous, X Dumas

16:20 Round Table

09:00 → 18:00 Micro-Processors for Space Applications

09:00 Welcome

09:10 Introduction

Speaker: R. Weigand

09:25 TSC695F, AT697E/F

09:45 AT7913 SpW-RTC

Speaker: Mr Jørgen Ilstad (ESA/ESTEC)

10:00 Next Generation Micro Processor

10:20 SCOC3 Asic

10:40 Software Development Tools synthesis

Speaker: Mr Kjeld Hjortnaes (ESA/ESTEC - Software Systems Division)

11:00 Coffee Break

11:15 Introduction

Speaker: A. Fernandez-Leon

11:30 The RUAG experience and development strategy

11:50 The Astrium experience and development strategy

12:10 The TAS experience and development strategy

12:30 The Syderal experience and development strategy

12:45 The Verhaert experience and development strategy

13:00 Lunch Break

14:00 HW/SW & New related technology developments

Speakers: Mr Giorgio Magistrati (ESA/Data Systems Division), Mr Kjeld Hjortnaes (ESA/ESTEC - Software Systems Division)

14:40 Next generation DSP roadmap and related ESA activities

Speaker: Dr Roland Trautner (ESA/ESTEC)

15:00 SHARC(TM) Digital Signal Processor Core Technology and the Flexibility to Use for Custom Integration

15:15 Possibilities for NGDSP implementation based on ATMEL DSP IP

15:30 Texas Instruments COTS DSP chips for space applications

15:45 High Integration Digital Control Module - Control Loop Processor

16:05 Lunch Break

16:20 Use of Cots Processors in space

Speaker: Mr Claudio Monteleone (ESA/Data Systems Division)

16:40 Round Table & Summary of the Workshop

17:30 Closure of Round Table

Thursday, 5 November

09:00 → 10:45 ESA Background - Several presentations

Speakers: A. Santovincenzo, D. Binns, Kohler

10:45 → 11:15 Coffee Break

11:15 → 13:00 TRP Studies results - Several presentations

Speakers: B. Johnson (SEA), Bandinelli (IDS), E Monnini (Galileo Avionica), Mosig (EPFL)

13:00 → 14:00 Lunch Break

14:00 → 15:30 What can Nano-Sats be used for? - Several presentations

15:30 → 16:00 Coffee Break

16:00 → 18:00 What role should ESA take in the development of Nano-sats - Several presentations