2nd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2008

29 Oct 2008, 08:30 → 31 Oct 2008, 18:00 Europe/Amsterdam

Newton Conference Center (ESA/ESTEC)

The 2nd ADCSS took place from 29 October 2008 till 31 October 2008

In order to access the presentations from this ADCSS please send an e-mail to Kathleen Gerlo and mention the Session of which you would like to receive the password: SAVOIR - MBSE or ISVV.

The link to the presentations (zip files) can be found on this page.

Abstract Book ADCSS_Abstract_Book_FINAL.pdf

Presentation

• 29102008_SAVOIR.ZIP
• 30102008_MBSE.zip
• 31102008_ISVV.zip

Wednesday 29 October

1 Registration

2 Introduction

3 Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities

4 AOCS functional chain

5 ASSERT exploitation plan

10:45 Coffee Break

6 Time and Space Partioning: WG recommendations of the working group on this subject

7 Status of Arinc 653 related activities CNES/ESA/Astrium

* AIR-II: Arinc 653 complaint RTOS * Study of I/O in Time and Space Partition * ARINC study * XTRATUM - A microkernel for TSP system

13:00 Lunch Break

8 Status of standardisation for Data Systems

* On-board communication services and protocols * Microprocessors, IP Cores * Communication buses and links

9 Study of the automotive architecture standard AUTOSAR for embedded systems

15:30 Coffee Break

10 Current avionics studies in the frame of ISIS project

11 Panel session on Space Avionics Open Interface Architectures

* Review of Action from ADCSS2007 (ARA Roundtable) * Briefing on SAVOIR Advisory Group * Priorities for Building Blocks and Interfaces --> Panelists: Members of SAVOIR Advisory Group

Thursday 30 October

12 Introduction

13 Model Based Development and Testing

14 Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges

15 Potential benefits of MDE for Space Engineering

16 Model Driven engineering at EADS Astrium Space Transportation

17 Model-Checking and Validating UML Models: Current Capabilities and Limitations

11:30 Coffee Break

18 AOCS/GNC Models and Auto-Coding at ADS Astrium

19 Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project

13:00 Lunch Break

20 The AADL for Real-Time Modelling

21 System and Software Co-Engineering: Performance and Verification

22 Requirements-based and Model-based Testing

23 On Board Model Checking for Space Applications

16:00 Coffee Break

24 Round Table

* Experience and lessons learnt from the use of modelling techniques in onboard software development * Maturity of current methodology and tools in support of the model based software engineering (SysML, [HRT-]UML, OCL, assertions, AADL, SDL, SCADE, Matlab, etc.), and how to apply them to the onboard software development process * What is the new (model) life cycle and how does it impact current practices? * What is the current coverage of this process by supporting methodology and tools? * What is the added value of deploying fully or partly the MBSE process wrt the current practices for onboard software development? * What is blocking us from a wider use of model-based approaches? * What R&D actions are required to facilitate the adoption of such a process? * How to ensure model consistency along the life cycle of avionics and software? Is there a life cycle for models?

Friday 31 October

25 Introduction

26 Requirements Modelling as an Effective Approach for Requirements Verification

27 Extended and optimised ISVV Process

28 ISVV focused on FDIR Verification

10:20 Coffee Break

29 Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects

30 A Galileo Perspective on ISVV

31 ISVV process for autocoding

32 Proposed changes to the ISVV guide

33 Round Table

13:00 Closing of Workshop & Lunch