Registration Room: Newton Conference Center

Introduction Room: Newton Conference Center

Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities Room: Newton Conference Center

AOCS functional chain Room: Newton Conference Center

ASSERT exploitation plan Room: Newton Conference Center

Time and Space Partioning: WG recommendations of the working group on this subject Room: Newton Conference Center

Status of Arinc 653 related activities CNES/ESA/Astrium Room: Newton Conference Center * AIR-II: Arinc 653 complaint RTOS * Study of I/O in Time and Space Partition * ARINC study * XTRATUM - A microkernel for TSP system

Status of standardisation for Data Systems Room: Newton Conference Center * On-board communication services and protocols * Microprocessors, IP Cores * Communication buses and links

Study of the automotive architecture standard AUTOSAR for embedded systems Room: Newton Conference Center

Current avionics studies in the frame of ISIS project Room: Newton Conference Center

Panel session on Space Avionics Open Interface Architectures Room: Newton Conference Center * Review of Action from ADCSS2007 (ARA Roundtable) * Briefing on SAVOIR Advisory Group * Priorities for Building Blocks and Interfaces --> Panelists: Members of SAVOIR Advisory Group

Introduction Room: Newton Conference Center

Model Based Development and Testing Room: Newton Conference Center

Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges Room: Newton Conference Center

Potential benefits of MDE for Space Engineering Room: Newton Conference Center

Model Driven engineering at EADS Astrium Space Transportation Room: Newton Conference Center

Model-Checking and Validating UML Models: Current Capabilities and Limitations Room: Newton Conference Center

AOCS/GNC Models and Auto-Coding at ADS Astrium Room: Newton Conference Center

Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project Room: Newton Conference Center

The AADL for Real-Time Modelling Room: Newton Conference Center

System and Software Co-Engineering: Performance and Verification Room: Newton Conference Center

Requirements-based and Model-based Testing Room: Newton Conference Center

On Board Model Checking for Space Applications Room: Newton Conference Center

Round Table Room: Newton Conference Center * 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?

Introduction Room: Newton Conference Center

Requirements Modelling as an Effective Approach for Requirements Verification Room: Newton Conference Center

Extended and optimised ISVV Process Room: Newton Conference Center

ISVV focused on FDIR Verification Room: Newton Conference Center

Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects Room: Newton Conference Center

A Galileo Perspective on ISVV Room: Newton Conference Center

ISVV process for autocoding Room: Newton Conference Center

Proposed changes to the ISVV guide Room: Newton Conference Center

Round Table Room: Newton Conference Center