The Australian Computer Society

Opening Peter Lindsay, Workshop Chair

George Nikandros, Technical Committee Chair

Session 1 Charles Page, chair

• Building a Preliminary Safety Case: An Example from Aerospace
  Tim Kelly, University of York, UK

• Practicable Safety: Train Protection System Evaluation
  George Nikandros, Queensland Rail

Session 2 Mike Dowling, chair

• The Development of a Safety Related Graphical Simulator for a Railway Signal Interlocking System
  Margaret McNicol, Westinghouse Signals Australia

• Safety Issues and the Use of Software-Controlled Equipment in the Mining Industry
  John Sammarco, National Institute for Occupational Health & Safety, USA

Session 3 Panel Session: Standards for Safety-Critical Software Praful Bhansali, chair

• Dr Praful Bhansali, Software Safety Manager, Boeing Commercial Airplane Group
• Dr Tony Cant, ITD, DSTO and co-author draft Def(Aust) DR 5679
• Mr Tim Kelly, University of York, UK
• Mr Charles Page, Westinghouse Signals Australia
• Prof Jim Welsh, Software Verification Research Centre and member ISO SC7/WG9

Session 4 Peter Lindsay, chair

• Development of a System-wide Safety Case for an Active Missile Decoy
  Stuart Swan, CSC Australia

• An Incremental Approach to the Specification of an Aircraft OFP Scheduler
  Jin Song Dong & Neale Fulton, CSIRO

• Experience Report: Train Orders Computer Systems
  Kevin Anderson, Risk & Reliability Associates