2 Search Results for "Halang, Wolfgang A."


Document
Programming Language Constructs Supporting Fault Tolerance

Authors: Christina Houben and Sebastian Houben

Published in: LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1


Abstract
In order to render software viable for highly safety-critical applications, we describe how to incorporate fault tolerance mechanisms into the real-time programming language PEARL. Therefore, we present, classify, evaluate and illustrate known fault tolerance methods for software. We link them together with the requirements of the international standard IEC 61508-3 for functional safety. We contribute PEARL-2020 programming language constructs for fault tolerance methods that need to be implemented by operating systems, and code-snippets as well as libraries for those independent from runtime systems.

Cite as

Christina Houben and Sebastian Houben. Programming Language Constructs Supporting Fault Tolerance. In LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1, pp. 01:1-01:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{houben_et_al:LITES-v003-i001-a001,
  author =	{Houben, Christina and Houben, Sebastian},
  title =	{{Programming Language Constructs Supporting Fault Tolerance}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{01:1--01:20},
  ISSN =	{2199-2002},
  year =	{2016},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a001},
  doi =		{10.4230/LITES-v003-i001-a001},
  annote =	{Keywords: Fault tolerance, Functional safety, PEARL, Embedded systems, Software engineering}
}
Document
High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)

Authors: William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

William John Cullyer, Wolfgang A. Halang, and Bernd J. Krämer. High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509). Dagstuhl Seminar Report 107, pp. 1-39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{cullyer_et_al:DagSemRep.107,
  author =	{Cullyer, William John and Halang, Wolfgang A. and Kr\"{a}mer, Bernd J.},
  title =	{{High Integrity Programmable Electronic Systems (Dagstuhl Seminar 9509)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{107},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.107},
  URN =		{urn:nbn:de:0030-drops-149955},
  doi =		{10.4230/DagSemRep.107},
}
  • Refine by Author
  • 1 Cullyer, William John
  • 1 Halang, Wolfgang A.
  • 1 Houben, Christina
  • 1 Houben, Sebastian
  • 1 Krämer, Bernd J.

  • Refine by Classification

  • Refine by Keyword
  • 1 Embedded systems
  • 1 Fault tolerance
  • 1 Functional safety
  • 1 PEARL
  • 1 Software engineering

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 1995
  • 1 2016

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail