Advertisement

SAFECOMP ’93 pp 240-249 | Cite as

Software validation with CASE-TOOLS

  • Johannes Rainer
Conference paper

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.

Keywords

Validation Method Structure Diagram Software Validation Data Flow Analysis Compliance Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ORE A155.2/RP3 Software for safety systems — an overview. 1985Google Scholar
  2. 2.
    ORE A155.2/RP9 Software design for computer based safety systems. 1987Google Scholar
  3. 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. 4.
    Keene S. “Assuring Software Safety” Reliability and Maintability Symposium 1992 IEEE proceedings pp. 274–279 , Las Vegas.Google Scholar
  5. 5.
    IEC 56 (sec) 307 Software test methods 1990Google Scholar
  6. 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. 7.
    IEC 65 (sec) 122 Software for computer in application of industrial safety related system. 1991Google Scholar
  8. 8.
    IEC 65 (sec) 123 Functional safety of programmable electronic systems: generic aspects. May 1992Google Scholar
  9. 9.
    ORE A155.2/RP11 On the proof of safety of computer based software systems. 1987Google Scholar
  10. 10.
    List G. “Methodological aspects of critics during safety validation. “Safecomp’90 Gatwick Pergamon Press, Oxford, New York pp 99–103.Google Scholar
  11. 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. 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. 13.
    Sethy A. “Fragen zur Messung der Qualität von Datenübertragungssystemen.” Nachrichtentechnische Zeitschrift, 1962/2, VDE-Verlag, Berlin, pp 85–87.Google Scholar

Copyright information

© Springer-Verlag London Limited 1993

Authors and Affiliations

  • Johannes Rainer
    • 1
  1. 1.Austrian Federal Test & Research Centre Arsenal (BVFA)Dept. System Reliability & Traffic ElectronicsViennaAustria

Personalised recommendations