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

08:30 → 09:00 Registration

09:00 → 09:15 Introduction

09:15 → 09:45 Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities

09:45 → 10:15 AOCS functional chain

10:15 → 10:45 ASSERT exploitation plan

10:45 → 11:15 Coffee Break

11:15 → 11:45 Time and Space Partioning: WG recommendations of the working group on this subject

11:45 → 13:00 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 → 14:00 Lunch Break

14:00 → 15:00 Status of standardisation for Data Systems

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

15:00 → 15:30 Study of the automotive architecture standard AUTOSAR for embedded systems

15:30 → 16:00 Coffee Break

16:00 → 16:15 Current avionics studies in the frame of ISIS project

16:15 → 17:45 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

08:45 → 09:00 Introduction

09:00 → 09:30 Model Based Development and Testing

09:30 → 10:00 Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges

10:00 → 10:30 Potential benefits of MDE for Space Engineering

10:30 → 11:00 Model Driven engineering at EADS Astrium Space Transportation

11:00 → 11:30 Model-Checking and Validating UML Models: Current Capabilities and Limitations

11:30 → 12:00 Coffee Break

12:00 → 12:30 AOCS/GNC Models and Auto-Coding at ADS Astrium

12:30 → 13:00 Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project

13:00 → 14:00 Lunch Break

14:00 → 14:30 The AADL for Real-Time Modelling

14:30 → 15:00 System and Software Co-Engineering: Performance and Verification

15:00 → 15:30 Requirements-based and Model-based Testing

15:30 → 16:00 On Board Model Checking for Space Applications

16:00 → 16:30 Coffee Break

16:30 → 18:00 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

09:00 → 09:05 Introduction

09:05 → 09:30 Requirements Modelling as an Effective Approach for Requirements Verification

09:30 → 09:55 Extended and optimised ISVV Process

09:55 → 10:20 ISVV focused on FDIR Verification

10:20 → 10:40 Coffee Break

10:40 → 11:05 Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects

11:05 → 11:30 A Galileo Perspective on ISVV

11:30 → 11:40 ISVV process for autocoding

11:40 → 12:05 Proposed changes to the ISVV guide

12:05 → 13:00 Round Table

13:00 → 14:00 Closing of Workshop & Lunch