All Outputs (214)

Experimental comparison of voting algorithms in cases of disagreement (1997)
Conference Proceeding
Bass, J., Latif-Shabgahi, G., & Bennett, S. (1997). Experimental comparison of voting algorithms in cases of disagreement. . https://doi.org/10.1109/EURMIC.1997.617368

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)
Conference Proceeding
Tyrrell, A., & Bass, J. (1997). Testing fault-tolerant systems using a unified error model. . https://doi.org/10.1109/EMSCNT.1997.658455

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.

The validation of formal specifications of requirements (1996)
Conference Proceeding
McCluskey, T., Porteous, J., Bryant, C., & West, M. (1996). The validation of formal specifications of requirements. . https://doi.org/10.14236/ewic/FA1996.14

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)
Conference Proceeding
Bass, J., Fleming, P., & Tyrrell, A. (1996). Error model for computer control systems. . https://doi.org/10.1049/cp%3A19960578

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.

The development framework: Work in progress towards a real-time control system design environment (1996)
Conference Proceeding
Hajji, M., Bass, J., Browne, A., Schroder, P., Croll, P., & Fleming, P. (1996). The development framework: Work in progress towards a real-time control system design environment. . https://doi.org/10.1049/ic%3A19960422

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)
Conference Proceeding
R. CROLL, P., M. BASS, J., & J. FLEMING, P. (1995). Intelligent voting strategies for dependable real-time control systems. . https://doi.org/10.1016/b978-0-08-042374-6.50011-0

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)
Conference Proceeding
Bass, J., Metge, S., Browne, A., Croll, P., & Fleming, P. (1995). Dependability modelling in a prototype Development Framework. . https://doi.org/10.1109/FTCS.1995.466990

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)
Conference Proceeding
Bass, J., Browne, A., Croll, P., & Fleming, P. (1994). Prototype framework of tools for the design of real-time distributed control software. . https://doi.org/10.1049/cp%3A19940258

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)
Conference Proceeding
Browne, A., Bass, J., Croll, P., & Fleming, P. (1994). Prototype framework of design tools for computer-aided control engineering. . https://doi.org/10.1109/CACSD.1994.288904

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)
Conference Proceeding
M. Bass, J., & J. Fleming, P. (1992). Voting Software for Fault-Tolerant Aircraft Flight Control Systems. . https://doi.org/10.1016/b978-0-08-042050-9.50018-x

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.

The lifecycle of a digital historical document: structure and content
Conference Proceeding
Antonacopoulos, A., Wiszniewski, B., Krawczyk, H., & Karatzas, D. The lifecycle of a digital historical document: structure and content.

This paper describes the lifecycle of a digital historical document, from template-based structure definition through to content extraction from the scanned pages and its final reconstitution as an electronic document (combining content and semantic... Read More about The lifecycle of a digital historical document: structure and content.

The 2nd Clarity Enhancement Challenge for Hearing Aid Speech Intelligibility Enhancement: Overview and Outcomes
Conference Proceeding
Akeroyd, M. A., Bailey, W., Barker, J., Cox, T. J., Culling, J. F., Graetzer, S., …Tu, Z. (2023). The 2nd Clarity Enhancement Challenge for Hearing Aid Speech Intelligibility Enhancement: Overview and Outcomes. . https://doi.org/10.1109/icassp49357.2023.10094918

This paper reports on the design and outcomes of the 2nd Clarity Enhancement Challenge (CEC2), a challenge for stimulating novel approaches to hearing-aid speech intelligibility enhancement. The challenge was for a listener attending to a target spea... Read More about The 2nd Clarity Enhancement Challenge for Hearing Aid Speech Intelligibility Enhancement: Overview and Outcomes.

Newsroom 3.1: An editorial system for newspapers to thrive in the digital age?
Conference Proceeding
Broster, P. (2015). Newsroom 3.1: An editorial system for newspapers to thrive in the digital age?.

This paper provides a case study examining the introduction and development of a newsroom model (Newsroom 3.1), established at the Manchester Evening News in September 2014. It aims to establish the key differences between the previous model, aligne... Read More about Newsroom 3.1: An editorial system for newspapers to thrive in the digital age?.

Housebuilding procurement approaches: A systematic literature review
Conference Proceeding
Robertson, A. Housebuilding procurement approaches: A systematic literature review. In S. Kelly (Ed.),

Current research within housebuilding procurement is based on project management approaches and theories from the infrastructure construction sector. This research uses a systematic literature review to synthesise research focused on housebuilding pr... Read More about Housebuilding procurement approaches: A systematic literature review.