The Community for Technology Leaders
Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference (1997)
Clear Water Bay, HONG KONG
Dec. 2, 1997 to Dec. 5, 1997
ISBN: 0-8186-8271-X
pp: 259
G. Kotonya , Dept. of Comput., Lancaster Univ., UK
I. Sommerville , Dept. of Comput., Lancaster Univ., UK
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.
INDEX TERMS
formal specification; requirements engineering; safety analysis; system requirements; system failures; viewpoint-based
CITATION

I. Sommerville and G. Kotonya, "Integrating safety analysis and requirements engineering," Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference(APSEC), Clear Water Bay, HONG KONG, 1997, pp. 259.
doi:10.1109/APSEC.1997.640183
95 ms
(Ver 3.3 (11022016))