Skip to main content

Von Algol 68 zu SafePEARL

  • Conference paper
  • First Online:
Echtzeit und Sicherheit

Part of the book series: Informatik aktuell ((INFORMAT))

  • 2464 Accesses

Zusammenfassung

Anlässlich des Erscheinens der neuen Norm DIN 66253 für die Echtzeitprogrammiersprache PEARL im Jahre 2018 wird die Entwicklungslinie der Sprache während der letzten 50 Jahre nachgezeichnet. Durch Berücksichtigung der im Laufe der Zeit gemachten Erfahrungen weist diese Linie eine eindeutige Richtung auf: Weg von komplexen und hin zu einfachen domänenorientierten Konstrukten, die sich durch sichere Handhabbarkeit und Eignung zur Programmierung solcher automatisierungstechnischer Anwendungen auszeichnen, die hohen Anforderungen an ihre funktionale Sicherheit genügen müssen. Dazu wird dargelegt, wie die neue Sprachversion SafePEARL der internationalen Sicherheitsnorm IEC 61508 gerecht wird. Der Entwicklungsstand der für die Lehre gedachten Sprachversion OpenPEARL wird skizziert.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 39.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.

Literaturverzeichnis

  1. K. Biedenkopf: Komplexität und Kompliziertheit. Informatik-Spektrum 17:82–86, 1994.

    Google Scholar 

  2. D. Buttle: Safety und Security im Code. ATZ elektronik 11(5):52–55, 2016.

    Article  Google Scholar 

  3. DIN 66253: Echtzeitprogrammiersprache SafePEARL. Berlin: Beuth-Verlag 2018.

    Google Scholar 

  4. A. Ghassemi: Untersuchung der Eignung der Prozeßprogrammiersprache PEARL zur Automatisierung von Folgeprozessen, Dissertation, Universität Stuttgart 1978.

    Google Scholar 

  5. R. Müller und M. Schaible: Änderungen in der Sprachdefinition in OpenPEARL in Bezug auf PEARL90 – Teil 1, EchtZeit, Mitteilungen des GI/GMA/ITGFachausschusses Echtzeitsysteme, 3:8–13, 2015.

    Google Scholar 

  6. R. Müller und M. Schaible: Konsistenzprüfungen in OpenPEARL, in Internet der Dinge – Echtzeit 2016, W.A. Halang und H. Unger (Hrsg.), S. 73–80, Reihe Informatik aktuell, Berlin-Heidelberg: Springer-Verlag 2016.

    Chapter  Google Scholar 

  7. R. Müller und M. Schaible: Änderungen in der Sprachdefinition in OpenPEARL in Bezug auf PEARL90 – Teil 2, EchtZeit, Mitteilungen des GI/GMA/ITGFachausschusses Echtzeitsysteme, 4:8–12, 2016.

    Google Scholar 

  8. R. Müller und M. Schaible: Änderungen in der Sprachdefinition in OpenPEARL in Bezug auf PEARL90 – Teil 3, EchtZeit, Mitteilungen des GI/GMA/ITGFachausschusses Echtzeitsysteme, 5:3–7, 2017.

    Google Scholar 

  9. M. Schaible und W.A. Halang: PEARL für sicherheitsgerichtete Echtzeitprogrammierung, in Internet der Dinge – Echtzeit 2016, W.A. Halang und H. Unger (Hrsg.), S. 81–90, Reihe Informatik aktuell, Berlin-Heidelberg: Springer-Verlag 2016.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wolfgang A. Halang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Halang, W.A., Schaible, M. (2018). Von Algol 68 zu SafePEARL. In: Unger, H. (eds) Echtzeit und Sicherheit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-58096-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-58096-7_1

  • Published:

  • Publisher Name: Springer Vieweg, Berlin, Heidelberg

  • Print ISBN: 978-3-662-58095-0

  • Online ISBN: 978-3-662-58096-7

  • eBook Packages: Computer Science and Engineering (German Language)

Publish with us

Policies and ethics