Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97) Integrating safety analysis and requirements engineering Clear Water Bay, HONG KONG December 02-December 05 ISBN: 0-8186-8271-X
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.
Index Terms:
formal specification; requirements engineering; safety analysis; system requirements; system failures; viewpoint-based
Citation:
G. Kotonya, I. Sommerville, "Integrating safety analysis and requirements engineering," apsec, pp.259, Fourth Asia-Pacific Software Engineering and International Computer Science Conference (APSEC'97 / ICSC'97), 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||