On 15 July 1996 the ACS Technical Committee on Safety Critical Systems and the
Software Verification Research
Centre presented a public seminar on Computers and Safety. The one day
seminar featured speakers from industry and academia who have an in-depth
experience in the development and implementation of safety related computer
systems.
The speakers and topics were as follows:
- Computers and Safety - an overview
Dr Alan Underwood,
FIT, Queensland University of Technology
- Safety, how strong is your case? Safety and the Law
Mr Charles Page,
Westinghouse Brake & Signal
- Safety - Why Regulation? The proposed ACS Policy on Safety
Critical Software
Mr George Nikandros, Queensland Rail
- Safety Critical Systems in Defence: A Proposed Standard
Dr Tony Cant,
Trusted Computer Systems Group, ITD, DSTO
- Verification and Validation: Essential Foundations for Safety
Mr Tony Apted, Admiral Computing
- Case study: Constructing a Safety Case - An example
from the Manufacturing Domain
Mr Tim Kelly,
University of York, UK
- Case study: Safe Software for a Hovering Rocket Decoy
Mr Roberto Morello,
Trusted Systems Group, CSC Australia
- Case study: Hazard Analysis for a Computer Aided Dispatch system
Dr Peter Lindsay, SVRC, The University of Queensland
- Panel discussion
For further details, email
pal@it.uq.edu.au