Abstract
[Context and motivation] Safety critical software systems pervade almost every facet of our lives. We rely on them for safe air and automative travel, healthcare diagnosis and treatment, power generation and distribution, factory robotics, and advanced assistance systems for special-needs consumers. [Question/Problem] Delivering demonstrably safe systems is difficult, so certification and regulatory agencies routinely require full life-cycle traceability to assist in evaluating them. In practice, however, the traceability links provided by software producers are often incomplete, inaccurate, and ineffective for demonstrating software safety. Also, there has been insufficient integration of formal method artifacts into such traceability. [Principal ideas/results] To address these weaknesses we propose a family of reusable traceability queries that serve as a blueprint for traceability in safety critical systems. In particular we present queries that consider formal artifacts, designed to help demonstrate that: 1) identified hazards are addressed in the safety-related requirements, and 2) the safety-related requirements are realized in the implemented system. We model these traceability queries using the Visual Trace Modeling Language, which has been shown to be more intuitive than the defacto SQL standard. [Contribution] Practitioners building safety critical systems can use these trace queries to make their traceability efforts more complete, accurate and effective. This, in turn, can assist in building safer software systems and in demonstrating their adequate handling of hazards.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Jackson, D., Thomas, M., Millet, L.I.: Software for Dependable Systems: Sufficient Evidence? National Research Council (2007)
Dömges, R., Pohl, K.: Adapting Tracability Environments to Project-Specific Needs. Communications of the ACM 41(12), 54–62 (1998) ISSN 0001-0782
Ellenbogen, K.A., Wood, M.A.: Cardiac Pacing and ICDs. Blackwell Publishing (2005)
Federal Aviation Authority (FAA). DO-178B: Software Considerations in Airborne Systems and Equipment Certification, faa’s advisory circular ac20-115b edition
Food and Drug Administration. Guidance for the Content of Premarket Submissions for Software Contained in Medical Devices (2005)
Gotel, O., Finkelstein, C.: An analysis of the requirements traceability problem. In: Proceedings of the First International Conference on Requirements Engineering, pp. 94–101 (April 1994)
Heimdahl, M.P.E.: Safety and software intensive systems: Challenges old and new. In: FOSE, pp. 137–152 (2007)
Hill, J., Tilley, S.: Creating safety requirements traceability for assuring and recertifying legacy safety-critical systems. In: 18th IEEE International Requirements Engineering Conference (RE), September 27-October 1, pp. 297–302 (2010)
Joint Software System Safety Committee. Software System Safety Handbook Technical and Manegerial Team Approach, edition (1999)
Katta, V., Stalhane, T.: A conceptual model of traceability for safety systems. In: CSDM - Poster Presentation (2010)
Kelly, T.P., McDermid, J.A.: A Systematic Approach to Safety Case Maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 13–26. Springer, Heidelberg (1999)
Leveson, N.G.: Safeware, System Safety and Computers. Addison Wesley (1995)
Littlewood, B., Strigini, L.: Validation of ultrahigh dependability for software-based systems. Commun. ACM 36(11), 69–80 (1993)
Liu, J., Basu, S., Lutz, R.: Generating variation point obligations for compositional model checking of software product lines. Journal of Automated Software Engineering 18(1), 39–76 (2011)
Liu, J., Dehlinger, J., Sun, H., Lutz, R.R.: State-based modeling to support the evolution and maintenance of safety-critical software product lines. In: ECBS, pp. 596–608 (2007)
Lutz, R.R.: Software engineering for safety: a roadmap. In: ICSE - Future of SE Track, pp. 213–226 (2000)
Lutz, R.R., Mikulski, I.C.: Requirements discovery during the testing of safety-critical software. In: ICSE, pp. 578–585 (2003)
Mäder, P., Cleland-Huang, J.: A Visual Traceability Modeling Language. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 226–240. Springer, Heidelberg (2010)
Mäder, P., Gotel, O., Philippow, I.: Getting Back to Basics: Promoting the Use of a Traceability Information Model in Practice. In: 5th Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009). In Conjunction with ICSE 2009, Vancouver, Canada (May 2009)
Peraldi-Frati, M.-A., Albinet, A.: Requirement traceability in safety critical systems. In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010, pp. 11–14. ACM, New York (2010)
Ramesh, B., Jarke, M.: Toward reference models for requirements traceability. IEEE Trans. Softw. Eng. 27, 58–93 (2001)
Sánchez, P., Alonso, D., Rosique, F., Álvarez, B., Pastor, J.A.: Introducing safety requirements traceability support in model-driven development of robotic applications. IEEE Trans. Computers 60(8), 1059–1071 (2011)
Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)
Sullivan, K.J., Dugan, J.B., Coppit, D.: The galileo fault tree analysis tool. In: FTCS, pp. 232–235 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cleland-Huang, J., Heimdahl, M., Huffman Hayes, J., Lutz, R., Maeder, P. (2012). Trace Queries for Safety Requirements in High Assurance Systems. In: Regnell, B., Damian, D. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2012. Lecture Notes in Computer Science, vol 7195. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28714-5_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-28714-5_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28713-8
Online ISBN: 978-3-642-28714-5
eBook Packages: Computer ScienceComputer Science (R0)