DROPS

Volume

OASIcs, Volume 18

Bringing Theory to Practice: Predictability and Performance in Embedded Systems

PPES 2011, March 18, 2011, Grenoble, France

Editors: Philipp Lucas and Reinhard Wilhelm

Volume

OASIcs, Volume 1

5th International Workshop on Worst-Case Execution Time Analysis (WCET'05)

WCET 2005, July 5, 2005, Palma de Mallorca, Spain

Editors: Reinhard Wilhelm

Volume

OASIcs, Volume 3

Workshop on Trustworthy Software

TrustworthySW 2006, May 18-19, 2006, Saarbruecken, Germany

Editors: Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper

Document

Invited Paper

DOI: 10.4230/OASIcs.WCET.2018.1

Mixed Feelings About Mixed Criticality (Invited Paper)

Authors: Reinhard Wilhelm

Published in: OASIcs, Volume 63, 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)

Abstract

I point to some challenges for WCET analysis offered in the transition to integrated mixed-criticality systems (MCSs) and to multi-core platforms, claim that proposed certification standards are inadequate, show that the MCS model heavily used by the scheduling community is fraught, and clarify why the traditional abstract interface between WCET analysis and schedulability analysis is obsolete. A central point is the insistence on sound approaches. I give a detailed account of how the most rigid certification procedures, those of the avionics domain, are satisfied, to defend the validity of my claims.

Cite as

Reinhard Wilhelm. Mixed Feelings About Mixed Criticality (Invited Paper). In 18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018). Open Access Series in Informatics (OASIcs), Volume 63, pp. 1:1-1:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@InProceedings{wilhelm:OASIcs.WCET.2018.1,
  author =	{Wilhelm, Reinhard},
  title =	{{Mixed Feelings About Mixed Criticality}},
  booktitle =	{18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)},
  pages =	{1:1--1:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-073-6},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{63},
  editor =	{Brandner, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2018.1},
  URN =		{urn:nbn:de:0030-drops-97473},
  doi =		{10.4230/OASIcs.WCET.2018.1},
  annote =	{Keywords: WCET analysis, mixed criticality systems, multi-core platforms, scheduling, schedulability}
}

Document

DOI: 10.4230/DagRep.7.7.72

Resource Bound Analysis (Dagstuhl Seminar 17291)

Authors: Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger

Published in: Dagstuhl Reports, Volume 7, Issue 7 (2018)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 17291 "Resource Bound Analysis". Resource-bound analysis is studied in formal methods and programming languages at different levels of abstraction. The goal of the Dagstuhl seminar was to bring together leading researchers with different backgrounds in resource-bound analysis to address challenging open problems and to facilitate communication across research areas.

Cite as

Marco Gaboardi, Jan Hoffman, Reinhard Wilhelm, and Florian Zuleger. Resource Bound Analysis (Dagstuhl Seminar 17291). In Dagstuhl Reports, Volume 7, Issue 7, pp. 72-87, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@Article{gaboardi_et_al:DagRep.7.7.72,
  author =	{Gaboardi, Marco and Hoffman, Jan and Wilhelm, Reinhard and Zuleger, Florian},
  title =	{{Resource Bound Analysis (Dagstuhl Seminar 17291)}},
  pages =	{72--87},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{7},
  editor =	{Gaboardi, Marco and Hoffman, Jan and Wilhelm, Reinhard and Zuleger, Florian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.7.7.72},
  URN =		{urn:nbn:de:0030-drops-84241},
  doi =		{10.4230/DagRep.7.7.72},
  annote =	{Keywords: quantitative analysis, resource-bound analysis, WCET}
}

Document

DOI: 10.4230/LITES-v003-i001-a005

A Survey on Static Cache Analysis for Real-Time Systems

Authors: Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi

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

Abstract

Real-time systems are reactive computer systems that must produce their reaction to a stimulus within given time bounds. A vital verification requirement is to estimate the Worst-Case Execution Time (WCET) of programs. These estimates are then used to predict the timing behavior of the overall system. The execution time of a program heavily depends on the underlying hardware, among which cache has the biggest influence. Analyzing cache behavior is very challenging due to the versatile cache features and complex execution environment. This article provides a survey on static cache analysis for real-time systems. We first present the challenges and static analysis techniques for independent programs with respect to different cache features. Then, the discussion is extended to cache analysis in complex execution environment, followed by a survey of existing tools based on static techniques for cache analysis. An outlook for future research is provided at last.

