Project Description

The AORTA project was concerned with the development of a formal language for the development of small, multi-tasking embedded systems implemented on uni-processors, employing a simple scheduling algorithm. In this regard, it was one of the first projects to consider both the implementation and verification of asynchronous, hard real-time systems.

Publications See the list of AORTA publications.

See also Steven Bradley's home page at the University of Durham.