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.
    • 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 AM
      Coffee Break
    • 6
      Time and Space Partioning: WG recommendations of the working group on this subject
    • 1:00 PM
      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
    • 3:30 PM
      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
    • 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 AM
      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
    • 1:00 PM
      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
    • 4:00 PM
      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?
    • 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 AM
      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
    • 1:00 PM
      Closing of Workshop & Lunch