Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles |
|
Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données |
|
Allocation temporelle de systèmes avioniques modulaires embarqués |
|
Analyse et dimensionnement de réseaux hétérogènes embarqués |
|
Analyses d'ordonnancalité pour la conception de systèmes embarqués automobiles fiables et optimisés. |
|
Analysis and dimensioning of embedded heterogeneous networks. |
|
analysis and validation of real-time applications in context of transactions : application at the piloting of an UAV. |
|
Automatisation de la mise au point de lois de contrôle de systèmes cyber-physiques évoluant en environnement incertain |
|
Calcul efficace du pire temps d'exécution symbolique à base d'arbres |
|
Combining SysML and SystemC to Simulate and Verify Complex Systems |
|
Conception d'un outil d'optimisation dynamique du schéma d'exploitation du réseau de distribution d'électricité de SRD |
|
Conception et validation d'AeroRing - un réseau de communication Ethernet en double anneau pour les systèmes avioniques de nouvelle génération |
|
Conditions d'ordonnançabilité pour un langage dirigé par le temps |
|
Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF |
|
Contributions to the scheduling and analysis of critical real-time systems. |
|
A design space exploration approach to jointly optimize security and schedulability in TSP systems. |
|
Dynamic Optimization for Electrical Distribution Network applied to SRD. |
|
Efficient tree-based symbolic WCET computation. |
|
Eléments de sûreté nucléaire : les réacteurs de recherche |
|
Elements of nuclear safety : research reactors |
|
Un environnement unifié pour le développement sur puce à cœurs asymétriques |
|
Estimation et prédiction des productions d'énergies renouvelables et des consommations d'un réseau de distribution d'électricité |
|
Étude des techniques de virtualisation pour des systèmes temps-réel et reconfigurables dynamiquement. |
|
Evaluation et analyse d'applications Linux sur processeur multi-coeur en environnement spatial |
|
Exploration d'architectures logicielle pour les systèmes critiques partitionnés sécurisés |
|
Fixed priority and EDF scheduling of tasks with offset. |
|
Formal proof in network calculus. |
|
Un framework d'aide au déploiement et à la personnalisation des systèmes temps réel : application aux autopilotes de drones |
|
Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach.. |
|
Implementing a Real-time Avionic application on a Many-core Processor. |
|
Intégration de l'analyse de propriétés non-fonctionnelles dans l'Ingénierie Dirigée par les Modèles pour les systèmes embarqués |
|
Integration of the Analysis of Non-Functional Properties in Model-Driven Engineering for Embedded Systems. |
|
Méthode de génération d'exécutif temps-réel |
|
Méthodologies pour l'évaluation de performances d'architectures réseaux smart grids |
|
Model-based framework for using advanced scheduling theory in real-time systems design = Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel |
|
Modélisation et vérification formelles d’un RTOS multicoeur conforme à AUTOSAR. |
|
Ordonnancement des tâches avec des dépendances et des temps d'exécution probabilistes sur processeur multi-cœurs |
|
Ordonnancement temps-reel hors-ligne optimal a l'aide de reseaux de Petri en environnement monoprocesseur et multiprocesseur |
|
Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d'exploitation |
|
Performance evaluation methodologies for substation automation networks. |
|
Prédiction du temps d'exécution d'applications dans des architectures multi-coeur |
|
Preuve formelle en calcul réseau |
|
Prévention des fautes temporelles sur architectures multicoeur pour les systèmes à criticité mixte |
|
Process of real-time operating systems generation. |
|
Research on virtualisation technlogy for real-time reconfigurable systems |
|
Revisiter le partitionnement des données pour le traitement scalable des graphes RDF. |
|
Revisiting Data Partitioning for Scalable RDF Graph Processing |
|
Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnacement équitable tolérant aux pannes matérielles |
|
Robustness of Multicore Real-Time Apllications : Building Techniques for Processor Failures Tolerant Scheduling. |
|
Schedulability analysis for the design of reliable and cost-effective automotive embedded systems |
|
Scheduling conditions for a time-triggered language. |
|
Scheduling of Dependent Tasks with Probabilistic Execution Times on Multi-core Processors. |
|
Specification and Analysis of AeroRing - A Full Duplex Ethernet Ring Network for New Generation Avionics Systems. |
|
Systèmes temps réel de contrôle-commande conception et implémentation |
|
Temporal allocation in distributed modular avionics systems. |
|
A Toolkit for the development of real-time systems based on a graphical dataflow language. |
|
Towards a Safe and Modular Architecture for Autonomous Drone Autopilots |
|
Towards networks convergence in avionics. |
|
A Unified Development Environment for Asymmetric System on a Chip. |
|
Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. |
|
Vérification de propriétés de conception à l’exécution à l’aide d’une approche IDM, model@run.time verification - Application aux véhicules connectés autonomes. |
|
Vers la convergence de réseaux dans l'avionique |
|
Vers une conception modulaire et sûre des autopilotes des drones autonomes. |
|