Skip to main content

On the Role of Traceability for Standards Compliance: Tracking Requirements to Code

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2788))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. RTCA/DO178b - European Organisation for Civil Aviation Electronics - Software Considerations in Airborne Systems and Equipment Certification (1992)

    Google Scholar 

  2. SAE ARP 4754 - Certification Considerations in Airborne Systems and Equipment Certification, Society of Automotive Engineers (1996)

    Google Scholar 

  3. Bishop, P., Bloomfield, R.: - A Methodology for Safety Case Development. In: Procs. Safety-Critical Systems Symposium, UK (February 1998)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. CAP 670 - Air Traffic Services Safety Requirements, Civil Aviation Authority (1998)

    Google Scholar 

  9. Mason, P.: - Meta-modelling Approach to Traceability, Newcastle University PhD Thesis (2002)

    Google Scholar 

  10. Telelogic - DOORS Ref. Manual: v5.1 (2001)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Jun, H.: A Document Based Approach to Software Engineering Environments. In: Procs. 5th Int’l CASE Symposium, China, pp. 128–133 (October/November 1995)

    Google Scholar 

  13. Muller, P.-A.: Instant UML. Wrox Press Ltd. (1997)

    Google Scholar 

  14. Barnes, J.: High Integrity Ada: The Spark Approach. Addison-Wesley, Reading (1997)

    MATH  Google Scholar 

  15. 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)

    Google Scholar 

  16. Paynter, S.: Real-Time Network Specification Language, MBDA TR 20656 (November 2000)

    Google Scholar 

  17. Simpson, H.R.: The Mascot Method. Software Engineering Journal, 103–120 (May 1986)

    Google Scholar 

  18. Mason, P., Saeed, A., Riddle, S., Arkley, P.: Traceability: A Systems Integration Perspective, A Systems Integration Perspective. In: Procs. INCOSE 2003 (2003) (to appear)

    Google Scholar 

  19. DS 00-55: Requirements for Safety-Related Software in Defence Equipment, MoD (1996)

    Google Scholar 

  20. DS 00-56 (Issue 2): Safety Management Requirements for Defence Systems, MoD (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics