loading...
Integrating safety analysis and requirements engineering
Clear Water Bay, HONG KONG December 02-December 05
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640183Fourth Asia-Pacific Software Engineer ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.
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.