Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper investigates the nature of hazard analysis reuse over two case studies. Initially reuse in an existing safety argument is described. Argument structures within the hazard analysis are identified and the amount of verbatim reuse examined. A second study is concerned with how reuse changes as a result of tool support. In contrast to the first case, the defined arguments are more diverse - reuse has occurred but is less verbatim in nature. Tool supported argument adaptation has aided the customisation of the reused arguments.
Author(s): Smith SP, Harrison MD
Editor(s): Anderson, S., Felici, M., Littlewood, B.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Computer Safety, Reliability and Security: 22nd International Conference (SAFECOMP)
Year of Conference: 2003
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science