Practical formal development of real time systems

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) Practical formal development of real time systems. In: RTOSS '94: 11th IEEE Workshop on Real-Time Operating Systems and Software, 18-19 May 1994, Seattle.

Full text not available from this repository. (Request a copy)

Abstract

The complexities of real-time systems are such that it is often thought necessary to give a formal justification of their correctness, especially if they are to be used in a safety-critical environment. In this paper we describe our work on a formally based design method for real-time systems which allows the timing aspects of a concurrent system to be mathematically described and verified, as well as semi-automatically implemented. Our design language, AORTA, is a timed process algebra, with features to ensure that all designs can be implemented. A predictable real-time kernel is also described, which is used in the construction of a system from an AORTA design, and which allows the timing of the implementation to be verified.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	G400 Computer Science
Department:	Faculties > Engineering and Environment > Computer and Information Sciences
Depositing User:	Becky Skoyles
Date Deposited:	17 Feb 2015 16:22
Last Modified:	13 Oct 2019 00:23
URI:	http://nrl.northumbria.ac.uk/id/eprint/18673

Downloads