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

Wed, October 29
- 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
- 7
  
  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
  
  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
Thu, October 30
- 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?
Fri, October 31
- 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

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

Newton Conference Center

ESA/ESTEC