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

Contribution List

0. Registration

29/10/2008, 08:30

1. Introduction

29/10/2008, 09:00

2. Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities

29/10/2008, 09:15

3. AOCS functional chain

29/10/2008, 09:45

4. ASSERT exploitation plan

29/10/2008, 10:15

5. Time and Space Partioning: WG recommendations of the working group on this subject

29/10/2008, 11:15

6. Status of Arinc 653 related activities CNES/ESA/Astrium

29/10/2008, 11:45

* AIR-II: Arinc 653 complaint RTOS * Study of I/O in Time and Space Partition * ARINC study * XTRATUM - A microkernel for TSP system

7. Status of standardisation for Data Systems

29/10/2008, 14:00

* On-board communication services and protocols * Microprocessors, IP Cores * Communication buses and links

8. Study of the automotive architecture standard AUTOSAR for embedded systems

29/10/2008, 15:00

9. Current avionics studies in the frame of ISIS project

29/10/2008, 16:00

10. Panel session on Space Avionics Open Interface Architectures

29/10/2008, 16:15

* Review of Action from ADCSS2007 (ARA Roundtable) * Briefing on SAVOIR Advisory Group * Priorities for Building Blocks and Interfaces --> Panelists: Members of SAVOIR Advisory Group

11. Introduction

30/10/2008, 08:45

12. Model Based Development and Testing

30/10/2008, 09:00

13. Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges

30/10/2008, 09:30

14. Potential benefits of MDE for Space Engineering

30/10/2008, 10:00

15. Model Driven engineering at EADS Astrium Space Transportation

30/10/2008, 10:30

16. Model-Checking and Validating UML Models: Current Capabilities and Limitations

30/10/2008, 11:00

17. AOCS/GNC Models and Auto-Coding at ADS Astrium

30/10/2008, 12:00

18. Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project

30/10/2008, 12:30

19. The AADL for Real-Time Modelling

30/10/2008, 14:00

20. System and Software Co-Engineering: Performance and Verification

30/10/2008, 14:30

21. Requirements-based and Model-based Testing

30/10/2008, 15:00

22. On Board Model Checking for Space Applications

30/10/2008, 15:30

23. Round Table

30/10/2008, 16:30

* 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...

24. Introduction

31/10/2008, 09:00

25. Requirements Modelling as an Effective Approach for Requirements Verification

31/10/2008, 09:05

26. Extended and optimised ISVV Process

31/10/2008, 09:30

27. ISVV focused on FDIR Verification

31/10/2008, 09:55

28. Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects

31/10/2008, 10:40

29. A Galileo Perspective on ISVV

31/10/2008, 11:05

30. ISVV process for autocoding

31/10/2008, 11:30

31. Proposed changes to the ISVV guide

31/10/2008, 11:40

32. Round Table

31/10/2008, 12:05