La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de la conception, de la maintenabilité et de la disponibilité des systèmes multi composants. Chaque composant est assujetti à des défaillances aléatoires. De ce fait, la maintenabilité et la disponibilité font parties des caractéristiques essentielles à l atteinte des objectifs d exploitation du système. Cette thèse propose des outils permettant au concepteur de prendre en compte et de valider les exigences relatives à ces deux caractéristiques. Elle propose également des outils pour la prise en compte du contexte d utilisation du système en vue réduire les écarts souvent observés entre les caractéristiques annoncées et les caractéristiques réel...
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs d...
Colloque avec actes et comité de lecture.Dans le cadre de la construction de modèles d'information p...
Pour fonctionner correctement, les systèmes de commande et de surveillance des processus ont besoin ...
Thèse en cotutelle présentée à la Faculté des études supérieures de l'Université Laval dans le cadre...
La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
http://orbilu.uni.lu/bitstream/10993/8553/1/Actes%20LFA2013.pdfNational audienceCes travaux s'intére...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Un système de description des calculateurs à haute sûreté de fonctionnement est proposé et appliqué ...
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûret...
Un développement d'un système débute par la constitution, dans la phase de spécification des besoins...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
Dans le cadre général de l ingénierie simultanée, les travaux présentés dans cette thèse portent sur...
National audienceLe projet ARPH vise à rendre à une personne handicapée une part d'autonomie pour la...
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs d...
Colloque avec actes et comité de lecture.Dans le cadre de la construction de modèles d'information p...
Pour fonctionner correctement, les systèmes de commande et de surveillance des processus ont besoin ...
Thèse en cotutelle présentée à la Faculté des études supérieures de l'Université Laval dans le cadre...
La problématique abordée dans cette thèse concerne la prise en compte et la validation, au stade de ...
La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes comp...
http://orbilu.uni.lu/bitstream/10993/8553/1/Actes%20LFA2013.pdfNational audienceCes travaux s'intére...
Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes pe...
Un système de description des calculateurs à haute sûreté de fonctionnement est proposé et appliqué ...
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûret...
Un développement d'un système débute par la constitution, dans la phase de spécification des besoins...
Cette Habilitation à Diriger des Recherches est le fruit des résultats, tant en recherche qu'en ense...
La complexité croissante et la spécificité des systèmes embarqués nécessitent de structurer l'ensemb...
Dans le cadre général de l ingénierie simultanée, les travaux présentés dans cette thèse portent sur...
National audienceLe projet ARPH vise à rendre à une personne handicapée une part d'autonomie pour la...
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs d...
Colloque avec actes et comité de lecture.Dans le cadre de la construction de modèles d'information p...
Pour fonctionner correctement, les systèmes de commande et de surveillance des processus ont besoin ...