My PhD The Story So Far.

1
My PhD The Story So Far.
Sandra Basnyat Supervisor Philippe
Palanque LIIHS STUDENT SEMINAR Wed 22nd Sept
2
Background

• BEng Computer Science
• MSc HCI 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
• Human error, task modelling system modelling

3
Context Domain

• User Interfaces for Safety-Critical Applications
• Formal Methods
• High-Level Petri nets (ICOs) for system 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
Simple Example
TASK MODEL
SYSTEM MODEL
Human Error or Bad Design?
5
A modified version of the system and task model
coherence diagram Palanque Bastide 97
6
Petshop CTT
SYSTEM MODEL AS PETRI-NET IN PETSHOP
ENVIRONMENT REF, YEAR
TASK MODEL IN CONCURRENT TASK TREES ENVIRONMENT
(CTTe) Paterno, YEAR
7
Extracting Scenarios to Test on System Model
TASK MODEL IN CTTe
8
Human Error Part

• Human Error Reference Tables (based on
  Rasmussens SRK theory)
• Skill-based
• Knowledge-based
• Rule-based

9
Amalgamation of TM, HE, TP SM

• Re-model the task model to include potential
  deviations
• Plug-in patterns
• Simulate task model with CTTe
• Extract scenarios
• Manually test scenarios with Petri-net system
  model
• Identify areas of mismatch and flaws in system
  model
• Re-design system model
• Test.re-design.test.re-designtest

10
What now?

• Case studies
• ATM v
• Windows XP v
• Collaboration with Glasgow Uni
• Case Study Exploding Vessels Under Pressure
  Accident
• Collaborative task modelling

11
Questions?

• References
• Palanque Bastide Synergistic Modelling of tasks,
  system and users using formal specification
  techniques. Interacting With Computers, Academic
  Press, 9, 12, pp. 129-153