Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 1998: Reliable Software Technologies — Ada-Europe pp 251–262Cite as

Looking at code with your safety goggles on

  • Conference paper
  • First Online:

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

Abstract

This paper presents a process for the refinement of safety-critical source code into a more tractable representation. For large software-intensive information systems, the safety engineering view of the system reveals a “long thin slice” of hazard-related software involving a number of different software components. The hazard-related software is documented in the system “safety verification case” which provides a rigorous argument for the safety of the source code. The refinement process creates a representation of the source code which isolates the relevant source code details. A hypothetical chemical factory information system is examined to illustrate aspects of this process and its significance.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. John Barnes, “High Integrity Ada The SPARK Examiner Approach”, Addison Wesley Longman Ltd, 1997.

    Google Scholar 

  2. Gregory T. Daich, Gordon Price, Bryce Raglund, Mark Dawood, “Software Test Technologies Report”, Test and Reengineering Tool Evaluation Project, Software Technology Support Center, August 1994.

    Google Scholar 

  3. Bruce Elliott and Jim Ronback, “A System Engineering Process For Software-Intensive Real-Time Information Systems, in Proceedings of the 14th International System Safety Conference, Albuquerque, New Mexico, August 1996.

    Google Scholar 

  4. Tommy Hoffner, “Evaluation and comparison of program slicing tools. Technical Report”, LiTH-IDA-R-95-01, Department of Computer and Information Science, Linkping University, Sweden, 1995.

    Google Scholar 

  5. Laura M. Ippolito and Dolores Wallace, “A Study on Hazard Analysis in High Integrity Software Standards and Guidelines”, NISTIR 5589, National Institute of Standards and Technology, January 1995.

    Google Scholar 

  6. International Electrotechnical Commission, Draft International Standard IEC 1508: Functional Safety: Safety Related Systems, Geneva, 1995.

    Google Scholar 

  7. Philippe B. Krutchen, “The 4+1 View Model of Architecure”, IEEE Software, November 1995.

    Google Scholar 

  8. Danny B. Lange and Yuichi Nakamura, “Object-Oriented Program Tracing and Visualization”, IEEE Computer, pp 63–70, May 1997.

    Google Scholar 

  9. Nancy G. Leveson, “Safeware: System Safety and Computers”, Addison-Wesley, 1995.

    Google Scholar 

  10. Nancy G. Leveson, Steven S. Cha, and Timothy J. Shimall, “Safety Verification of Ada Programs using software fault trees”, IEEE Software, 8(7), pp 48–59, July 1991.

    Article  Google Scholar 

  11. “Slicer Tools List”, Software Technology Support Center, October 1997.

    Google Scholar 

  12. Christopher J. Thompson and Vincent Celier. “DVM: An Object-Oriented Framework for Building Large Distributed Ada Systems”, Proceedings of the TRI-Ada '95 Conference, ACM, Anaheim, November 6–10, 1995.

    Google Scholar 

  13. Jeanette M. Wing, “A Specifier's Introduction to Formal Methods”, IEEE Computer, 23(9), pp. 8–22, September 1990.

    Google Scholar 

  14. Ken Wong, M.Sc. Thesis, Department of Computer Science, University of British Columbia, 1997.

    Google Scholar 

  15. http://www.cs.ubc.ca/formalWARE/

    Google Scholar 

  16. Peter G. Bishop and Robin E. Bloomfield, “A Methodology for Safety Case Development”, in Safety-critical Systems Symposium, Birmingham, UK, February 1998.

    Google Scholar 

  17. P. Fenelon, J.A. McDermid, et al., “Towards Integrated Safety Analysis and Design”, ACM Computing Reviews, 2(1), p. 21–32, 1994.

    Google Scholar 

  18. Robyn R. Lutz and Robert M. Woodhouse, “Experience Report: Contributions of SFMEA to Requirements Analysis”, in Proceedings of ICRE'96,1996.

    Google Scholar 

  19. Francesmary Modugno, Nancy G. Leveson, Jon D. Reese, Kurt Partridge, and Sean D. Sandys, “Integrated Safety Analysis of Requirements Specifications”, in Proceedings of the 3rd International Symposium on Requirements Engineering, Annapolis, Maryland, January 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of British Columbia, V6T 1Z4, Vancouver, BC, Canada

    Ken Wong

Authors
  1. Ken Wong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lars Asplund

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wong, K. (1998). Looking at code with your safety goggles on. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055010

Download citation

  • DOI: https://doi.org/10.1007/BFb0055010

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64536-8

  • Online ISBN: 978-3-540-69802-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation