You are in : Home » Results & submissions » Select UOA » 15 - General Engineering » View submission: University of Leicester » Outputs » Detail

Output details

15 - General Engineering

University of Leicester

Return to search Previous output Next output

Output 96 of 99 in the submission

Article title

Unifying theories of interrupts

Type

D - Journal article

DOI

10.1007/978-3-642-14521-6_8

Title of journal

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Article number

Volume number

5713 LNCS

Issue number

First page of article

122

ISSN of journal

0302-9743

Year of publication

2010

URL

Number of additional authors

Additional information

This work was funded by QinetiQ to satisfy requirements for formally verifiable techniques for validation and certification of control software in safety critical military equipment. Primary contribution is fundamental new concepts in semantics for modelling and automated analysis of failure in control system software, significantly advancing paradigms in earlier works. Concepts were directly employed in the certification of the Flight Control Computer in the Eurofighter Typhoon aircraft. This led to an EPSRC / Atomic Weapons Establishment project (£125k), integrating the techniques into Systems Engineering processes.

Contact: Colin O’Halloran (formerly QinetiQ), D-RisQ Ltd, Wyche Innovation Centre, Malvern, WR13 6PL, info@drisq.com

Interdisciplinary

Cross-referral requested

Research group

D - Embedded Systems and Communications

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract