Skip to main content

Methods and Languages for Safety Related Real Time Programming

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 1998)

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

Included in the following conference series:

Abstract

Programs employed for purposes of safety critical control must be verified rigorously, i.e., subjected to formal safety licensing, which constitutes a very difficult and hitherto not satisfactorily solved problem. The essential issues and fundamental principles of safety related programs and computer applications are elaborated, and the importance of the human element in their development process is pointed out. At any time, utmost simplicity should be strived for, and self-discipline should be exercised. To each of the four safety integrity levels as defined by IEC SC 65A is assigned, respectively, a set of static and inherently safe language constructs, as well as a typical programming language or method, whose syntax enforces observation of the prevailing restrictions and rules. This is done in accordance with simplicity and comprehensibility of the verification methods available for the selected programming paradigms to meet the requirements of the individual safety integrity levels and, thus, the trustworthiness of the corresponding results. The programming methods cause/effect tables and function block diagrams on the basis of verified libraries assigned to the two upper safety integrity levels SIL 4 and SIL 3 are the only ones so far allowing, at the present state of the art, to verify automation software, which has to meet high safety requirements, in easy and economic ways. For the lower safety integrity levels, textual languages are introduced, viz., for SIL 2 a partial language enabling formal program verification, and for SIL 1 a static language with safe constructs for asynchronous multitasking. To formulate sequential function charts, an inherently safe language is defined.

on leave from: Federal University of Rio Grande do Sul Dept. of Electrical Engg. Porto Alegre. Brazil

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Descartes, R.: Medidationes de prima philosophia, in quibus dei existentia et animae humanae a corpore distinctio demonstrantur. Paris, 1641.

    Google Scholar 

  2. DIN 66 253-2: Programmiersprache PEARL 90. Barlin-Cologne: Beuth Verlag, 1998.

    Google Scholar 

  3. Halang, W.A., Frigeri, A.H., Lichtenecker, R., Steinmann, U. and Wendland, K.: Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt fär Arbeitsschutz und Arbeitsmedizin. Bremerhaven: Verlag fär neue Wissenschaft, 1998.

    Google Scholar 

  4. Hatton, L.: Safer C: Developing for High-Integrity and Safety-Critical Systems.McGraw-Hill, 1995.

    Google Scholar 

  5. IEC 1131-3: Programmable Controllers, Part 3: Programming Languages. Geneva: International Electrotechnical Commission, 1992.

    Google Scholar 

  6. IEC SC65A(Secretariat)123: Functional Safety of Electrical/Electronic/Programmable Electronic Systems: Generic Aspects — Part 1: General Requirements. Geneva: International Electrotechnical Commission, 1992.

    Google Scholar 

  7. Joyce, J.J. and Seger, C.-J.H. (Eds.): Higher Order Logic Theorem Proving and Its Applications. Lecture Notes in Computer Science, Vol. 780. Berlin-Heidelberg-New York: Springer-Verlag, 1993.

    Google Scholar 

  8. Krebs, H. and Haspel, U.: Ein Verfahren zur Software-Verifikation. Regelungstechnische Praxis rtp 26, 73 – 78, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg Berlin Heidelberg

About this paper

Cite this paper

Halang, W.A., Frigeri, A.H. (1998). Methods and Languages for Safety Related Real Time Programming. In: Ehrenberger, W. (eds) Computer Safety, Reliability and Security. SAFECOMP 1998. Lecture Notes in Computer Science, vol 1516. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49646-7_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-49646-7_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65110-9

  • Online ISBN: 978-3-540-49646-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics