Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Software validation with CASE-TOOLS

  • Conference paper
  • First Online:
SAFECOMP ’93 (SAFECOMP 1993)

Included in the following conference series:

  • 134 Accesses

Abstract

For the software validation with CASE-tools this paper gives an overview about the requirements for the software and the different validation methods for safety critical software. The requirements and validation methods are discussed on a case study with CASE-tools. Also a critical assessment on the use of CASE-tools is given.

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

Access this chapter

Log in via an institution
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. ORE A155.2/RP3 Software for safety systems — an overview. 1985

    Google Scholar 

  2. ORE A155.2/RP9 Software design for computer based safety systems. 1987

    Google Scholar 

  3. DB Mü 8004 Allgemeine Richtlinien für signaltechnisch sichere Schaltungen und Einrichtungen der Elektronik ( General guidelines for signalling safe circuits and equipments of electronics).

    Google Scholar 

  4. Keene S. “Assuring Software Safety” Reliability and Maintability Symposium 1992 IEEE proceedings pp. 274–279 , Las Vegas.

    Google Scholar 

  5. IEC 56 (sec) 307 Software test methods 1990

    Google Scholar 

  6. Sethy A. “Methodische Frage bei der Prüfung der Softwaresicherheit.” e&i Verlag Springer New York Wien 1991/3 pp 80–82.

    Google Scholar 

  7. IEC 65 (sec) 122 Software for computer in application of industrial safety related system. 1991

    Google Scholar 

  8. IEC 65 (sec) 123 Functional safety of programmable electronic systems: generic aspects. May 1992

    Google Scholar 

  9. ORE A155.2/RP11 On the proof of safety of computer based software systems. 1987

    Google Scholar 

  10. List G. “Methodological aspects of critics during safety validation. “Safecomp’90 Gatwick Pergamon Press, Oxford, New York pp 99–103.

    Google Scholar 

  11. Sethy A. “The actual change in questions of proof of safety and availability in the railway technics.” IFAC Conference 1983/4 Baden-Baden, Preprintes VDE-Verlag, Düsseldorf pp 275–281.

    Google Scholar 

  12. Sethy A. “Connection between Reliability and Signalling-Safety in Railway Technology” Reliability and Maintability Symposium 1992 IEEE proceedings pp. 75–79, Las Vegas.

    Google Scholar 

  13. Sethy A. “Fragen zur Messung der Qualität von Datenübertragungssystemen.” Nachrichtentechnische Zeitschrift, 1962/2, VDE-Verlag, Berlin, pp 85–87.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Austrian Federal Test & Research Centre Arsenal (BVFA), Dept. System Reliability & Traffic Electronics, A-1030, Vienna, Faradaygasse 3, Austria

    Johannes Rainer Dipl.-Ing.

Authors
  1. Johannes Rainer Dipl.-Ing.
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Franco-Polish School of New Information and Communication Technology, 60-854, Poznań, Poland

    Janusz Górski

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag London Limited

About this paper

Cite this paper

Rainer, J. (1993). Software validation with CASE-TOOLS. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_25

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2061-2_25

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19838-3

  • Online ISBN: 978-1-4471-2061-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation