Home > Research > Étudiants/Post-docs

Étudiants/Post-docs

Latest update : 8 February.

Articles in this section

  • Liliana Andrade

    Power and temperature model in the presence of loose information, state-space exploration

    Years: 2016, 2017 (Post-doc) Subject: Power and temperature model in the presence of loose information, state-space exploration Abstract: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). We first proposed a method to simulate exhaustively the state-space in the absence of feedback loop from the (...)
    Read more...
  • SangHoon Kwak

    Power and temperature model in the presence of loose information

    Years: 2015 (Post-doc) Subject: Power and temperature model in the presence of loose information Abstract: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: (...)
    Read more...
  • Denis Becker

    Parallel SystemC/TLM Simulation of Hardware Components described for High-Level Synthesis

    Years: 2014, 2015, 2016, 2017 (CIFRE Ph. D) Co-supervisor: Jérôme Cornet Subject: Parallel SystemC/TLM Simulation of Hardware Components described for High-Level Synthesis Abstract: Systems on chip consist in a hardware part (an integrated circuit) and a software part (a program) that uses the hardware resources of the chip. Consequently, the embedded software is intrinsically connected to the chip hardware. Hardware acceleration components are key differentiation factors from one product to another. It is necessary to simulate systems on chip very early in the design flow; before (...)
    Read more...
  • Hamza Rihani

    Many-Core Timing Analysis of Real-Time Systems

    Years: 2014, 2015, 2016, 2017 Co-supervisor: Claire Maiza Subject: Many-Core Timing Analysis of Real-Time Systems Abstract: Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system’s correctness. As many safety-critical systems have a growing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasingly popular solution is the use of multi-core systems, even in the (...)
    Read more...
  • Amaury Graillat (PhD)

    Code Generation for Multi-Core Processor with Hard Real-Time Constraints

    Years: 2015, 2016, 2017, 2018 (CIFRE Ph. D) Co-supervisor: Pascal Raymond Subject: Code Generation for Multi-Core Processor with Hard Real-Time Constraints A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> <titleStmt> <title xml:lang="en">A SystemC/TLM semantics in Promela and its Possible Applications</title> <author role="crp"> <persName> <forename (...)
    Read more...
  • Amaury Graillat (M2R)

    Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures

    Years: 2015 (M2R) Co-supervisor: Florence Maraninchi Subject: Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures Abstract: Reactive systems are systems that constantly react to their environment. One must guarantee that the computation time of the system is bounded and matches the input-output latency imposed by the environment (for instance the period of measure of the altitude for a flight control system). We talk about multi-periodic systems when the nodes of a program are running at different periods. Today, reactive programs are (...)
    Read more...
  • Mamoudou Bah

    Contributions to the tool Verse

    Years: 2014 (CCI Internship) Co-supervisor: Catherine Parent Subject: Contributions to the tool Verse Abstract: Mamoudou worked on improvements and bugfixes on the tool Verse, previously designed by Hugues de Lassus Saint Geniès. A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> <titleStmt> <title xml:lang="en">A SystemC/TLM semantics in Promela and its Possible Applications</title> <author (...)
    Read more...
  • Gaetan Sancassani

    Programmation parallèle pour la modélisation des systèmes embarqués

    Years: 2014 (TER UJF) Subject: Programmation parallèle pour la modélisation des systèmes embarqués Abstract: Le but du TER est de valider le fonctionnement de la bibliothèque sc-during à l’aide de quelques exemples plus réalistes que les tests unitaires existants. En particulier, un module de communication par FIFO a été développé. A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> <titleStmt> <title xml:lang="en">A SystemC/TLM semantics in (...)
    Read more...
  • Amaury Graillat (IRL)

    Simulation distribuée pour les systèmes embarqués

    Years: 2014 (IRL Ensimag) Subject: Simulation distribuée pour les systèmes embarqués Abstract: L’outil développé est basé sur la bibliothèque sc-during, qui permet une exécution parallèle de programmes SystemC. La bibliothèque a été enrichie avec un mode distribué, basé sur la bibliothèque MPI et qui permet non-seulement de déléguer des calculs à des threads, mais aussi à des processus séparés éventuellement exécutés sur une machine distante. A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> (...)
    Read more...
  • Guillaume Sergent

    Techniques de compilation dédiées pour un langage spécifique à un domaine

    Years: 2014 (M2R) Subject: Techniques de compilation dédiées pour un langage spécifique à un domaine Abstract: The goal of the internship was to write an optimizer for SystemC programs, able to optimize significantly real-life programs. Durning the internship, the prototype PinaVM-tweto was considerably improved, both in terms of internal architecture and concrete performance. A static optimizer was added in addition to the JIT-based one. A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: (...)
    Read more...
  • Hanan Kanso

    Implementing critical systems on many-core architectures: Towards solutions preserving determinism

    Years: 2014 (M2R) Co-supervisor: Florence Maraninchi Subject: Implementing critical systems on many-core architectures: Towards solutions preserving determinism Abstract: Shifting to many-core architectures is becoming compulsory for real-time applications demanding intensive computing capabilities. Nonetheless, the gain in performance of many-core architectures does not come for free. In particular, it comes at the cost of predictability and determinism issues. Logical determinism is the property of programs that for the same sequence of inputs always give the same sequence of (...)
    Read more...
  • Hugues de Lassus Saint-Geniès

    Semantic Analysis for Worst-Case Execution Time Analysis

    Years: 2014 (Master 1 internship) Co-supervisor: Claire Maiza Subject: Semantic Analysis for Worst-Case Execution Time Analysis Abstract: Hard real-time systems like planes or cars are controlled by software tasks. We say these systems are hard real-time systems because the tasks which control them have to terminate within a certain amount of time to ensure that the system will not be late for its next action. Measuring execution times on targetted architectures may be sufficient for some real-time systems, but not for hard ones. Indeed, this method does not ensure that the (...)
    Read more...
  • Francesco Bongiovanni

    Optimization of the sc-during library

    Years: 2013 (Post-doc) Co-supervisor: Florence Maraninchi Subject: Optimization of the sc-during library A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> <titleStmt> <title xml:lang="en">A SystemC/TLM semantics in Promela and its Possible Applications</title> <author role="crp"> <persName> <forename type="first">Claus</forename> (...)
    Read more...
  • Eduardo León

    Graphic Visualization Of Simulation Traces For SoC

    Years: 2013 (IRL Ensimag) Co-supervisor: Claude Helmstetter Subject: Graphic Visualization Of Simulation Traces For SoC A SystemC/TLM semantics in Promela and its Possible Applications. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence MaraninchiChild node: <biblFull> <titleStmt> <title xml:lang="en">A SystemC/TLM semantics in Promela and its Possible Applications</title> <author role="crp"> <persName> <forename type="first">Claus</forename> (...)
    Read more...
  • Xavier Poczekajlo

    Optimisations de performances de simulateurs sur machines multi-cœurs

    Years: 2013 (IRL Ensimag) Subject: Optimisations de performances de simulateurs sur machines multi-cœurs Abstract: L’objectif initial de l’IRL était d’utiliser les outils de profiling existants (mutrace par exemple) sur le code d’un simulateur parallèle basé sur SystemC, pour identifier les goulots d’étranglements limitant le passage à l’échelle. Une première constatation était qu’utiliser les outils existants n’était pas immédiat, en particulier les informations fournies par mutrace sont difficilement exploitables sur du code utilisant boost::thread. La contribution du stage est donc un outil (...)
    Read more...
  • Julien Henry (Ph.D)

    Static analysis by abstract interpretation

    PhD defended on Monday, October 13th 2014 Years: 2011, 2012, 2013, 2014 (Ph. D) Co-supervisor: David Monniaux Subject: Static analysis by abstract interpretation Abstract: Julien worked on static analysis by Abstract Interpretation, which is a commonly used technique to discover properties about a program (loop invariants, etc.). This technique computes an over-approximations of the set of possible states of the program. Julien’s topic was to refine this technique by using decision procedures (SMT-solving), in order to compute more precise invariants. A SystemC/TLM semantics in (...)
    Read more...
  • Tayeb Bouhadiba

    Power and temperature models for SystemC/TLM

    Years: 2011, 2012 (Post-doc) Co-supervisor: Florence Maraninchi Subject: Power and temperature models for SystemC/TLM Abstract: Modern system-on-chip need sophisticated power-management policies to control their power consumption and temperature. These power-management policies are usually implemented partly in software, with hardware support. They need to be validated early, hence power and temperature-aware simulation techniques at the system-level need to be developed. During this post-doc, we proposed solutions to simulate these power-management policies at a (...)
    Read more...
  • Valentin Bousson

    Dévelopement d’application en langage synchrone pour un robot LeGO NXT

    Years: 2011 (L3 Internship) Co-supervisor: Claire Maiza Subject: Dévelopement d’application en langage synchrone pour un robot LeGO NXT Abstract: L’objectif du stage est de réaliser un démonstrateur des possibilités du langage Lustre pour générer du code embarqué sur brique Légo NXT. Le système comporte plusieurs types de capteurs (son, lumière, ...) et d’actionneurs (moteurs, écran, ...), et donne un bon exemple d’un système embarqué. On peut programmer le processeur nu (ARM), ou utiliser le langage NXC qui permet de faire tourner des programmes sur une machine virtuelle embarquée dans la (...)
    Read more...
  • Henry-Joseph Audeoud

    Comparaison d’approches de parallélisation de SystemC

    Years: 2011 (Excellence Internship) Co-supervisor: Claire Maiza Subject: Comparaison d’approches de parallélisation de SystemC Abstract: Ce stage fait suite au M2R de Samuel Jones et au TER de Mohamed Zaim-Wadghiri: nous disposons maintenant de deux approches complémentaires pour l’exécution parallèle de modèles SystemC, mais de peu d’exemples utilisant ces techniques. Le stage de Henry-Joseph consistait d’une part en une comparaison des approches, et d’autre part à écrire quelques exemples de plate-formes SystemC en utilisant l’une ou l’autre des méthodes. A SystemC/TLM semantics in (...)
    Read more...
  • Si-Mohamed Lamraoui

    Dedicated Compilation Techniques for SystemC (based on LLVM)

    Years: 2011 (TER UJF, Master 1 internship) Co-supervisor: Claire Maiza Subject: Dedicated Compilation Techniques for SystemC (based on LLVM) Abstract: SystemC is a C++ library allowing the design of the hardware blocks contained in a System-on-chip at different level of abstraction. As SystemC is a C++ library, the programs may be compiled with a common C++ compiler. But these compilers miss a lot of optimization opportunities specific to SystemC programs. In this paper, we introduce a way to improve simulation performances of SystemC programs using the LLVM compiler (...)
    Read more...

0 | 20

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License