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

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)

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

Wednesday 4 November

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

36 HW/SW & New related technology developments

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

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

Thursday 5 November

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