Cite as

Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, and Wang Yi. A Survey on Static Cache Analysis for Real-Time Systems. In LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1, pp. 05:1-05:48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{lv_et_al:LITES-v003-i001-a005,
  author =	{Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang},
  title =	{{A Survey on Static Cache Analysis for Real-Time Systems}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{05:1--05:48},
  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-a005},
  doi =		{10.4230/LITES-v003-i001-a005},
  annote =	{Keywords: Hard real-time, Cache analysis, Worst-case execution time}
}

Document

DOI: 10.4230/DagNews.2011

Dagstuhl News January - December 2011

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.

Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2011,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2011}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2011},
  URN =		{urn:nbn:de:0030-drops-36507},
  doi =		{10.4230/DagNews.2011},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}

Document

Complete Volume

DOI: 10.4230/OASIcs.TrustworthySW.2006

OASIcs, Volume 3, Trustworthy SW'06, Complete Volume

Authors: Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper

Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)

Abstract

OASIcs, Volume 3, Trustworthy SW'06, Complete Volume

Cite as

Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Proceedings{autexier_et_al:OASIcs.TrustworthySW.2006,
  title =	{{OASIcs, Volume 3, Trustworthy SW'06, Complete Volume}},
  booktitle =	{Workshop on Trustworthy Software},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{3},
  editor =	{Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006},
  URN =		{urn:nbn:de:0030-drops-35659},
  doi =		{10.4230/OASIcs.TrustworthySW.2006},
  annote =	{Keywords: Software/Program Verification}
}

Document

Complete Volume

DOI: 10.4230/OASIcs.PPES.2011

OASIcs, Volume 18, PPES'11, Complete Volume

Authors: Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, and Reinhard Wilhelm

Published in: OASIcs, Volume 18, Bringing Theory to Practice: Predictability and Performance in Embedded Systems (2011)

Abstract

OASIcs, Volume 18, PPES'11, Complete Volume

Cite as

Bringing Theory to Practice: Predictability and Performance in Embedded Systems. Open Access Series in Informatics (OASIcs), Volume 18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Proceedings{lucas_et_al:OASIcs.PPES.2011,
  title =	{{OASIcs, Volume 18, PPES'11, Complete Volume}},
  booktitle =	{Bringing Theory to Practice: Predictability and Performance in Embedded Systems},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-28-6},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{18},
  editor =	{Lucas, Philipp and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PPES.2011},
  URN =		{urn:nbn:de:0030-drops-35804},
  doi =		{10.4230/OASIcs.PPES.2011},
  annote =	{Keywords: Special-purpose and application-based systems\rbrack: Real-time and embedded systems}
}

Document

DOI: 10.4230/DagNews.2010

Dagstuhl News January - December 2010

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.

Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2010,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2010}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2010},
  URN =		{urn:nbn:de:0030-drops-34610},
  doi =		{10.4230/DagNews.2010},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}

Document

DOI: 10.4230/DagActivityRep.2011.EN

Dagstuhl Annual Report January - December 2011

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract

The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2011.

Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2011.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2011}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2011.EN},
  URN =		{urn:nbn:de:0030-drops-34606},
  doi =		{10.4230/DagActivityRep.2011.EN},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, annual report, business report, company report}
}

Document

DOI: 10.4230/DagActivityRep.2011.DE

Dagstuhl Tätigkeitsbericht Januar - Dezember 2011

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract

Schloss Dagstuhl - Leibniz-Zentrum für Informatik ist eine gemeinnützige GmbH. Ihr Ziel ist es, Informatikforschung auf Weltklasseniveau zu unterstützen und Wissenschaftsseminare zu beherbergen, in denen neue Ideen untersucht und Probleme diskutiert werden und Grundsteine für neue Entwicklungen in der Informatik gelegt werden können. Die Arbeiten zum Betrieb dieses Informatikzentrums sind für das Geschäftsjahr 2011 in diesem Tätigkeitsbericht dokumentiert.

Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Tätigkeitsbericht Januar - Dezember 2011, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2011.DE,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl T\"{a}tigkeitsbericht Januar - Dezember 2011}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2012},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2011.DE},
  URN =		{urn:nbn:de:0030-drops-34590},
  doi =		{10.4230/DagActivityRep.2011.DE},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, T\"{a}tigkeitsbericht, Jahresbericht, Gesch\"{a}ftsbericht}
}

Document

DOI: 10.4230/DagMan.1.1.21

Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

Authors: Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm

Published in: Dagstuhl Manifestos, Volume 1, Issue 1 (2011)

Abstract

This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods – Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the abundance of concepts and methods in order to reduce misunderstandings among the involved research community and in communication with industry. We discuss the industrial acceptance of formal methods and how to increase it by targeted research and improved education. Finally, we state a few challenges and provide perspectives of the field. This document is opinionated in nature and biased towards the experiences and views of the participants listed in the appendix, further distilled by the authors.

Cite as

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm. Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). In Dagstuhl Manifestos, Volume 1, Issue 1, pp. 21-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{kreiker_et_al:DagMan.1.1.21,
  author =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  title =	{{Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)}},
  pages =	{21--40},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1.21},
  URN =		{urn:nbn:de:0030-drops-32121},
  doi =		{10.4230/DagMan.1.1.21},
  annote =	{Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability}
}

Document

DOI: 10.4230/DagNews.2009

Dagstuhl News January - December 2009

Authors: Fritz Müller and Reinhard Wilhelm

Published in: Dagstuhl News. Dagstuhl News (2012)

Abstract

"Dagstuhl News" is a publication edited especially for the members of the Foundation "Informatikzentrum Schloss Dagstuhl" to thank them for their support. The News give a summary of the scientific work being done in Dagstuhl. Each Dagstuhl Seminar is presented by a small abstract describing the contents and scientific highlights of the seminar as well as the perspectives or challenges of the research topic.

Cite as

Fritz Müller and Reinhard Wilhelm. Dagstuhl News January - December 2009, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@InProceedings{muller_et_al:DagNews.2009,
  author =	{M\"{u}ller, Fritz and Wilhelm, Reinhard},
  title =	{{Dagstuhl News January - December 2009}},
  booktitle =	{Dagstuhl News},
  ISSN =	{1438-7581},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagNews.2009},
  URN =		{urn:nbn:de:0030-drops-31060},
  doi =		{10.4230/DagNews.2009},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, Seminar Abstracts, Seminars Overview}
}

Document

DOI: 10.4230/DagActivityRep.2010.EN

Dagstuhl Annual Report January - December 2010

Authors: Angelika Müller-von Brochowski and Reinhard Wilhelm

Published in: Dagstuhl Tätigkeitsberichte. Dagstuhl Tätigkeitsberichte (2012)

Abstract

The International Conference and Research Center for Computer Science is a non-profit organization. Its objective is to promote world-class research in computer science and to host research seminars which enable new ideas to be showcased, problems to be discussed and the course to be set for future development in this field. The work being done to run this informatics center is documented in this report for the business year 2010.

Cite as

Angelika Müller-von Brochowski and Reinhard Wilhelm. Dagstuhl Annual Report January - December 2010, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Book{mullervonbrochowski_et_al:DagActivityRep.2010.EN,
  author =	{M\"{u}ller-von Brochowski, Angelika and Wilhelm, Reinhard},
  title =	{{Dagstuhl Annual Report January - December 2010}},
  series =	{Dagstuhl T\"{a}tigkeitsberichte},
  year =	{2011},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagActivityRep.2010.EN},
  URN =		{urn:nbn:de:0030-drops-31087},
  doi =		{10.4230/DagActivityRep.2010.EN},
  annote =	{Keywords: Schloss Dagstuhl - Leibniz-Zentrum f\"{u}r Informatik, LZI, annual report, business report, company report}
}

90 Search Results for "Reinhard, Wilhelm"

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Abstract

Cite as

Thanks for your feedback!

Could not send message