10 Search Results for "Halbwachs, Nicolas"

Document
DOI: 10.4230/LITES-v006-i001-a002
Improving WCET Evaluation using Linear Relation Analysis

Authors: Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, and Rémy Boutonnet

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

Abstract
The precision of a worst case execution time (WCET) evaluation tool on a given program is highly dependent on how the tool is able to detect and discard semantically infeasible executions of the program. In this paper, we propose to use the classical abstract interpretation-based method of linear relation analysis to discover and exploit relations between execution paths. For this purpose, we add auxiliary variables (counters) to the program to trace its execution paths. The results are easily incorporated in the classical workflow of a WCET evaluator, when the evaluator is based on the popular implicit path enumeration technique. We use existing tools - a WCET evaluator and a linear relation analyzer - to build and experiment a prototype implementation of this idea.
Cite as

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, and Rémy Boutonnet. Improving WCET Evaluation using Linear Relation Analysis. In LITES, Volume 6, Issue 1 (2019). Leibniz Transactions on Embedded Systems, Volume 6, Issue 1, pp. 02:1-02:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@Article{raymond_et_al:LITES-v006-i001-a002,
  author =	{Raymond, Pascal and Maiza, Claire and Parent-Vigouroux, Catherine and Jahier, Erwan and Halbwachs, Nicolas and Carrier, Fabienne and Asavoae, Mihail and Boutonnet, R\'{e}my},
  title =	{{Improving WCET Evaluation using Linear Relation Analysis}},
  journal =	{Leibniz Transactions on Embedded Systems},
  pages =	{02:1--02:28},
  ISSN =	{2199-2002},
  year =	{2019},
  volume =	{6},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LITES-v006-i001-a002},
  doi =		{10.4230/LITES-v006-i001-a002},
  annote =	{Keywords: Worst Case Execution Time estimation, Infeasible Execution Paths, Abstract Interpretation}
}
Document
DOI: 10.4230/OASIcs.WCET.2017.9
The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Authors: Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, and Wei-Tsun Sun

Published in: OASIcs, Volume 57, 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)

Abstract
Critical embedded systems are generally composed of repetitive tasks that must meet hard timing constraints, such as termination deadlines. Providing an upper bound of the worst-case execution time (WCET) of such tasks at design time is necessary to guarantee the correctness of the system. In static WCET analysis, a main source of over-approximation comes from the complexity of the modern hardware platforms: their timing behavior tends to become more unpredictable because of features like caches, pipeline, branch prediction, etc. Another source of over-approximation comes from the software itself: WCET analysis may consider potential worst-cases executions that are actually infeasible, because of the semantics of the program or because they correspond to unrealistic inputs. The W-SEPT project, for "WCET, Semantics, Precision and Traceability", has been carried out to study and exploit the influence of program semantics on the WCET estimation. This paper presents the results of this project : a semantic-aware WCET estimation workflow for high-level designed systems.
Cite as

Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne de Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, and Wei-Tsun Sun. The W-SEPT Project: Towards Semantic-Aware WCET Estimation. In 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017). Open Access Series in Informatics (OASIcs), Volume 57, pp. 9:1-9:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{maiza_et_al:OASIcs.WCET.2017.9,
  author =	{Maiza, Claire and Raymond, Pascal and Parent-Vigouroux, Catherine and Bonenfant, Armelle and Carrier, Fabienne and Cass\'{e}, Hugues and Cuenot, Philippe and Claraz, Denis and Halbwachs, Nicolas and Jahier, Erwan and Li, Hanbing and de Michiel, Marianne and Mussot, Vincent and Puaut, Isabelle and Rochange, Christine and Rohou, Erven and Ruiz, Jordy and Sotin, Pascal and Sun, Wei-Tsun},
  title =	{{The W-SEPT Project: Towards Semantic-Aware WCET Estimation}},
  booktitle =	{17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017)},
  pages =	{9:1--9:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-057-6},
  ISSN =	{2190-6807},
  year =	{2017},
  volume =	{57},
  editor =	{Reineke, Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2017.9},
  URN =		{urn:nbn:de:0030-drops-73097},
  doi =		{10.4230/OASIcs.WCET.2017.9},
  annote =	{Keywords: Worst-case execution time analysis, Static analysis, Program analysis}
}
Document
DOI: 10.4230/DagSemProc.04491.1
04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
From 28.11.04 to 03.12.04, the Dagstuhl Seminar Perspectives Workshop 04491 ``Synchronous Programming - SYNCHRON'04'' 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

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.1,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Abstracts Collection – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.1},
  URN =		{urn:nbn:de:0030-drops-1961},
  doi =		{10.4230/DagSemProc.04491.1},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , Signal , semantics , programming languages , real-time systems}
}
Document
DOI: 10.4230/DagSemProc.04491.2
04491 Executive Summary – Synchronous Programming - SYNCHRON'04

Authors: Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel, Lustre, and Signal). These languages were invented in the early 1980's to make the programming of reactive systems easier. The goal of the seminar was to bring together researchers and practitioners of synchronous programming, and furthermore to reach out to relevant related areas and industrial users.
Cite as

Stephen A. Edwards, Nicholas Halbwachs, Reinhard von Hanxleden, and Thomas Stauner. 04491 Executive Summary – Synchronous Programming - SYNCHRON'04. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{edwards_et_al:DagSemProc.04491.2,
  author =	{Edwards, Stephen A. and Halbwachs, Nicholas and von Hanxleden, Reinhard and Stauner, Thomas},
  title =	{{04491 Executive Summary – Synchronous Programming - SYNCHRON'04}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.2},
  URN =		{urn:nbn:de:0030-drops-1959},
  doi =		{10.4230/DagSemProc.04491.2},
  annote =	{Keywords: Synchronous languages , executive summary , Esterel , Lustre , signal , semantics , programming languages , real-time systems}
}
Document
DOI: 10.4230/DagSemProc.04491.3
Accessing Databases within Esterel

Authors: David White and Gerald Luettgen

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
A current limitation of the Esterel language for reactive-systems design is its lack of support for accessing databases. This talk presents the results of a summer student project which investigated a way of integrating databases and Esterel by providing an API for database use inside Esterel. A case study, involving a warehouse storage system built using Lego Mindstorms robotics kits, demonstrates the utility of the API. This system employs an Esterel-programmed robot whose task it is to collect various items from a customer's order and assemble them in one place. To do so, the robot accesses customer-order data and floor-plan data stored in a database.
Cite as

David White and Gerald Luettgen. Accessing Databases within Esterel. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{white_et_al:DagSemProc.04491.3,
  author =	{White, David and Luettgen, Gerald},
  title =	{{Accessing Databases within Esterel}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.3},
  URN =		{urn:nbn:de:0030-drops-1619},
  doi =		{10.4230/DagSemProc.04491.3},
  annote =	{Keywords: database esterel lego mindstorms}
}
Document
DOI: 10.4230/DagSemProc.04491.4
Removing Cycles in Esterel Programs

Authors: Jan Lukoschus and Reinhard von Hanxleden

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
Programs written in the synchronous programming language Esterel may contain statically cyclic dependencies of signals, which inhibits the application of certain compilation approaches that rely on static scheduling. This talk proposes an algorithm which, given a constructive synchronous program, performs a semantics-preserving source-level code transformation that removes cyclic signal dependencies. The transformation exploits the monotonicity of constructive programs, and is illustrated in the context of Esterel, but should be applicable to other synchronous languages as well.
Cite as

Jan Lukoschus and Reinhard von Hanxleden. Removing Cycles in Esterel Programs. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{lukoschus_et_al:DagSemProc.04491.4,
  author =	{Lukoschus, Jan and von Hanxleden, Reinhard},
  title =	{{Removing Cycles in Esterel Programs}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--27},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.4},
  URN =		{urn:nbn:de:0030-drops-1606},
  doi =		{10.4230/DagSemProc.04491.4},
  annote =	{Keywords: Synchronous Languages , compilation , cyclic circuits , constructiveness , Esterel}
}
Document
DOI: 10.4230/DagSemProc.04491.5
SHIM: A Language for Hardware/Software Integration

Authors: Stephen A. Edwards

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedious and error-prone to create. This suggests a more automatic way to synthesize them. I present the SHIM language, which combines imperative C-like semantics for software and RTL-like semantics for hardware to allow a unified description of hardware/software systems. Hardware processes and software functions communicate through shared variables, hardware for which is automatically synthesized by the SHIM compiler, which generates C and synthesizable VHDL. I demonstrate the effectiveness of the language by re-implementing an I2C bus controller. The SHIM source is half the size of an equivalent manual implementation, slightly faster, and has a smaller memory footprint. Partial and complete hardware implementations in SHIM are also presented, showing that SHIM is succinct and effective.
Cite as

