The University of Queensland

Derivation and timing analysis of concurrent real-time software (2002–2003)

Abstract:

Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met. ''

Grant type:

ARC Discovery Projects

Researchers:

• 

  Emeritus Professor Ian Hayes

  Emeritus Professor
  

  School of Electrical Engineering and Computer Science

  Faculty of Engineering, Architecture and Information Technology

Funded by:

Australian Research Council