3 Search Results for "Peled, Doron A."

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}},
  booktitle =	{LITES, Volume 3, Issue 1 (2016)},
  pages =	{05:1--05:48},
  journal =	{Leibniz Transactions on Embedded Systems},
  ISSN =	{2199-2002},
  year =	{2016},
  volume =	{3},
  number =	{1},
  editor =	{Lv, Mingsong and Guan, Nan and Reineke, Jan and Wilhelm, Reinhard and Yi, Wang},
  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/DagSemProc.07241.1
07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)

Abstract
From June 10th to June 15th 2007, the Dagstuhl Seminar 07241 ``Tools for the Model-based Development of Certifiable, Dependable Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.1,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Abstracts Collection –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.1},
  URN =		{urn:nbn:de:0030-drops-14067},
  doi =		{10.4230/DagSemProc.07241.1},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
Document
DOI: 10.4230/DagSemProc.07241.2
07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems

Authors: Michaela Huhn, Hardi Hungar, and Doron A. Peled

Published in: Dagstuhl Seminar Proceedings, Volume 7241, Tools for the Model-based Development of Certifiable, Dependable Systems (2008)

Abstract
This paper summarizes the objectives and structure of a seminar with the same title, held from June 10th to June 15th, 2007 at Schloss Dagstuhl, Germany.
Cite as

Michaela Huhn, Hardi Hungar, and Doron A. Peled. 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems. In Tools for the Model-based Development of Certifiable, Dependable Systems. Dagstuhl Seminar Proceedings, Volume 7241, pp. 1-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{huhn_et_al:DagSemProc.07241.2,
  author =	{Huhn, Michaela and Hungar, Hardi and Peled, Doron A.},
  title =	{{07241 Summary –  Tools for the Model-based Development of Certifiable, Dependable Systems}},
  booktitle =	{Tools for the Model-based Development of Certifiable, Dependable Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7241},
  editor =	{Michaela Huhn and Hardi Hungar and Doron A. Peled},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07241.2},
  URN =		{urn:nbn:de:0030-drops-14056},
  doi =		{10.4230/DagSemProc.07241.2},
  annote =	{Keywords: Dependable systems, safety, security, certification, formal methods, modelling, verification, tools}
}
  • Refine by Author
  • 2 Huhn, Michaela
  • 2 Hungar, Hardi
  • 2 Peled, Doron A.
  • 1 Guan, Nan
  • 1 Lv, Mingsong
  • Show More...

  • Refine by Classification
  • 1 General and reference → Surveys and overviews

  • Refine by Keyword
  • 2 Dependable systems
  • 2 certification
  • 2 formal methods
  • 2 modelling
  • 2 safety
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 2 2008
  • 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
© 2023 Schloss Dagstuhl - LZI GmbH Imprint Privacy Contact