Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
RTCA/DO178b - European Organisation for Civil Aviation Electronics - Software Considerations in Airborne Systems and Equipment Certification (1992)
SAE ARP 4754 - Certification Considerations in Airborne Systems and Equipment Certification, Society of Automotive Engineers (1996)
Bishop, P., Bloomfield, R.: - A Methodology for Safety Case Development. In: Procs. Safety-Critical Systems Symposium, UK (February 1998)
Pearson, S., Riddle, S., Saeed, A.: Traceability for the Development and Assessment of Safe Avionics Systems. In: Procs. INCOSE 1998, Canada, pp. 445–152 (July 1998)
Wilson, S.P., Kelly, T.P., McDermid, J.A.: Safety Case Development: Current Practice, Future Prospects. In: Procs. 12th CSR Workshop/1st ENCRESS Conf., Belgium (1995)
Wilson, S., McDermid, J., Pygott, C., Tombs, D.: Assessing Complex Computer Based Systems Using the Goal Structure Notation. In: Procs. ECBS, Canada, pp. 498–505 (October 1996)
Wilson, S., McDermid, J., Kirkham, P., Pygott, C., Tombs, D.: Computer Based Support for Standards and Processes in Safety Critical Systems. In: Procs. Safe Comp, York, pp. 197–209 (1997)
CAP 670 - Air Traffic Services Safety Requirements, Civil Aviation Authority (1998)
Mason, P.: - Meta-modelling Approach to Traceability, Newcastle University PhD Thesis (2002)
Telelogic - DOORS Ref. Manual: v5.1 (2001)
Johnson, J.: The Latest Developments in Design Data Exchange: Towards Fully Integrated Aerospace Design Environments. In: Procs. Int’l Congress of Aeronautical Sciences, UK (2000)
Jun, H.: A Document Based Approach to Software Engineering Environments. In: Procs. 5th Int’l CASE Symposium, China, pp. 128–133 (October/November 1995)
Muller, P.-A.: Instant UML. Wrox Press Ltd. (1997)
Barnes, J.: High Integrity Ada: The Spark Approach. Addison-Wesley, Reading (1997)
Jarke, M., Gallersdorfer, R., Jeusfeld, M., Staudt, M., Eherer, S.: ConceptBase: A Deductive Object Base for Meta Data. Journal of Intelligent Info. Sys., 167–192 (March 1995)
Paynter, S.: Real-Time Network Specification Language, MBDA TR 20656 (November 2000)
Simpson, H.R.: The Mascot Method. Software Engineering Journal, 103–120 (May 1986)
Mason, P., Saeed, A., Riddle, S., Arkley, P.: Traceability: A Systems Integration Perspective, A Systems Integration Perspective. In: Procs. INCOSE 2003 (2003) (to appear)
DS 00-55: Requirements for Safety-Related Software in Defence Equipment, MoD (1996)
DS 00-56 (Issue 2): Safety Management Requirements for Defence Systems, MoD (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mason, P.A.J., Saeed, A., Riddle, S. (2003). On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. In: Anderson, S., Felici, M., Littlewood, B. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2003. Lecture Notes in Computer Science, vol 2788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39878-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-39878-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20126-7
Online ISBN: 978-3-540-39878-3
eBook Packages: Springer Book Archive