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
G. Kotonya , Dept. of Comput., Lancaster Univ., UK
I. Sommerville , Dept. of Comput., Lancaster Univ., UK
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.
formal specification; requirements engineering; safety analysis; system requirements; system failures; viewpoint-based
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.