Ada-Linda, a powerful paradigm for programming distributed Ada applications |
|
Affectation de priorité et simulation d’ordonnancement de systèmes temps réel embarqués avec prise en compte de l'effet des mémoires cache. |
|
Algorithmes de classification répartis sur le cloud |
|
Analyse et ordonnancement d'un système hiérarchique virtualisé composé d'applications temps réel strictes |
|
Des analyses de sécurité à la validation expérimentale par injection de fautes - Le cas des systèmes embarqués automobile. |
|
Analysis and scheduling of hierarchical virtualized systems composed of hard real-time applications. |
|
Approche dirigée par les modèles pour le développement et la vérification des applications orientées-services. |
|
Une approche efficace et polyvalente pour l'ordonnancement de systèmes à criticité mixte sur processeur multi-coeurs |
|
Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux |
|
Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce |
|
Arbitrage mémoire dynamique non-oisif basé sur TDM pour des systèmes multi-criticité temps réel. |
|
Architecture et services des intergiciels temps réel |
|
The C-method, a software engineering method for avionic real-time systems. |
|
Cache memory aware priority assignment and scheduling simulation of real-time embedded systems |
|
Calcul de la latence du système en temps réel et à paramètre fixe traçabilité des problèmes d'ordonnancement UET-UCT. |
|
Calculation of latency of real-time system and fixed-parameter tractibility of UET-UCT scheduling problems |
|
Compilation séparée et exécution distribuée d'applications synchrones modulaires programmées en Esterel |
|
Complex event detection over large event streams. |
|
Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables |
|
CONCEPTION ET REALISATION D'UNE PLATE-FORME DE REPARTITION DEDIEE AUX ENVIRONNEMENTS NOMADES |
|
Configuration and deployment of distributed real time embedded applications using an architecture description language. |
|
Configuration et reconfiguration des systèmes temps réel répartis embarqués critiques et adaptatifs |
|
Contribution à la mise en oeuvre d'un moteur d'exécution de modèles UML pour la simulation d'applications temporisées et concurrentes. |
|
Contribution to the realization of an UML execution engine for simulating timed and concurrent applications. |
|
Contrôle temps-réel et efficace pour la course autonome. |
|
Contrôler la variabilité du temps d’exécution en utilisant COTS pour les systèmes Safety-critical. |
|
Déploiement d'applications à boucles intensives sur des architectures multiprocesseurs hétérogènes. |
|
Déploiement multiplateforme d'applications multitâche par la modélisation |
|
Deployment of mixed criticality and data driven systems on multi-cores architectures |
|
Design and implementation of schizophrenic middleware for interoperable distributed applications. |
|
Détection d'évènements complexes dans les flux d'évènements massifs |
|
Distributed clustering algorithms over a cloud computing platform. |
|
Efficient and adaptive load balancing with temporal constraints for connected vehicles. |
|
Equilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés |
|
Evaluation et analyse d'applications Linux sur processeur multi-coeur en environnement spatial |
|
Evaluation of a multiple criticality real-time virtual machine system and configuration of an RTOS's resources allocation techniques |
|
Formal Semantics of Hardware Compilation Framework |
|
From safety analysis to experimental validation by fault injection - Case of automotive embedded systems |
|
Glade une implémentation de l'annexe des systèmes repartis d'ada 95 |
|
Hypervisor control of COTS multi-cores processors in order to enforce determinism for future avionics equipment. |
|
Integrating page replacement in a distributed shared virtual memory |
|
Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques |
|
Integration of safety and security requirements for the design of safety-critical systems. |
|
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique |
|
Méthode C, une méthode de génie logiciel pour les systèmes avioniques temps-réel |
|
Méthode de conception de systèmes temps réels embarqués multi-coeurs en milieu automobile |
|
Methodological approach for maintaining consistency of system on chip design data. |
|
Methodology of designing embedded real-time multi-core systems in automotive. |
|
Middleware architectures for fault tolerance and consensus. |
|
Modélisation de plate-forme avionique pour exploration de performance en avance de phase |
|
Modelling distributed real-time embedded systems for the automatic generation of formally verified applications. |
|
Models and analysis in distributed systems |
|
Nouvelles techniques de virtualisation de la mémoire et des entrées-sorties vers les périphériques pour les prochaines générations de centres de traitement de données basés sur des équipements répartis déstructurés |
|
Novel memory and I/O virtualization techniques for next generation data-centers based on disaggregated hardware. |
|
Optimisation du risque de sécurité pour l'apprentissage sur données de qualité hétérogène. |
|
Optimisation multi-objectifs d'architectures par composition de transformation de modèles |
|
Optimization of security risk for learning on heterogeneous quality data |
|
Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués |
|
Predictable execution on many-core processors. |
|
Qualification of source code generators in the avionics domain : automated testing of model transformation chains. |
|
Real-time and efficient control for autonomous racing |
|
Sémantique formelle d'une infrastructure de compilation matériel. |
|
Systèmes répartis en action : de l'embarqué aux systèmes à large échelle |
|
Systèmes résilients pour l'automobile : d'une approche à composants à une approche à objets de la tolérance aux fautes adaptative sur ROS |
|
Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement |
|
Versatile and efficient mixed–criticality scheduling for multi-core processors. |
|
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems |
|