indico will be upgraded to the latest version on Tuesday 30th July. It may be unavailable all day.

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

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