researcher / Laurent Pautet

Laurent Pautet

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems
Deployment of mixed criticality and data driven systems on multi-cores architectures
Optimisation multi-objectifs d'architectures par composition de transformation de modèles
Une approche efficace et polyvalente pour l'ordonnancement de systèmes à criticité mixte sur processeur multi-coeurs
Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles
Maîtrise de la couche hyperviseur sur les architectures multi-coeurs COTS dans un contexte avionique
Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués
Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués
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
Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques
Configuration et reconfiguration des systèmes temps réel répartis embarqués critiques et adaptatifs
Méthode C, une méthode de génie logiciel pour les systèmes avioniques temps-réel
Architectures intergicielles pour la tolérance aux fautes et le consensus
Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées
Conception et réalisation d'une plate-forme de répartition dédiée aux environnements nomades
Architecture et services des intergiciels temps réel
Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables
Compilation séparée et exécution distribuée d'applications synchrones modulaires programmées en Esterel
Glade une implémentation de l'annexe des systèmes repartis d'ada 95