Dependability modelling in a prototype Development Framework

Bass, J.M.; Metge, S.; Browne, A.; Croll, P.R.; Fleming, P.J.

doi:10.1109/FTCS.1995.466990

All Outputs (2)

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.