Login

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

Oct 29 – 31, 2008
ESA/ESTEC
Europe/Amsterdam timezone

Contribution List

33 / 33
0. Registration
10/29/08, 8:30 AM
1. Introduction
10/29/08, 9:00 AM
2. Results of the CORDET (Component Oriented Development Techniques) and DOMENG (Domain Engineering) activities
10/29/08, 9:15 AM
3. AOCS functional chain
10/29/08, 9:45 AM
4. ASSERT exploitation plan
10/29/08, 10:15 AM
5. Time and Space Partioning: WG recommendations of the working group on this subject
10/29/08, 11:15 AM
6. Status of Arinc 653 related activities CNES/ESA/Astrium
10/29/08, 11:45 AM
* 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
10/29/08, 2:00 PM
* On-board communication services and protocols * Microprocessors, IP Cores * Communication buses and links
8. Study of the automotive architecture standard AUTOSAR for embedded systems
10/29/08, 3:00 PM
9. Current avionics studies in the frame of ISIS project
10/29/08, 4:00 PM
10. Panel session on Space Avionics Open Interface Architectures
10/29/08, 4:15 PM
* 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
10/30/08, 8:45 AM
12. Model Based Development and Testing
10/30/08, 9:00 AM
13. Application of Model-Driven Engineering to the Development of On-board Software: Benefits and Challenges
10/30/08, 9:30 AM
14. Potential benefits of MDE for Space Engineering
10/30/08, 10:00 AM
15. Model Driven engineering at EADS Astrium Space Transportation
10/30/08, 10:30 AM
16. Model-Checking and Validating UML Models: Current Capabilities and Limitations
10/30/08, 11:00 AM
17. AOCS/GNC Models and Auto-Coding at ADS Astrium
10/30/08, 12:00 PM
18. Operational use of MDE Process and Component Models at Thales Alenia Space on the GlobalStar2 Project
10/30/08, 12:30 PM
19. The AADL for Real-Time Modelling
10/30/08, 2:00 PM
20. System and Software Co-Engineering: Performance and Verification
10/30/08, 2:30 PM
21. Requirements-based and Model-based Testing
10/30/08, 3:00 PM
22. On Board Model Checking for Space Applications
10/30/08, 3:30 PM
23. Round Table
10/30/08, 4:30 PM
* 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
10/31/08, 9:00 AM
25. Requirements Modelling as an Effective Approach for Requirements Verification
10/31/08, 9:05 AM
26. Extended and optimised ISVV Process
10/31/08, 9:30 AM
27. ISVV focused on FDIR Verification
10/31/08, 9:55 AM
28. Cost Effective IV&V Planning Activity derived form Experiences on JAXA's Spacecraft Projects
10/31/08, 10:40 AM
29. A Galileo Perspective on ISVV
10/31/08, 11:05 AM
30. ISVV process for autocoding
10/31/08, 11:30 AM
31. Proposed changes to the ISVV guide
10/31/08, 11:40 AM
32. Round Table
10/31/08, 12:05 PM
Powered by Indico v3.3.3