메뉴 건너뛰기




Volumn , Issue , 2006, Pages 1778-1781

Safety analysis of systemic accidents triggered by performance deviation

Author keywords

Automation induced surprises; Complex and dynamical systems; Performance deviations; Safety analysis; Systemic accident model

Indexed keywords

AUTOPILOTS; FUNCTIONAL RESONANCE ACCIDENT MODELS; PERFORMANCE DEVIATION; SAFETY MANAGEMENT; SYSTEMIC ACCIDENTS;

EID: 34250700505     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SICE.2006.315635     Document Type: Conference Paper
Times cited : (25)

References (6)
  • 2
    • 0036301137 scopus 로고    scopus 로고
    • Formal Verification of Human-Automation Interaction
    • in press
    • Degani, A. and Heymann, M.: Formal Verification of Human-Automation Interaction, Human factors, in press, 2002.
    • (2002) Human factors
    • Degani, A.1    Heymann, M.2
  • 3
    • 34250760739 scopus 로고    scopus 로고
    • On the Construction of Human-Automation Interface by Formal Abstraction
    • SARA
    • Heymann, M. and Degani, A.: On the Construction of Human-Automation Interface by Formal Abstraction, Proc.of SARA 2002, 2002.
    • (2002) Proc.of
    • Heymann, M.1    Degani, A.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.