Outputs (3)

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.

Dependable, intelligent voting for real-time control software (1995)
Journal Article
Croll, P., Sharkey, A., Bass, J., Sharkey, N., & Fleming, P. (1995). Dependable, intelligent voting for real-time control software. Engineering Applications of Artificial Intelligence, 8(6), 615-623. https://doi.org/10.1016/0952-1976%2895%2900044-5

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 minimize the effects of undetected software design faults (bugs). Th... Read More about Dependable, intelligent voting for real-time control software.

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.