An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms (2009)
Simon Poulding, Paul Emberson, Iain Bate, John Clark
Many problems in high assurance systems design are only tractable using computationally expensive search algorithms. For these algorithms to be useful, designers must be provided with guidance as to...
Tuning Protocols to Improve the Energy Efficiency of Sensornets (2008)
Jonathan Tate, Iain Bate, Simon Poulding
Energy efficiency is of critical importance in sensornets where the working life of wireless motes, and consequently the entire network, is limited by the finite energy capacity of batteries. Radio...
A contract-based approach to designing safe systems (2008)
Iain Bate, Richard Hawkins, John Mcdermid
Abstract. Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to divide...
An Approach to Designing Safety Critical Systems using the Unified Modelling Language (2008)
Richard Hawkins, Ian Toyn, Iain Bate
Abstract. In this paper an approach to using the UML for developing safety critical systems is presented. We describe how safety analysis may be performed on a UML system model and how this analysis...
Impact of Embedded Systems Evolution on RTOS Use and Design (2008)
David Andrews Iain, David Andrews, Iain Bate, Thomas Nolte, Stefan M. Petters
In this paper, we discuss how the evolution of embedded systems has impacted on the design and usage of Real-Time Operating Systems (RTOS). Specifically, we consider issues that result from the...
Dependable and ubiquitous Autocode Generation (2007)
Neil Audsley, Iain Bate, Steven Crook-dawkins
“Automatic Code Generation ” is a process of deriving programs directly from a design representation. Many commercial tools provide this capability. Whilst these tools provide greater flexibility...
Use of modern processors in safety−critical applications (2007)
British Computer Society, Iain Bate, Philippa Conmy, Tim Kelly, John Mcdermid
This paper investigates the implications of using modern superscalar processors in the safety-critical domain. Firstly, a description of current certification practice and devices is given as...
List of Potential Supervisors (2007)
Neil Audsley, Jim Austin, Iain Bate, Ian Benest, Sam Braunstein, Alan Burns, ...
This document outlines some of the present research interests of most members of the Department who are in a position to supervise the research of students entering in October 2007. The sections are...
Bate, Iain, Nightingale, Peter, Cervin, Anton
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more responsive and more...
Architectural considerations in the certification of modular systems (2002)
Modular system architectures, such as integrated modular avionics (IMA) in the aerospace sector, offer potential benefits of improved flexibility in function allocation, reduced development costs and...
Re-targetable Framework for Worst-Case Execution Time Analysis (2002)
The ability to estimate the Worst-Case Execution Time (WCET) of software is essential for all forms of timing analysis. In critical systems, there is a need to obtain safe estimates which can only be...
Architectural Considerations in the Certification of Modular Systems (2002)
The adoption of Integrated Modular Avionics (IMA) in the aerospace industry offers potential benefits of improved flexibility in function allocation, reduced development costs and improved...
Use of Modern Processors in Safety-Critical Applications (2001)
Bate, Iain, Conmy, Philippa, Kelly, Tim, McDermid, John
This paper investigates the implications of using modern superscalar processors in the safety-critical domain. Firstly, a description of current certification practice and devices is given as...
Mark Nicholson, Iain Bate, John Mcdermid
The aerospace industry has been investigating integrated modular systems (IMS) for some years. These systems offer benefits in terms of flexibility, software/hardware abstraction, and incremental...
Mark Nicholson, Iain Bate, John Mcdermid
The aerospace industry has been investigating integrated modular systems (IMS) for some years. These systems offer valuable capabilities including flexibility, software/hardware abstraction, and...