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