Skip to main content
SpringerLink
Log in
Book cover

Sicherheitsgerichtete Echtzeitsysteme pp 621–666Cite as

Sicherheitsgerichete Echtzeitprogrammierung in PEARL

  • Chapter
  • First Online:

  • 4356 Accesses

Part of the book series: VDI-Buch ((VDI-BUCH))

Zusammenfassung

Die Programmiersprache PEARL besitzt die bei Weitem ausgeprägtesten Echtzeiteigenschaften. Zunächst werden die wesentlichen Eigenschaften ihrer Versionen für Einprozessor- und für verteilte Systeme vorgestellt. Da es bisher keine universell einsetzbare textuelle Programmiersprache für sicherheitsgerichtete Echtzeitsysteme gab, PEARL sich aber in industriellen Automatisierungsanwendungen hervorragend bewährt hatte, wird für jede der vier international genormten Sicherheitsintegritätsniveaus eine sicherheitsgerichtete Version von PEARL sowie eine Erweiterung zur Formulierung sicherer Ablaufsteuerungen definiert. Schließlich wird gezeigt, dass Teile von PEARL wegen ihrer Klarheit, Eindeutigkeit und unmittelbaren Verständlichkeit bereits zu Spezifikationszwecken eingesetzt werden können.

This is a preview of subscription content, 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   89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Literatur

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

    Google Scholar 

  2. DIN 66 253: Programmiersprache PEARL; Teil 1 Basic PEARL, 1981; Teil 2 Full PEARL. Beuth-Verlag, Berlin (1982)

    Google Scholar 

  3. DIN 66 253 Teil 3: Programmiersprache PEARL – Mehrrechner-PEARL. Beuth-Verlag, Berlin (1989)

    Google Scholar 

  4. DIN 66 253-2: Programmiersprache PEARL 90. Beuth-Verlag, Berlin/Köln (1998)

    Google Scholar 

  5. DIN 66 253: Programmiersprache PEARL – SafePEARL. Beuth-Verlag, Berlin/Köln (2018)

    Google Scholar 

  6. Halang, W.A., Stoyenko, A.D.: Extending PEARL for industrial real-time applications. IEEE Softw. 10(4), 65–74 (1993)

    Article  Google Scholar 

  7. Halang, W.A., Heinke Frigeri, A., Lichtenecker, R., Steinmann, U., Wendland, K.: Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt für Arbeitsschutz und Arbeitsmedizin – Forschung – Fb 813. Verlag für neue Wissenschaft, Bremerhaven (1998)

    Google Scholar 

  8. Henn, R.: Feasible processor allocation in a hard-real-time environment. Real-Time Syst. 1(1), 77–93 (1989)

    Article  Google Scholar 

  9. Hillebrand, J.: Eine sicherheitsgerichtete Echtzeitprogrammiersprache für die Sicherheitsstufe SIL3 gemäß DIN EN 61508. In: Halang, W.A., Unger, H. (Hrsg.) Industrie 4.0 und Echtzeit – Echtzeit 2014, Reihe „Informatik aktuell“, S. 21–30. Springer, Berlin/Heidelberg (2014)

    Google Scholar 

  10. Houben, C.K.: Integration of physical units into the real-time programming language PEARL. Proceedings of the 13th IFAC/IEEE Conference on Programmable Devices and Embedded Systems, A. Milik (Ed.). IFAC-PapersOnLine 48(4), 123–128 (2015)

    Article  Google Scholar 

  11. Houben, C.K.: PEARL-coded function block diagrams – from language design to verification. Proceedings of the 2nd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control, M. Colnarič (Ed.). IFAC-PapersOnLine 48(10), 258–263 (2015)

    Article  Google Scholar 

  12. Houben, C.K.: Evaluation and adaptation of synchronisation primitives in PEARL-90. In: Unger, H., Halang, W.A. (Hrsg.) Autonomous Systems 2015. Fortschr.-Ber. VDI Reihe 10, Nr. 842, S. 358–366. VDI-Verlag, Düsseldorf (2015)

    Google Scholar 

  13. IEC 61508: Funktionale Sicherheit – Sicherheitssysteme. Teil 1: Allgemeine Anforderungen. Internationale Elektrotechnische Kommission, Genf (1995)

    Google Scholar 

  14. IEC 61131-3: Programmable Controllers, Part 3: Programming Languages. Internationale Elektrotechnische Kommission, Genf (1992)

    Google Scholar 

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

    Google Scholar 

  16. Lauber, R.: Prozeßautomatisierung, Bd. 1, 2. Aufl. Springer, Berlin/Heidelberg/New York/London/Paris/Tokio (1989)

    Book  Google Scholar 

  17. Schaible, M., Halang, W.A.: PEARL für sicherheitsgerichtete Echtzeitprogrammierung. In: Halang, W.A., Unger, H. (Hrsg.) Internet der Dinge – Echtzeit 2016, Reihe „Informatik aktuell“, S. 81–90. Springer, Berlin/Heidelberg (2016)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hagen, Deutschland

    Wolfgang A. Halang

  2. Stuttgart, Deutschland

    Rudolf M. Konakovsky

Authors
  1. Wolfgang A. Halang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf M. Konakovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

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

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Halang, W.A., Konakovsky, R.M. (2018). Sicherheitsgerichete Echtzeitprogrammierung in PEARL. In: Sicherheitsgerichtete Echtzeitsysteme. VDI-Buch. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-56369-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-56369-4_17

  • Published:

  • Publisher Name: Springer Vieweg, Berlin, Heidelberg

  • Print ISBN: 978-3-662-56368-7

  • Online ISBN: 978-3-662-56369-4

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

Publish with us

Policies and ethics

Search

Navigation