Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Innovations in Systems and Software Engineering
Published in: Innovations in Systems and Software Engineering 1/2018

06-01-2018 | Original Paper

Formal analysis of pilot error with agent safety logic

Authors: Seth Ahrenbach, Alwyn Goodloe

Published in: Innovations in Systems and Software Engineering | Issue 1/2018

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper, we show that modal logic is a valuable tool for the formal analysis of human errors in aviation safety. We develop a modal logic called agent safety logic (ASL), based on epistemic logic, doxastic logic, and a safety logic grounded in a flight safety manual. We identify a class of human error that has contributed to several aviation incidents involving a specific kind of pilot knowledge failure and formally analyze it. The use of ASL suggests how future avionics might increase aircraft safety.
previous article Predicting different levels of the unit testing effort of classes using source code metrics: a multiple case study on open-source software
next article Investigating structural metrics for understandability prediction of data warehouse multidimensional schemas using machine learning techniques

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now
Footnotes
1
A Euclidean relation is defined as follows, for any relation R, and elements x, y, z, if \(({x},{y}) \in {R}\), and \(({x}, {z}) \in {R}\), then \(({y}, {z}) \in {R}\).
 
2
We use \( Agent \) because the logic can apply to more than just pilots.
 
3
A special case is if the \( FSM (\alpha )\) simplifies to complementary conjunctions, in which case \(\chi \) is their disjunction.
 
4
Sometimes pilots will take “unsafe” action to mitigate what they perceive to be the greatest safety concern. For our purposes, we consider the action’s warrant in terms of the all-things-considered safety of the plane.
 
Literature
1.
2.
3.
4.
BEA (2012) Final report on the accident on 1st June 2009 to the airbus a330-203 registered F-GZCP operated by air France flight AF 447 Rio de Janeiro - Paris. Technical report
5.
Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge University Press, CambridgeCrossRefMATH
6.
Bolton ML, Bass EJ, Siminiceanu RI (2013) Using formal verification to evaluate human–automation interaction: a review. IEEE Trans Syst Man Cybern Syst 43(3):488–503CrossRef
7.
Bolton ML, Siminiceanu RI, Bass EJ (2011) A systematic approach to model checking human–automation interaction using task analytic models. IEEE Trans Syst Man Cybern A Syst Hum 41(5):961–976CrossRef
8.
Bredereke J, Lankenau A (2002) A rigorous view of mode confusion. In: Proceedings of SafeComp p 1
9.
Broersen J (2011) Deontic epistemic stit-logic distinguishing modes of mens rea. J Appl Logic 2(9):127–252MathSciNetMATH
10.
Butler RW, Miller SP, Potts JN, Carreno VA (1998) A formal methods approach to the analysis of mode confusion. In: 17th digital avionics systems conference proceedings, p 1
11.
Chen YC, Ely JC, Luo X (2012) Note on unawareness: negative introspection versus AU introspection (KU introspection). Int J Game Theory 41:325–329MathSciNetCrossRefMATH
12.
Combefis S (2013) A formal framework for the analysis of human–machine interactions. Ph.D. thesis, Universite catholique de Louvain
13.
DGAC (1996) Reporte final accidente aereo birgenair, vuelo alw-301, Febrero 06, 1996. Technical report
14.
Director General of Air Transport (1996) Accident of the boeing 757-200 aircraft operated by empresa de transporte aereo del peru s.a. aeroperu. Technical report, Ministry of Transport, Communications, Housing and Construction
15.
Fagin R, Halpern JY, Moses Y, Vardi MY (2003) Reasoning about knowledge. MIT Press, CambridgeMATH
16.
Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca
17.
18.
19.
Hunter J, Raimondi F, Rungta N, Stocker R (2013) A synergistic and extensible framework for multi-agent system verification. In: Proceedings of the 2013 international conference on autonomous agents and multi-agent systems, pp 869–876
20.
Hwang MI, Lin JW (1999) Information dimension, information overload and decision quality. J Inf Sci 25:213–218CrossRef
21.
Langewiesche W (1998) Inside the sky. Pantheon Books, New York
22.
Meyer JJC (2003) Handbook of philosophical logic, chapter modal epistemic and doxastic logic. Springer, Dordrecht, pp 1–38
23.
24.
Oishi M, Mitchell I, Bayen A, Tomlin C (2002) Hybrid verification of an interface for an automatic landing. In: Proceedings of the IEEE conference on decision and control, p 1
25.
Palmer B (2013) Understanding Air France 447. William Palmer, Staffordshire
26.
Rushby J (2002) Using model checking to help discover mode confusions and other automation surprises. Reliab Eng Syst Saf 75:167–177CrossRef
27.
Rushby J, Crow J, Palmer E (1999) An automated method to detect mode confusions. In: 18th digital avionics systems conference proceedings, p 1
28.
Simpson CW, Prusak L (1995) Troubles with information overload—moving from quantity to quality in information provision. Int J Inf Manag 15:413–425CrossRef
29.
Van Benthem J (2010) Modal logic for open minds. CSLI lecture notes. Center for the Study of Language and Information
30.
van Ditmarsch H, Halpern JY, van der Hoek W, Kooi B (eds) (2015) Handbook of epistemic logic. College Publications, London
Metadata
Title
Formal analysis of pilot error with agent safety logic
Authors
Seth Ahrenbach
Alwyn Goodloe
Publication date
06-01-2018
Publisher
Springer London
Published in
Innovations in Systems and Software Engineering / Issue 1/2018
Print ISSN: 1614-5046
Electronic ISSN: 1614-5054
DOI
https://doi.org/10.1007/s11334-017-0309-y

Premium Partner

    Image Credits