Lancaster EPrints

Integrating safety analysis and requirements engineering

Kotonya, G. and Sommerville, I. (1997) Integrating safety analysis and requirements engineering. In: APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference. IEEE Computer Society, Washington, DC, USA, pp. 259-271. ISBN 0-8186-8271-X

Full text not available from this repository.

Abstract

Some systems failures are due to defects in manufacturing and design, however that there are a significant number of system failures which result from errors, omissions and inconsistencies in the system requirements. We thus need methods to support a `safe' requirements engineering process whose objectives are to specify system requirements such that system states which compromise safety are avoided and to include, along with the requirements, a justification or safety case which explains why the specified system is indeed safe. This paper describes the extension of a viewpoint-based requirements method to incorporate safety analysis.

Item Type: Contribution in Book/Report/Proceedings
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 57160
Deposited By: ep_importer_pure
Deposited On: 01 Oct 2012 15:05
Refereed?: No
Published?: Published
Last Modified: 18 Dec 2017 02:50
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57160

Actions (login required)

View Item