Peter A. Lindsay

Learn More
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Individual abstracts and compressed postscript les are available from Abstract International Standards for safety-critical software typically use notions of Safety Integrity Levels (SILs) which in our experience are dif-cult to apply(More)
Note: Most SVRC technical reports are available via anonymous FTP, from svrc.it.uq.edu.au in the directory /pub/SVRC/techreports. Abstracts and compressed postscript files are available via Abstract This report describes a formal approach to verification and validation of safety requirements for embedded software, by application to a simple control-logic(More)
Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via Abstract Formal specifications have been proposed as a basis for accessing reusable components from libraries, and various fine-grained specification-matching approaches have(More)
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case(More)