My PhD The Story So Far'

1
My PhD The Story So Far.
Sandra Basnyat Supervisor Philippe
Palanque LIIHS STUDENT SEMINAR Thurs 3rd Nov 2005
2
Background

• BEng Computer Science
• MSc Human Computer Interaction Ergonomics
• 2003 Now Started PhD September
• Recruited Training Network ADVISES
• Analysis Design and Validation of Interactive
  Safety-critical and Error-tolerant Systems
• LIIHS
• Formal Specification of interactive
  safety-critical systems
• Me
• Errors, non-standard behaviour, system errors,
  human errors, modelling, task modelling system
  modelling, barrier modelling

3
Context Domain

• Applications for Safety-Critical Applications
• Formal Methods
• High-Level Petri nets (ICOs) for system modelling
  barrier modelling
• CTT for task modelling
• Comprehensive classification of human error
  analysis
• System compliance and ability to deal with both
  standard and potential erroneous behaviour

4
Petshop CTT
SYSTEM MODEL BARRIERS AS ICO MODEL IN PETSHOP
ENVIRONMENT
TASK MODEL IN CONCURRENT TASK TREES ENVIRONMENT
(CTTe)
5
Overall Idea
Reason, 1990Human error' (Cambridge University
Press, UK, 1990)
6
What now?

• Case studies
• ATM v
• Windows XP v
• Case Study Exploding Vessels Under Pressure
  Accident v
• Collaboration with Glasgow Uni York Uni
• Now.
• New case study ARINC 661 or cockpit automation
  system
• Start writing PhD!!

7
Questions?