All Outputs (200)

History-based weighted average voter: A novel software voting algorithm for fault-tolerant computer systems (2001)
Conference Proceeding
Latif-Shabgahi, G., Bass, J., & Bennett, S. (2001). History-based weighted average voter: A novel software voting algorithm for fault-tolerant computer systems. . https://doi.org/10.1109/EMPDP.2001.905068

Voting algorithms have been widely used in the realisation of fault-tolerant systems. We propose a new software voting algorithm which uses the history record of redundant modules to compute the final output. Two versions for the novel algorithm are... Read More about History-based weighted average voter: A novel software voting algorithm for fault-tolerant computer systems.

Process control systems integration using object oriented technology (2001)
Conference Proceeding
Ramos-Hernandez, D., Fleming, P., Bennett, S., Hope, S., Bass, J., & Baxter, M. (2001). Process control systems integration using object oriented technology. . https://doi.org/10.1109/TOOLS.2001.911763

The development of a control software design environment, namely the Integrated Design Notation (IDN), is presented. IDN supports the design, development and implementation of decentralised distributed control systems. A cable extrusion process is ta... Read More about Process control systems integration using object oriented technology.

Integrated information management and exchange for water treatment projects (2000)
Conference Proceeding
Sun, M., Aouad, G., Bakis, N., Birchall, S., & Swan, W. (2000). Integrated information management and exchange for water treatment projects. . https://doi.org/10.1061/40513%28279%2917

Integration is the key to the performance improvement for the fragmented construction industry. Research in recent years has resulted in some rapid maturing integration technologies, such as data modelling, integrated project database, data managemen... Read More about Integrated information management and exchange for water treatment projects.

Learning Chomsky-like grammars for biological sequence families (2000)
Conference Proceeding
Muggleton, S., Bryant, C., & Srinivasan, A. (2000). Learning Chomsky-like grammars for biological sequence families. In P. Langley (Ed.), Proceedings of the 17th International Conference on Machine Learning (631-638)

This paper presents a new method of measuring performance when positives are rare and investigates whether Chomsky-like grammar representations are useful for learning accurate comprehensible predictors of members of biological sequence families. The... Read More about Learning Chomsky-like grammars for biological sequence families.

Measuring performance when positives are rare: relative advantage versus predictive accuracy - a biological case-study (2000)
Conference Proceeding
Muggleton, S., Bryant, C., & Srinivasan, A. (2000). Measuring performance when positives are rare: relative advantage versus predictive accuracy - a biological case-study. In R. de Mántaras, & E. Plaza (Eds.), Machine learning: ECML 2000: 11th European conference on machine learning, Barcelona, Catalonia, Spain, May 31-June 2 2000 (300-312)

This paper presents a new method of measuring performance when positives are rare and investigates whether Chomsky-like grammar representations are useful for learning accurate comprehensible predictors of members of biological sequence families. The... Read More about Measuring performance when positives are rare: relative advantage versus predictive accuracy - a biological case-study.

An open environment for the specification, design and code generation of control algorithms (1998)
Conference Proceeding
Bass, J. (1998). An open environment for the specification, design and code generation of control algorithms. . https://doi.org/10.1049/ic%3A19980416

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)
Conference Proceeding
Latif-Shabgahi, G., Bass, J., & Bennett, S. (1998). Simulation of a component-oriented voter library for dependable control applications. . https://doi.org/10.1109/EURMIC.1998.711829

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.

A proposed design environment for dependable embedded systems (1997)
Conference Proceeding
Bass, J. (1997). A proposed design environment for dependable embedded systems. . https://doi.org/10.1049/ic%3A19971139

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)
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.