Accueil > Recherche > Étudiants/Post-docs > Xavier Jean

Xavier Jean

Étude des performances dans les systèmes embarqués, entre simulation numérique et solution équationnelle

samedi 1er janvier 2011

Années: 2009 (Stagiaire M1)
Co-encadrant: Karine Altisen
Sujet: Étude des performances dans les systèmes embarqués, entre simulation numérique et solution équationnelle
Résumé:

Les systèmes embarqués actuels sont de plus en plus complexes, et les cycles de développement sont de plus en plus courts. Dès la phase de conception, on souhaite avoir une estimation des performances du système alors qu’aucun prototype physique n’est réalisé, et que le système est seulement décrit à un haut niveau d’abstraction. Pour répondre à la complexité croissante des systèmes, un cadre d’analyse de systèmes modulaires a été introduit : le Modular Performance Analysis (ou MPA). Dans ce cadre d’analyse, les systèmes sont décomposés en modules qui communiquent via des canaux sur lesquels circulent des flots infinis d’événements. Ce cadre est fortement lié à une méthode analytique : le Real-Time Calculus (ou RTC). Des travaux récents visent à connecter RTC à d’autres formalismes permettant de décrire des systèmes abstraits (dits modèles computationnels), comme par exemple le langage Lustre et les automates.

Après avoir décrit le principe général de RTC et des méthodes d’analyses de modèles computationnels, ce rapport soulève la question de la pertinence du formalisme RTC pour abstraire des flots d’événements dans le cadre du MPA, et propose une nouvelle abstraction pour décrire ces flots d’événements, ainsi qu’une méthode permettant de déterminer la transformation d’un flot d’événements représenté par cette abstraction par un système modulaire. Il décrit enfin un outil implémentant cette méthode en utilisant le moteur d’analyse de NBac.


2024

Preprints, Working Papers, ...

ref_biblio
S Aiello, A Albert, M Alshamsi, S. Alves Garre, Z Aly, et al.. Astronomy potential of KM3NeT/ARCA. 2024. ⟨hal-04480224⟩
Accès au bibtex
https://arxiv.org/pdf/2402.08363 BibTex

2023

Preprints, Working Papers, ...

ref_biblio
Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, et al.. The Design and Technology Development of the JUNO Central Detector. 2023. ⟨hal-04338602⟩
Accès au bibtex
https://arxiv.org/pdf/2311.17314 BibTex

2022

Journal articles

ref_biblio
Angel Abusleme, Thomas Adam, Shakeel Ahmad, Rizwan Ahmed, Sebastiano Aiello, et al.. Mass testing and characterization of 20-inch PMTs for JUNO. Eur.Phys.J.C, 2022, 82 (12), pp.1168. ⟨10.1140/epjc/s10052-022-11002-8⟩. ⟨hal-03737679⟩
Accès au bibtex
https://arxiv.org/pdf/2205.08629 BibTex

2017

Journal articles

ref_biblio
Mabrouka El Hachani, < Mabrouka, El Hachani. Bibliothèque et liens intergénérationnels : Situations d’interactions avec tablettes,. Interfaces numériques, 2017, 6, ⟨10.3199/RIN.1.1-n⟩. ⟨hal-01700491⟩
Accès au bibtex
BibTex

2016

Journal articles

ref_biblio
Bingrui Xu, Jalel Chergui, Seungwon Shin ·, Damir Juric. Three-dimensional simulations of viscous folding in diverging microchannels. Microfluidics and Nanofluidics, 2016, 20 (10), ⟨10.1007/s10404-016-1803-5⟩. ⟨hal-02610529⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02610529/file/1609.03871.pdf BibTex

2014

Conference papers

ref_biblio
Mirsad Buljubasic, Michel Vasquez, Haris Gavranovi ́. Two-phase heuristic for SNCF rolling stock problem. IFORS 2014 : 20th Conference of the International Federation of Operational Research Societies,, Jul 2014, Barcelona, Spain. ⟨hal-01951610⟩
Accès au bibtex
BibTex

Documents joints


Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License