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, 29 October 2008 (08:30) to Friday, 31 October 2008 (18:00)

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

08:30 Registration
Registration
08:30 - 09:00
Room: Newton Conference Center

09:00 Introduction
Introduction
09:00 - 09:15
Room: Newton Conference Center

09:15 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
09:15 - 09:45
Room: Newton Conference Center

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

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

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

11:15 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 - 11:45
Room: Newton Conference Center

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

13:00 Lunch Break
Lunch Break
13:00 - 14:00
Room: Newton Conference Center

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

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

15:30 Coffee Break
Coffee Break
15:30 - 16:00
Room: Newton Conference Center

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

16:15 Panel session on Space Avionics Open Interface Architectures
Panel session on Space Avionics Open Interface Architectures
16:15 - 17:45
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, 30 October 2008

08:45 Introduction
Introduction
08:45 - 09:00
Room: Newton Conference Center

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

09:30 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
09:30 - 10:00
Room: Newton Conference Center

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

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

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

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

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

12:30 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 - 13:00
Room: Newton Conference Center

13:00 Lunch Break
Lunch Break
13:00 - 14:00
Room: Newton Conference Center

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

14:30 System and Software Co-Engineering: Performance and Verification
System and Software Co-Engineering: Performance and Verification
14:30 - 15:00
Room: Newton Conference Center

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

15:30 On Board Model Checking for Space Applications
On Board Model Checking for Space Applications
15:30 - 16:00
Room: Newton Conference Center

16:00 Coffee Break
Coffee Break
16:00 - 16:30
Room: Newton Conference Center

16:30 Round Table
Round Table
16:30 - 18:00
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, 31 October 2008

09:00 Introduction
Introduction
09:00 - 09:05
Room: Newton Conference Center

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

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

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

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

10:40 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 - 11:05
Room: Newton Conference Center

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

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

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

12:05 Round Table
Round Table
12:05 - 13:00
Room: Newton Conference Center

13:00 Closing of Workshop & Lunch
Closing of Workshop & Lunch
13:00 - 14:00
Room: Newton Conference Center