Publications

A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

Authors
Denis Javaux, Bertram Wortelen, Andreas Lüdtke?, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
Tags
, ,
Title
A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques
Authors
Denis Javaux, Bertram Wortelen, Andreas Lüdtke?, Charles Pecheur, Regina Peldszus, Sonja Sievi, Yuri Yushtein
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
Type
In Proceedings
Book title
Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems
Publisher
AAAI
Editor
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen Bass
Year
2014

Abstract

When designing and developing systems in safety critical or cost intensive environments it is important to identify as much potential risks as possible prior to operating the system. This includes aspects of the interaction between human and automation systems that are prone to issues. This work-in-progress paper describes a methodology that systematically derives relevant analysis questions for complex human-automation interaction systems. It demonstrates how formal models for all components of the human-automation system can be created. These models are used by model checking algorithms to verify the safety properties associated with the selected analysis questions. While this paper includes no evaluation of the methodology, an ongoing evaluation study is outlined based on the life support system (ECLS) of the European science laboratory Columbus, which is part of the International Space Station. Each step of the formal verification methodology is illustrated with the results obtained so far on the ECLS case study.

Tags Tags: , ,

BibTeX Record
  @INPROCEEDINGS{lvl-2014-229048,
    TITLE = {A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques},
    AUTHOR = {Denis Javaux and Bertram Wortelen and Andreas Lüdtke and Charles Pecheur and Regina Peldszus and Sonja Sievi and Yuri Yushtein},
    YEAR = {2014},
    PUBLISHER = {AAAI},
    EDITOR = {Eric G. Mercer and Michael A. Goodrich and Neha Rungta and Ellen Bass },
    URL = {https://lvl.info.ucl.ac.be/Publications/AMethodologyForAnalyzingHuman-AutomationInteractionsInFlightOperationsUsingFormalVerificationTechniques},
  }