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)
A toolset for system design and analysis is described. The tool allows individual translated functional requirements to be entered graphically as Behavior Trees. Once integrated these Behavior Trees form a problem domain representation of the design. This representation is automatically mapped to CSP to enable model checking with FDR. A number of(More)