Browse by author
Lookup NU author(s): Paul Mason, Dr Amer Saeed, Dr Stephen RiddleORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Traceability is the common term for mechanisms to record and navigate relationships between development and assessment artifacts. While often seen as a way of reducing systematic development errors and despite being a requirement of industry standards, lack of tool integration can make it difficult to achieve traceability in practice. This paper proposes a framework enabling traceability links to be established across tool 'boundaries'. The framework is realised by exporting data from CASE tools - concentrating here on examples used to express requirements and program code - to meta-models represented in a common format; traceability links (represented in the same format) can then be established between elements of these models. In turn, safety cases - structured using an appropriate graphical technique and with computer-based support - can make direct appeal to sets of these links as evidence of meeting traceability goals.
Author(s): Mason PAJ, Saeed A, Riddle S
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: 303-316
ISSN: 0302-9743 (print) 1611-3349 (online)
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-540-39878-3_24
DOI: 10.1007/978-3-540-39878-3_24
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540201267