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

from Wednesday, 29 October 2008 (08:30) to Friday, 31 October 2008 (18:00)
ESA/ESTEC (Newton Conference Center)

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