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...
Abstract
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 |
Downloads
Downloads per month over past year
