The Australian Computer Society

9:00 Opening

• Peter Lindsay, Workshop Chair

About the SCS Technical Committee

• George Nikandros, Technical Committee Chair

Industrial experience papers - session 1

• Software and its uses in Airways Safety Critical Systems
  Jorge Woods, Civil Aviation Safety Authority

• Real-time Constraints on Voice-Communications in Airspace
  Neale Fulton, CSIRO

10:30-11:00 Break

• A Risk Assessment for a Railway Protection System
  Alena Griffith, Foxboro Australia

11:40 Tutorial

• A Tutorial Introduction to Formal Methods
  Peter Lindsay, Software Verification Research Centre

12:30 Lunch

1:30 Expert Panel Session

• The Use of Formal Methods in Critical System Development and Assurance
  

  David Marshall, Director Software Acquisition Reform, Dept of Defence(Panel Chair)

  Tony Cant, Defence Science & Technology Organisation

  John Colton, CSIRO

  Mal Crozier, British Aerospace Australia

  Mike Dowling, CSC Australia

3:00 Break

3:30 Industrial experience papers - session 2

• Safety Analysis of User Interfaces at Multiple Levels of Interaction
  Andrew Hussey, Software Verification Research Centre

• Lifecycle Project Management
  Kurt Rieger, ATP Management Design

5:00 Close