NDLI: Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Please wait, while we are loading the content...

4D trajectory planning in ATM with an anytime stochastic approach

A decomposition-based optimal control approach for aircraft conflict avoidance performed by velocity regulation

Assessment of impact of degree of automation on human roles: the experts' analysis using gaming

Aircraft trajectory simulator using a three degrees of freedom aircraft point mass model

Automated support for separation assurance: a common design approach for general aviation and remotely piloted aircraft systems

An OpenFlow-based architecture for IaaS security

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Control and stabilization applied to micro quadrotor AR.Drone

Development of numerical sensor models for cooperative and non-cooperative collision avoidance

Automated task allocation

Effect of flight plans predictability and accuracy on traffic demand forecast

Designing alarm device for socio-technical systems: co-active or coercive design?

Flying by the seat of their pants: what can high frequency trading learn from aviation?

Towards an integrity monitoring for 4D-trajectories

Model-based dynamic distribution of user interfaces of critical interactive systems

Information analysis for a future flight deck design in the context of 4D trajectory based operation

Modeling aircraft pushback trajectories for safe operations

Traffic-separation & collision-avoidance strategy to promote civil applications of UAVs

Multiphase mixed-integer optimal control applied to 4D trajectory planning in air traffic management

User-interface design for highly automated systems a structured approach

The legal case

Transforming time: towards an intuitive time constraint depiction

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Content Provider	ACM Digital Library
Author	Rungta, Neha Raimondi, Franco Seah, Chin Linde, Charlotte Shafto, Michael Brat, Guillaume Clancey, William J.
Abstract	The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and most likely will cause automation to migrate from ground to air. This will yield new function allocations between humans and automation and therefore change the roles and responsibilities in the ATS. Yet, safety in NextGen is required to be at least as good as in the current system. We therefore need techniques to evaluate the safety of the interactions between humans and automation. We think that current human factor studies and simulation-based techniques will fall short in front of the ATS complexity, and that we need to add more automated techniques to simulations, such as model checking, which offers exhaustive coverage of the non-deterministic behaviors in nominal and off-nominal scenarios. In this work, we present a verification approach based both on simulations and on model checking for evaluating the roles and responsibilities of humans and automation. Models are created using Brahms (a multi-agent framework) and we show that the traditional Brahms simulations can be integrated with automated exploration techniques based on model checking, thus offering a complete exploration of the behavioral space of the scenario. Our formal analysis supports the notion of beliefs and probabilities to reason about human behavior. We demonstrate the technique with the Überlingen accident since it exemplifies authority problems when receiving conflicting advices from human and automated systems.
Starting Page	27
Ending Page	37
Page Count	11
File Format	PDF
ISBN	9781450322492
DOI	10.1145/2494493.2494498
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-05-28
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Authority and autonomy Aviation safety Verification Überlingen collision Brahms
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Design and evaluation of situation-adaptive pedestrian-vehicle collision avoidance system

Understanding the Interaction between Safety Management and the ‘ Can Do ’ Attitude in Air Traffic Management : Modeling the Causes of the Überlingen Mid-Air Collision

Improving model-based verification of embedded systems by analyzing component dependences

Work practice simulation of complex human-automation systems in safety critical situations: the brahms generalized berlingen model

SME-Defined Scenarios for Autonomy (SDSA): A method for exploring complex aviation system safety and performance

Verification of safety for autonomous unmanned ground vehicles

Automated support for separation assurance: a common design approach for general aviation and remotely piloted aircraft systems

Understanding the interaction between safety management and the ‘can do ’ attitude in air traffic management: modeling the causes of the überlingen mid-air collision (2002).

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Similar Documents

Aviation safety: modeling and analyzing complex interactions between humans and automated systems

Design and evaluation of situation-adaptive pedestrian-vehicle collision avoidance system

Understanding the Interaction between Safety Management and the ‘ Can Do ’ Attitude in Air Traffic Management : Modeling the Causes of the Überlingen Mid-Air Collision

Improving model-based verification of embedded systems by analyzing component dependences

Work practice simulation of complex human-automation systems in safety critical situations: the brahms generalized berlingen model

SME-Defined Scenarios for Autonomy (SDSA): A method for exploring complex aviation system safety and performance

Verification of safety for autonomous unmanned ground vehicles

Automated support for separation assurance: a common design approach for general aviation and remotely piloted aircraft systems

Understanding the interaction between safety management and the ‘can do ’ attitude in air traffic management: modeling the causes of the überlingen mid-air collision (2002).

Aviation safety: modeling and analyzing complex interactions between humans and automated systems