Search

1 results found
Verification Models for Advanced Human – Automation Interaction in Safety Critical Flight Operations

Within VASCO the formal verification methodology (FVM) for advanced human- automation interaction in safety critical environments based on models of the overall human-automation interaction (HAI) system has been developed.
The main objectives for this work are summarized below:
- Approach human-automation interaction from a holistic cooperative system

Germany

2013-15

OFFIS E.V.

Filter by programme:

Filter by start year:

Filter by end year:

Filter by keywords:

Filter by contractor:

Filter by country:

Filter by application domain: