-
Adaptability and reconfiguration for embedded and real-time systems
Real-time systems can be large, distributed and have a dynamic environment. This requires the introduction of various operating modes and reliability techniques.... -
Verification of end-to-end real-time constraints in the context of AutoSar
These Cifre réalisée avec PSA Peugeot Citroën -
Multicore architectures and worst-case execution time
Critical tasks in the context of real-time systems submit to both timing and correctness constraints. Whence, the validation of a real-time system rely on the... -
Un tempo de Reel sur un rythme de Java
National audience -
Polychronous modeling and evaluation of real-time systems
Real-time systems are devices consisting of hardware and software with functional and timing constraints for the interaction with their environment. Telecommunication,... -
Robustness in timed automata : analysis, synthesis, implementation
Timed automata are a formalism to model, verify, and synthesize real-time systems. They have the advantage of having an abstract mathematical semantics, which allow... -
Robustness in Multicore Automotive Embedded Real-Time Systems
The feature content of new cars is increasing dramatically, which involves more demanding requirements. AUTOSAR (AUTomotive Open System ARchi- tecture) - an open and... -
Une politique à changement de priorité pour l'ordonnancement de messages dans...
Colloque avec actes et comité de lecture. -
Reliability Improvement of the Dual-Priority Protocol under Unreliable Transm...
Article dans revue scientifique avec comité de lecture. -
Traffic Shaping in Real-Time Distributed Systems: a Low-Complexity Approach
Article dans revue scientifique avec comité de lecture. -
Fine Tuning the Scheduling of Tasks through a Genetic Algorithm : Application...
Also available as INRIA Research Report RR-3730. Article dans revue scientifique avec comité de lecture. -
Dual-Priority versus Background Scheduling: a Path-wise Comparison
Article dans revue scientifique avec comité de lecture. -
Real-time scheduling for optimal energy use
Colloque avec actes et comité de lecture. nationale. -
Nouvelles politiques pour la réservation explicite de ressources en avance
Numéro spécial "Temps Réel". Article dans revue scientifique avec comité de lecture. -
Les services réseaux pour les systèmes X-by-Wire
Colloque avec actes et comité de lecture. nationale. -
Analyse de robustesse du réseau TTP/C
Colloque sur invitation. nationale. -
Vers des analyses de temps de réponse génériques
Colloque sur invitation. nationale. -
Real-Time Scheduling of Tasks with Energy Constraints
Stage de DEA. Rapport de stage. -
Ordonnancement sous contrainte d'énergie
Colloque sur invitation. -
Maximizing the Robustness of TDMA Networks with Applications to TTP/C
Article dans revue scientifique avec comité de lecture. internationale.
