Home > Research > Étudiants/Post-docs

Étudiants/Post-docs

Latest update : 1 December 2016.

Articles in this section

  • Denis Becker

    Parallel execution of SystemC/TLM programs in an industrial context

    Years: 2014, 2015, 2016, 2017 (CIFRE Ph. D ) Co-supervisor: Jérôme Cornet Subject: Parallel execution of SystemC/TLM programs in an industrial context Publications: Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Becker, Denis and Moy, Matthieu and Cornet, Jérôme (in MDPI Electronics, 2016) [URL] SycView: Visualize and Profile SystemC Simulations. Becker, Denis and Moy, Matthieu and Cornet, Jérôme (in Workshop on Design Automation for Understanding Hardware Designs (DUHDe), 2016) [URL] Challenges for the Parallelization of (...)
    Read more...
  • Hamza Rihani

    Response Time Analysis of Synchronous Data Flow Programs on a Many-core Processor

    Years: 2014, 2015, 2016, 2017 Co-supervisor: Claire Maiza Subject: Response Time Analysis of Synchronous Data Flow Programs on a Many-core Processor Publications: Efficient Execution of Dependent Tasks on Many-Core Processors. Rihani, Hamza and Maiza, Claire and Moy, Matthieu (in RTSOPS 2016, 2016) Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. Rihani, Hamza and Moy, Matthieu and Maiza, Claire and Davis, Robert I. and Altmeyer, Sebastian (in RTNS 2016, 2016) WCET analysis in shared resources real-time systems with TDMA buses. Rihani, Hamza (...)
    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 Home page
    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 (...)
    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.
    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é.
    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.
    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.
    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
    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
    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. Publications: How to (...)
    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 (...)
    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...
  • Julien Henry (M2R)

    Static Analysis by Path Focusing

    Years: 2010, 2011 (M2R ) Co-supervisor: David Monniaux Subject: Static Analysis by Path Focusing Abstract: Program verification aims at statically discovering properties on programs, such as the values that can take the different variables during execution. Abstract Interpretation is a technique that computes an over-approximation of the set of these values, since it is impossible to compute the real set in general. This report takes place in the many attempts to improve the precision of static Analysis by Abstract Interpretation. It proposes a technique that takes (...)
    Read more...
  • Samuel Jones

    Optimistic Parallelisation of SystemC

    Years: 2010, 2011 (M2R ) Co-supervisor: Claire Maiza Subject: Optimistic Parallelisation of SystemC Abstract: Systems-on-chip (SoCs) are becoming more complex and more widespread. Virtual prototyping tools are critical to the rapid development of embedded software. SystemC is the industry standard for simulation of SoCs today; however, its performance is becoming an issue. We describe an experiment in parallelising SystemC for SMP machines by running multiple schedulers each responsible for a subset of the available SystemC processes. Each scheduler has its own local time and (...)
    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