The consortium made of OFFIS, Astrium(EADS) and Symbio has been selected by the European Space Agency (ESA/ESTEC) to perform the "Verification Models for Advanced Human – Automation Interaction in Safety Critical Flight Operations" « VASCO» project.
This one year study (January 1 - December 31, 2013) will address the development and application of a methodology for the modeling and formal verification of Human-Automation interaction situations. It will notably be applied to the study and validation of software and user interfaces on the International Space Station (ISS) Columbus module (ESA).
In this project, Symbio will be subcontracted to OFFIS. Symbio on the other hand will subcontract the University of Louvain, BE and Technion, IL.
Symbio will be in charge of or involved in:
- literature review on Human Factors of Human-Automation Interaction situation and production of design checklist
- development of the formal verification methodology (with OFFIS)
- requirements for the case studies and execution of case studies (with OFFIS & ASTRIUM)
- validation of the methodology (with ASTRIUM)
- final recommandations
About ESA
The European Space Agency (ESA) is Europe’s gateway to space. Its mission is to shape the development of Europe’s space Europe’s space capability and ensure that investment in space continues to deliver benefits to the citizens of Europe and the world.
Share this: