Peter R. CROLL
Intelligent voting strategies for dependable real-time control systems
R. CROLL, Peter; M. BASS, Julian; J. FLEMING, Peter
Abstract
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). This requires diversity in design but presents a problem that truly diverse code produces diverse results, that is, differences in output values, timeliness and reliability. To reach a consensus requires an intelligent voter, especially when non stop operation is demanded, e.g. aerospace applications. This paper, therefore, firstly considers the applicable safety standards and the requirements for an intelligent voter service. The use of replicated voters to improve reliability is examined and a mechanism to ensure non stop operation is presented. The formal mathematical analysis used to verify the crucial behavioural properties of the voting service design is detailed. Finally the creation of N-version redundant voters are considered using Neural nets and Genetic Algorithms.
Citation
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
Conference Name | IFAC Workshop |
---|---|
Conference Location | Hong Kong |
Start Date | Dec 12, 1994 |
End Date | Dec 14, 1994 |
Publication Date | 1995 |
Deposit Date | Dec 18, 2023 |
Publisher | Elsevier |
Pages | 37-42 |
DOI | https://doi.org/10.1016/b978-0-08-042374-6.50011-0 |
You might also like
Agile Software Engineering Skills
(2023)
Book
A comparison of deep learning techniques for corrosion detection
(2022)
Conference Proceeding
Multi-cloud load distribution for three-tier applications
(2022)
Journal Article
Downloadable Citations
About USIR
Administrator e-mail: library-research@salford.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search