La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validation de tels systèmes devient le point clé du processus de conception. La validation répond pour plus de la moitié du temps de conception. Mais à chaque jour la validation devient plus difficile Cal les systèmes sont de plus en plus hétérogènes. Cette hétérogénéité touche plusieurs aspects du système, comme les niveaux d'abstraction, les APIs et protocoles de communication, les langages de spécification, entre autres. Les points clés pour réduire le temps de validation sont: (1) maîtriser l'intégration des composants hétérogènes à travers de l'adaptation de la communication, (2) et générer automatiquement le modèle de simulation du système. Ain...
Ce travail porte sur les techniques de description et de validation d'une catégorie de systèmes temp...
Rapport de contrat.Le but de ce document est de décrire le modèle OPNET développé pour la validation...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
Ces quelques dernières années, le monde de la conception des systèmes monopuces a subi un très grand...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
Contribution à un ouvrage.Ce chapitre présente une approche de validation d'applications temps réel ...
L'objectif de cette étude est de proposer une approche générale d'évaluation de la validité d'une Mo...
ISBN 2-84813-073-3As quality and time-to-market constraints of systems-on-chip increase, validation ...
La construction d'une application répartie fait en général intervenir une couche logicielle particul...
Ce mémoire constitue une étude de validation d'une architecture de systèmes répartis fans laquelle l...
Ces travaux de recherche proposent une approche de spécification et de validation d'un systeme de co...
Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de ...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
Ce travail porte sur les techniques de description et de validation d'une catégorie de systèmes temp...
Rapport de contrat.Le but de ce document est de décrire le modèle OPNET développé pour la validation...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
Ces quelques dernières années, le monde de la conception des systèmes monopuces a subi un très grand...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
Contribution à un ouvrage.Ce chapitre présente une approche de validation d'applications temps réel ...
L'objectif de cette étude est de proposer une approche générale d'évaluation de la validité d'une Mo...
ISBN 2-84813-073-3As quality and time-to-market constraints of systems-on-chip increase, validation ...
La construction d'une application répartie fait en général intervenir une couche logicielle particul...
Ce mémoire constitue une étude de validation d'une architecture de systèmes répartis fans laquelle l...
Ces travaux de recherche proposent une approche de spécification et de validation d'un systeme de co...
Les systèmes embarqués, y compris les dispositifs, l’intergiciel et le logiciel pour la création de ...
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de t...
Ce travail porte sur les techniques de description et de validation d'une catégorie de systèmes temp...
Rapport de contrat.Le but de ce document est de décrire le modèle OPNET développé pour la validation...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...