Stephen A. Edwards. SHIM: A Language for Hardware/Software Integration. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{edwards:DagSemProc.04491.5,
  author =	{Edwards, Stephen A.},
  title =	{{SHIM: A Language for Hardware/Software Integration}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.5},
  URN =		{urn:nbn:de:0030-drops-1580},
  doi =		{10.4230/DagSemProc.04491.5},
  annote =	{Keywords: Hardware/software codesign , synchronous , asynchronous , language design , integration}
}
Document
DOI: 10.4230/DagSemProc.04491.6
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor

Authors: Xin Li and Reinhard von Hanxleden

Published in: Dagstuhl Seminar Proceedings, Volume 4491, Synchronous Programming - SYNCHRON'04 (2005)

Abstract
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and can be synthesized into hardware and software. Typically, an Esterel program is first translated into other, lower-level languages (such as VHDL or C), and then compiled further. However, there is also the alternative of executing Esterel-like instructions directly. For example, in the REFLIX and RePIC projects, Roop et al.\ have augmented traditional processors with custom hardware to execute Esterel instructions. This patch strategy is a convenient approach, but has some shortages. We present the Kiel Esterel Processor (KEP), a semi-custom, configurable reactive processor for the direct execution of Esterel programs. It consists of a reactive core and scalable peripheral elements. KEP supports standard Esterel statements directly, except (so far) for the concurrency operator. Valued signals and counter functions in Esterel statements are supported by KEP. Due to its control path and its cooperation with elements, KEP obeys exact Esterel (preemption and priority) rules, including for example abort/weak abort (nests).
Cite as

Xin Li and Reinhard von Hanxleden. The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. In Synchronous Programming - SYNCHRON'04. Dagstuhl Seminar Proceedings, Volume 4491, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)

Copy BibTex To Clipboard

@InProceedings{li_et_al:DagSemProc.04491.6,
  author =	{Li, Xin and von Hanxleden, Reinhard},
  title =	{{The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor}},
  booktitle =	{Synchronous Programming - SYNCHRON'04},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4491},
  editor =	{Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.6},
  URN =		{urn:nbn:de:0030-drops-1597},
  doi =		{10.4230/DagSemProc.04491.6},
  annote =	{Keywords: Esterel , synchronous languages , reactive programming , ASIPs}
}
Document
DOI: 10.4230/DagSemRep.328
Synchronous Languages (Dagstuhl Seminar 01491)

Authors: Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann

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

Abstract
Cite as

Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 01491). Dagstuhl Seminar Report 328, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)

Copy BibTex To Clipboard

@TechReport{deroever_et_al:DagSemRep.328,
  author =	{de Roever, Willem-Paul and Halbwachs, Nicolas and Berry, G\'{e}rard and Winkelmann, Klaus},
  title =	{{Synchronous Languages (Dagstuhl Seminar 01491)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{328},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.328},
  URN =		{urn:nbn:de:0030-drops-152119},
  doi =		{10.4230/DagSemRep.328},
}
Document
DOI: 10.4230/DagSemRep.162
Synchronous Languages (Dagstuhl Seminar 9650)

Authors: Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann

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

Abstract
Cite as

Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 9650). Dagstuhl Seminar Report 162, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)

Copy BibTex To Clipboard

@TechReport{deroever_et_al:DagSemRep.162,
  author =	{de Roever, Willem-Paul and Halbwachs, Nicolas and Winkelmann, Klaus},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9650)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{162},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.162},
  URN =		{urn:nbn:de:0030-drops-150490},
  doi =		{10.4230/DagSemRep.162},
}
  • Refine by Author
  • 4 Halbwachs, Nicolas
  • 4 von Hanxleden, Reinhard
  • 3 Edwards, Stephen A.
  • 2 Carrier, Fabienne
  • 2 Halbwachs, Nicholas
  • Show More...

  • Refine by Classification
  • 1 Software and its engineering → Real-time systems software

  • Refine by Keyword
  • 4 Esterel
  • 2 Lustre
  • 2 Synchronous languages
  • 2 executive summary
  • 2 programming languages
  • Show More...

  • Refine by Type
  • 10 document

  • Refine by Publication Year
  • 6 2005
  • 1 1997
  • 1 2002
  • 1 2017
  • 1 2019

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-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact