I detta dokument diskuteras ett formellt och rigoröst tillvägagångssätt för analys av operatörens interaktion med maskiner. Den tar upp det akuta problemet med att upptäcka konstruktionsfel i interaktion mellan människa och maskin och fokuserar på att kontrollera att interaktionen är korrekt i komplexa och automatiserade styrsystem. I dokumentet beskrivs en systematisk metod för att utvärdera om gränssnittet ger nödvändig information om maskinen, så att operatören kan utföra en specificerad uppgift på ett framgångsrikt och otvetydigt sätt. Den behandlar också tillräcklig information, som ges till användaren via träningsmaterial (t.ex. bruksanvisning), om maskinens beteende. Det väsentliga i metoden, som kan automatiseras och tillämpas vid verifiering av stora system, illustreras av flera exempel och genom en fallstudie av pilotens interaktion med en autopilot ombord på ett modernt kommersiellt flygplan. Körhuvud: människa-automation interaktion.
Degani och Heymann REF beskriver ett systematiskt tillvägagångssätt för att utvärdera om ett enhetsgränssnitt ger nödvändig information.
Formal verification of humanautomation interaction
{'venue': 'Human Factors', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Medicine']}