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

Name: 2nd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2008
Start: 2008-10-29T08:30:00+01:00
End: 2008-10-31T18:00:00+01:00
Location: ESA/ESTEC

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

Newton Conference Center (ESA/ESTEC)

Newton Conference Center

ESA/ESTEC

Description

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.

Wednesday, 29 October
- 08:30 → 09:00
  
  Registration 30m
- 09:00 → 09:15
  
  Introduction 15m
- 09:15 → 09:45
  
  Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities 30m
- 09:45 → 10:15
  
  AOCS functional chain 30m
- 10:15 → 10:45
  
  ASSERT exploitation plan 30m
- 10:45 → 11:15
  
  Coffee Break 30m
- 11:15 → 11:45
  
  Time and Space Partioning: WG recommendations of the working group on this subject 30m
- 11:45 → 13:00
  
  Status of Arinc 653 related activities CNES/ESA/Astrium 1h 15m
  
  * 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 1h
- 14:00 → 15:00
  
  Status of standardisation for Data Systems 1h
  
  * 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 30m
- 15:30 → 16:00
  
  Coffee Break 30m
- 16:00 → 16:15
  
  Current avionics studies in the frame of ISIS project 15m
- 16:15 → 17:45
  
  Panel session on Space Avionics Open Interface Architectures 1h 30m
  
  * 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 15m
- 09:00 → 09:30
  
  Model Based Development and Testing 30m
- 09:30 → 10:00
  
  Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges 30m
- 10:00 → 10:30
  
  Potential benefits of MDE for Space Engineering 30m
- 10:30 → 11:00
  
  Model Driven engineering at EADS Astrium Space Transportation 30m
- 11:00 → 11:30
  
  Model-Checking and Validating UML Models: Current Capabilities and Limitations 30m
- 11:30 → 12:00
  
  Coffee Break 30m
- 12:00 → 12:30
  
  AOCS/GNC Models and Auto-Coding at ADS Astrium 30m
- 12:30 → 13:00
  
  Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project 30m
- 13:00 → 14:00
  
  Lunch Break 1h
- 14:00 → 14:30
  
  The AADL for Real-Time Modelling 30m
- 14:30 → 15:00
  
  System and Software Co-Engineering: Performance and Verification 30m
- 15:00 → 15:30
  
  Requirements-based and Model-based Testing 30m
- 15:30 → 16:00
  
  On Board Model Checking for Space Applications 30m
- 16:00 → 16:30
  
  Coffee Break 30m
- 16:30 → 18:00
  
  Round Table 1h 30m
  
  * 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 5m
- 09:05 → 09:30
  
  Requirements Modelling as an Effective Approach for Requirements Verification 25m
- 09:30 → 09:55
  
  Extended and optimised ISVV Process 25m
- 09:55 → 10:20
  
  ISVV focused on FDIR Verification 25m
- 10:20 → 10:40
  
  Coffee Break 20m
- 10:40 → 11:05
  
  Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects 25m
- 11:05 → 11:30
  
  A Galileo Perspective on ISVV 25m
- 11:30 → 11:40
  
  ISVV process for autocoding 10m
- 11:40 → 12:05
  
  Proposed changes to the ISVV guide 25m
- 12:05 → 13:00
  
  Round Table 55m
- 13:00 → 14:00
  
  Closing of Workshop & Lunch 1h