All Outputs (1360)

An open environment for the specification, design and code generation of control algorithms (1998)
Presentation / Conference Contribution

Proposals for an open, yet integrated, design environment to ease the design of complex process control systems are presented. A hierarchical approach to the allocation of computing resources is typically used in process control systems. The lower en... Read More about An open environment for the specification, design and code generation of control algorithms.

Simulation of a component-oriented voter library for dependable control applications (1998)
Presentation / Conference Contribution

Control systems are required to meet increasingly stringent reliability and safety constraints. In many industrial applications, arbitration between redundant subsystems using voting algorithms is popular. Many voting strategies implemented in hardwa... Read More about Simulation of a component-oriented voter library for dependable control applications.

Towards an application framework for condition monitoring and fault diagnosis (1998)
Presentation / Conference Contribution

A study into urban roadworks with shuttle-lane operation (1998)
Presentation / Conference Contribution

In urban areas where roadworks are required, single lane shuttle operation is applied, especially where there is limited road space. There are operational problems relating to the site such as site geometry, visibility, length of roadworks zone, pos... Read More about A study into urban roadworks with shuttle-lane operation.

A proposed design environment for dependable embedded systems (1997)
Presentation / Conference Contribution

Proposals for an integrated design environment to ease the design of complex embedded systems are presented. Embedded systems are computer-based systems which must respond to external stimuli within time scales determined by the external environment.... Read More about A proposed design environment for dependable embedded systems.

Experimental comparison of voting algorithms in cases of disagreement (1997)
Presentation / Conference Contribution

Voting algorithms are used to mask erroneous results from redundant subsystems (variants) in fault tolerant systems. While voting algorithms are well known and widely used, the authors are not aware of any detailed investigation of voter behaviour in... Read More about Experimental comparison of voting algorithms in cases of disagreement.

Testing fault-tolerant systems using a unified error model (1997)
Presentation / Conference Contribution

This paper presents a method of designing test data based around a unified error model. The model allows error 'surfaces' to be defined for a given application, and used to define a test region(s) that give a measure of test coverage. The paper appli... Read More about Testing fault-tolerant systems using a unified error model.

A study of smoking, alcohol and social class as risk factors for stroke in Northwest of England (1996)
Presentation / Conference Contribution

The validation of formal specifications of requirements (1996)
Presentation / Conference Contribution

We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated envi... Read More about The validation of formal specifications of requirements.

Error model for computer control systems (1996)
Presentation / Conference Contribution

This paper presents an error model that is intended to allow the dependability of computer control systems, with fault tolerant mechanisms included, to be evaluated. The model allows error `surfaces' to be defined for a given application, and used to... Read More about Error model for computer control systems.

Case control study of stroke and quality of hypertension control in Northwest of England (1996)
Presentation / Conference Contribution

Prevalence, treatment, control and awareness of high blood pressure among first-ever stroke patients in Northwest England (1996)
Presentation / Conference Contribution

The development framework: Work in progress towards a real-time control system design environment (1996)
Presentation / Conference Contribution

This paper describes work in progress on two extensions to the environment of a Development Framework for the design of control system software; hybrid system design and design of dependable systems. The Development Framework automatically converts a... Read More about The development framework: Work in progress towards a real-time control system design environment.

Intelligent voting strategies for dependable real-time control systems (1995)
Presentation / Conference Contribution

An intelligent and dependable voting mechanism for use in real-time control applications is presented. Strategies proposed by current safety standards advocate N-version software to minimise the effects from undetected software design faults (bugs).... Read More about Intelligent voting strategies for dependable real-time control systems.

Dependability modelling in a prototype Development Framework (1995)
Presentation / Conference Contribution

The Development Framework provides a highly automatic translation from a specification to an implementation. The specification is in a popular, graphical control engineering notation typically representing a system with stringent reliability requirem... Read More about Dependability modelling in a prototype Development Framework.

Prototype framework of tools for the design of real-time distributed control software (1994)
Presentation / Conference Contribution

A prototype framework of software tools for the design of distributed real-time control system software is described here. The tools provide a highly transparent transformation from a specification to an implementation. The specification is in a fami... Read More about Prototype framework of tools for the design of real-time distributed control software.

Prototype framework of design tools for computer-aided control engineering (1994)
Presentation / Conference Contribution

This paper introduces a framework of tools which allow the design of distributed, potentially fault-tolerant, real-time control software. This framework takes a system specified in the control engineering domain and translates this application-orient... Read More about Prototype framework of design tools for computer-aided control engineering.

Voting Software for Fault-Tolerant Aircraft Flight Control Systems (1992)
Presentation / Conference Contribution

An intelligent and robust voting service is proposed. The novel voting service, is capable of forming a consensus based on performance of redundant applications in the value, time and reliability domains. The voter is distributed using a hot backup a... Read More about Voting Software for Fault-Tolerant Aircraft Flight Control Systems.

Passive solar space heating comparisons for seven houses in Birmingham, UK (1987)
Presentation / Conference Contribution

Variable volume, variable flow rate, radiation controlled solar heating and storage (1986)
Presentation / Conference Contribution

Substantial performance benefits are indicated by the simulation results of a solar heating and storage system using the new concept of a combined operation known as the variable volume, variable flow rate, solar radiation controlled (VV-VF-SC) syste... Read More about Variable volume, variable flow rate, radiation controlled solar heating and storage.