The Australian Computer Society

9:00 Opening

• Margaret McNicol, Workshop Chair

About the SCS Technical Committee

• Peter Lindsay, Technical Committee Chair

Industrial experience papers - session 1

• Improving Safety Management in Defence Acquisition
  B. Atchison & P. Lindsay, Software Verification Research Centre, University of Queensland;
  T. Cant, DSTO

• Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems
  N. Tracey, J. Clark, K. Mander & J. McDermid, Dept of Computer Science, University of York, UK

10:45-11:15 Break

Industrial experience papers - session 2

• Safety-critical Usability: Pattern-based Reuse of Successful Design Concepts
  A. Hussey, Software Verification Research Centre, University of Queensland;
  M. Mahemoff, Dept of Computer Science & Software Engineering, University of Melbourne

• An Airspace Safety Case Development Methodology Capturing Physical Causal Requirements
  N. Fulton, CSIRO

12:45 Lunch

1:45 Expert Panel Session

• Managing Risk in the Procurement of Safety Critical Systems
  

2:45 Break

3:00 Industrial experience papers - session 3

• Demonstrating Preservation of Safety Properties in Reactive Control System Development
  K. Lano & D. Clark, Dept of Computing, Imperial College, London, UK

• Functional Safety Assessment of a GPS-based Watchdog System for Railways
  K. Anderson, Risk & Reliability Associates

4:30 Workshop wrap-up

5:00 Close