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

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

from Wednesday, October 29, 2008 (8:30 AM) to Friday, October 31, 2008 (6:00 PM)

Monday, October 27, 2008
Tuesday, October 28, 2008
Wednesday, October 29, 2008

8:30 AM Registration
Registration
8:30 AM - 9:00 AM
Room: Newton Conference Center

9:00 AM Introduction
Introduction
9:00 AM - 9:15 AM
Room: Newton Conference Center

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

9:45 AM AOCS functional chain
AOCS functional chain
9:45 AM - 10:15 AM
Room: Newton Conference Center

10:15 AM ASSERT exploitation plan
ASSERT exploitation plan
10:15 AM - 10:45 AM
Room: Newton Conference Center

10:45 AM Coffee Break
Coffee Break
10:45 AM - 11:15 AM
Room: Newton Conference Center

11:15 AM Time and Space Partioning: WG recommendations of the working group on this subject
Time and Space Partioning: WG recommendations of the working group on this subject
11:15 AM - 11:45 AM
Room: Newton Conference Center

11:45 AM Status of Arinc 653 related activities CNES/ESA/Astrium
Status of Arinc 653 related activities CNES/ESA/Astrium
11:45 AM - 1:00 PM
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

1:00 PM Lunch Break
Lunch Break
1:00 PM - 2:00 PM
Room: Newton Conference Center

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

3:00 PM Study of the automotive architecture standard AUTOSAR for embedded systems
Study of the automotive architecture standard AUTOSAR for embedded systems
3:00 PM - 3:30 PM
Room: Newton Conference Center

3:30 PM Coffee Break
Coffee Break
3:30 PM - 4:00 PM
Room: Newton Conference Center

4:00 PM Current avionics studies in the frame of ISIS project
Current avionics studies in the frame of ISIS project
4:00 PM - 4:15 PM
Room: Newton Conference Center

4:15 PM Panel session on Space Avionics Open Interface Architectures
Panel session on Space Avionics Open Interface Architectures
4:15 PM - 5:45 PM
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
Thursday, October 30, 2008

8:45 AM Introduction
Introduction
8:45 AM - 9:00 AM
Room: Newton Conference Center

9:00 AM Model Based Development and Testing
Model Based Development and Testing
9:00 AM - 9:30 AM
Room: Newton Conference Center

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

10:00 AM Potential benefits of MDE for Space Engineering
Potential benefits of MDE for Space Engineering
10:00 AM - 10:30 AM
Room: Newton Conference Center

10:30 AM Model Driven engineering at EADS Astrium Space Transportation
Model Driven engineering at EADS Astrium Space Transportation
10:30 AM - 11:00 AM
Room: Newton Conference Center

11:00 AM Model-Checking and Validating UML Models: Current Capabilities and Limitations
Model-Checking and Validating UML Models: Current Capabilities and Limitations
11:00 AM - 11:30 AM
Room: Newton Conference Center

11:30 AM Coffee Break
Coffee Break
11:30 AM - 12:00 PM
Room: Newton Conference Center

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

12:30 PM Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project
Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project
12:30 PM - 1:00 PM
Room: Newton Conference Center

1:00 PM Lunch Break
Lunch Break
1:00 PM - 2:00 PM
Room: Newton Conference Center

2:00 PM The AADL for Real-Time Modelling
The AADL for Real-Time Modelling
2:00 PM - 2:30 PM
Room: Newton Conference Center

2:30 PM System and Software Co-Engineering: Performance and Verification
System and Software Co-Engineering: Performance and Verification
2:30 PM - 3:00 PM
Room: Newton Conference Center

3:00 PM Requirements-based and Model-based Testing
Requirements-based and Model-based Testing
3:00 PM - 3:30 PM
Room: Newton Conference Center

3:30 PM On Board Model Checking for Space Applications
On Board Model Checking for Space Applications
3:30 PM - 4:00 PM
Room: Newton Conference Center

4:00 PM Coffee Break
Coffee Break
4:00 PM - 4:30 PM
Room: Newton Conference Center

4:30 PM Round Table
Round Table
4:30 PM - 6:00 PM
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?
Friday, October 31, 2008

9:00 AM Introduction
Introduction
9:00 AM - 9:05 AM
Room: Newton Conference Center

9:05 AM Requirements Modelling as an Effective Approach for Requirements Verification
Requirements Modelling as an Effective Approach for Requirements Verification
9:05 AM - 9:30 AM
Room: Newton Conference Center

9:30 AM Extended and optimised ISVV Process
Extended and optimised ISVV Process
9:30 AM - 9:55 AM
Room: Newton Conference Center

9:55 AM ISVV focused on FDIR Verification
ISVV focused on FDIR Verification
9:55 AM - 10:20 AM
Room: Newton Conference Center

10:20 AM Coffee Break
Coffee Break
10:20 AM - 10:40 AM
Room: Newton Conference Center

10:40 AM Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects
Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects
10:40 AM - 11:05 AM
Room: Newton Conference Center

11:05 AM A Galileo Perspective on ISVV
A Galileo Perspective on ISVV
11:05 AM - 11:30 AM
Room: Newton Conference Center

11:30 AM ISVV process for autocoding
ISVV process for autocoding
11:30 AM - 11:40 AM
Room: Newton Conference Center

11:40 AM Proposed changes to the ISVV guide
Proposed changes to the ISVV guide
11:40 AM - 12:05 PM
Room: Newton Conference Center

12:05 PM Round Table
Round Table
12:05 PM - 1:00 PM
Room: Newton Conference Center

1:00 PM Closing of Workshop & Lunch
Closing of Workshop & Lunch
1:00 PM - 2:00 PM
Room: Newton Conference Center