All Outputs (3)

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.