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

Oct 29, 2008, 8:30 AM → Oct 31, 2008, 6:00 PM 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, October 29

8:30 AM → 9:00 AM Registration

9:00 AM → 9:15 AM Introduction

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

9:45 AM → 10:15 AM AOCS functional chain

10:15 AM → 10:45 AM ASSERT exploitation plan

10:45 AM → 11:15 AM Coffee Break

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

11:45 AM → 1:00 PM 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

1:00 PM → 2:00 PM Lunch Break

2:00 PM → 3:00 PM Status of standardisation for Data Systems

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

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

3:30 PM → 4:00 PM Coffee Break

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

4:15 PM → 5:45 PM 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, October 30

8:45 AM → 9:00 AM Introduction

9:00 AM → 9:30 AM Model Based Development and Testing

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

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

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

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

11:30 AM → 12:00 PM Coffee Break

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

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

1:00 PM → 2:00 PM Lunch Break

2:00 PM → 2:30 PM The AADL for Real-Time Modelling

2:30 PM → 3:00 PM System and Software Co-Engineering: Performance and Verification

3:00 PM → 3:30 PM Requirements-based and Model-based Testing

3:30 PM → 4:00 PM On Board Model Checking for Space Applications

4:00 PM → 4:30 PM Coffee Break

4:30 PM → 6:00 PM 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, October 31

9:00 AM → 9:05 AM Introduction

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

9:30 AM → 9:55 AM Extended and optimised ISVV Process

9:55 AM → 10:20 AM ISVV focused on FDIR Verification

10:20 AM → 10:40 AM Coffee Break

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

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

11:30 AM → 11:40 AM ISVV process for autocoding

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

12:05 PM → 1:00 PM Round Table

1:00 PM → 2:00 PM Closing of Workshop & Lunch