Skip to main content
SpringerLink
Log in

An PEARL orientiertes Echtzeit-PES für sicherheitsgerichtete Anwendungen

  • Conference paper
Eingebettete Systeme

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

  • 276 Accesses

Zusammenfassung

Ein programmierbares elektronisches System (PES) wird präsentiert, welches in besonderem Maße für sicherheitskritische Anwendungen geeignet ist. Zu den wesentlichen Merkmalen gehören Ablaufsteuerung ohne Verwendung von Unterbrechungssignalen sowie die Task-Einplanung in direktem Bezug zur gesetzlichen Zeit (UTC). Sowohl die Hardware-Struktur als auch die Arbeitsweise des PES zeichnen sich durch besondere Einfachheit aus, woraus ein hohes Maß an Verlässlichkeit und Sicherheit folgt, die Verifikation erleichtert wird und die Kosten für eine Sicherheitszertifizierung reduziert werden.

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.95
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. GI Fachgruppe 4.4.2. PEARL90 Language Report. (pmRealtime programming, PEARL), Bonn, 1998.

    Google Scholar 

  2. R. Henn. Deterministische Modelle für die Prozessorzuteilung in einer harten Realzeit-Umgebung. Dissertation, Technische Universität München, 1975.

    Google Scholar 

  3. R. Langmann. Interbus: Technologie zur Automation. Carl Hanser Verlag, München, 1999.

    Google Scholar 

  4. T.J. Teixeira. Static priority interrupt seheduling. In 7th Texas Conference on Computing Systems, Conferenee Proeeedings, Seiten 5.13-5.18, November 1978.

    Google Scholar 

  5. W. A. Halang und A. D. Stoyenko. Constructing Predictable Real Time Systems. Kluwer Academic Publishers, Boston, 1991.

    Book  MATH  Google Scholar 

  6. G. Hamuda und G. Tsai. Formal specification of a real-time operating systems’s component. In Real-Time Programming 2003, WRTP Conferenee Proceedings. Elsevier Science Ltd., 2003.

    Google Scholar 

  7. P.G. Sorenson und V.C. Hamacher. A real-time system design methodology. INFOR, 13(1):1–18, 1975.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Elektrotechnik und Informationstechnik, Fern Universität, 58084, Hagen, Deutschland

    Martin Skambraks

Authors
  1. Martin Skambraks
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Regionales Rechenzentrum, der Universität Erlangen-Nürnberg, Martensstraße 1, 91058, Erlangen, Deutschland

    Peter Holleczek

  2. Automatisierungstechnik/Prozessinformatik, Bergische Universität Wuppertal, Rainer-Gruenter-Straße 21, Geb. FC, 42119, Wuppertal, Deutschland

    Birgit Vogel-Heuser

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Skambraks, M. (2004). An PEARL orientiertes Echtzeit-PES für sicherheitsgerichtete Anwendungen. In: Holleczek, P., Vogel-Heuser, B. (eds) Eingebettete Systeme. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18594-6_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18594-6_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23424-1

  • Online ISBN: 978-3-642-18594-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation