Home > Research > Students/Post-docs > Xavier Jean

Xavier Jean

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

Saturday 1 January 2011

Years: 2009 (Master 1 internship)
Co-supervisor: Karine Altisen
Subject: Étude des performances dans les systèmes embarqués, entre simulation numérique et solution équationnelle
Abstract:

Current embedded systems are getting more and more complex, whereas their developement cycles are getting shorter and shorter. During the industrial design phase, engineers expect an approximation of the system’s performances, before any physical prototype has been made, and while the system has only a high level abstraction description. In order to answer to the growing complexity of systems, an analysis framework has been introduced : the Modular Performance Analysis (or MPA). In this framework, systems are represented by components which communicate through channels with infinite event flows. This framework is strongly linked with an analytical method : the Real-Time Calculus (or RTC). Recent work aim at connecting RTC to other formalisms which allow to describe abstract systems (named computational models), such as the language Lustre and automata.

After describing the main ideas of RTC and of analysis methods on computational models, this report rises the issue of the relevance of RTC to describe abstractions of event flows in the MPA framework, and it proposes a new abstraction to describe those event flows, with a method allowing to determine the transformation of an event flow described by this abstraction, by a modular system. Finally, this report describes a programm which implements this method using the analysability power of 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

Attached documents


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