DMCA
Derivation of Safety Requirements for Simple Computer-Based Control Systems (1997)
BibTeX
@MISC{Atchison97derivationof,
author = {Brenton Atchison and Brenton Atchison and Peter Lindsay and Peter Lindsay},
title = {Derivation of Safety Requirements for Simple Computer-Based Control Systems},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
s and compressed postscript files are available via http://svrc.it.uq.edu.au. 1 Derivation of Safety Requirements for Simple Computer-Based Control Systems Brenton Atchison, Peter Lindsay Software Verification Research Centre School of Information Technology The University of Queensland Queensland 4072, Australia email: brenton, pal@it.uq.edu.au Abstract Current best practice is that the acceptability of safety-critical software-based systems should be justified by a clear and defensible argument. This paper examines the structure that such an argument might take with regard to the allocation of system safety requirements to components, in particular software component requirements. A model solution is presented for a general class of control systems and application of the approach is illustrated with a case study. Keywords: safety-critical, process-control, software 1 Introduction Software-based systems are increasingly being used in safety critical applications wh...
Keyphrases
safety requirement simple computer-based control system postscript file abstract current system safety requirement control system queensland queensland particular software component requirement defensible argument australia email model solution safety-critical software-based system introduction software-based system safety critical application case study general class information technology
