A formally based hard real-time kernel

Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) A formally based hard real-time kernel. Microprocessors and Microsystems, 18 (9). pp. 513-521. ISSN 0141-9331

Full text not available from this repository. (Request a copy)
Official URL: http://www.sciencedirect.com/science/article/pii/0...


In order to demonstrably satisfy hard real-time deadlines, a system must be predictable, and in particular the kernel must be predictable. In this paper we present and analyse a predictable kernel related to AORTA, a formal design language for hard real-time systems. The features of the kernel allow AORTA designs to be verifiably and semi-automatically implemented, and enable verified guarantees to be given about the real-time behaviour of the system.

Item Type: Article
Uncontrolled Keywords: formal methods; performance prediction; real-time
Subjects: G400 Computer Science
Department: Faculties > Engineering and Environment > Computer and Information Sciences
Depositing User: Becky Skoyles
Date Deposited: 17 Feb 2015 14:56
Last Modified: 13 Oct 2019 00:23
URI: http://nrl.northumbria.ac.uk/id/eprint/18698

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics