Toggle Main Menu Toggle Search

ePrints

Reuse in hazard analysis: Idenfication and support

Lookup NU author(s): Professor Michael Harrison

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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

Pages: 382-395

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/978-3-540-39878-3_30

DOI: 10.1007/978-3-540-39878-3_30

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540201267


Actions

Link to this publication


Share