Caractérisation de la sûreté de fonctionnement de systèmes à base d'intergiciel
نویسنده
چکیده
pour l'honneur qu'ils me font en participant à ce Jury, et particulièrement Messieurs João Silva et Gilles Muller qui ont accepté la charge d'être rapporteurs. J'exprime ma gratitude à João Silva pour qui la langue dans laquelle est rédigé ce manuscrit a représenté une charge de travail supplémentaire. Ces travaux ont été partiellement financés par la Communauté Européenne dans le cadre du projet IST Dependable Systems of Systems. La participation à ce projet a été une expérience enrichissante, et j'ai tiré de nombreux enseignements des travaux mênés avec les différents partenaires du projet.
منابع مشابه
Vers la génération de modèles de sûreté de fonctionnement
Résumé. La conception et le développement de systèmes embarqués critiques sont assujettis à la fois à des objectifs économiques mais également au respect des normes de sécurité. Dès lors, la qualité des analyses de sûreté de fonctionnement et des interactions entre les experts de sûreté de fonctionnement et les équipes de développement est primordiale. Partant du constat que les échanges entre ...
متن کاملSysml Knowledge base for Designing Dependable Complex System
Résumé Le travail présenté dans cet article s’inscrit dans la proposition d’un cadre de conception des systèmes complexes aussi complet et rigoureux que possible. Le cadre méthodologique utilisé est l’Ingénierie Système, qui est une démarche méthodologique pour maîtriser la conception des systèmes et produits complexes. Les pratiques de cette démarche sont aujourd’hui répertoriées dans des norm...
متن کاملEtalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملCaractérisation des anticorps inhibant la Fixation du Complément dans les sérum de bovins immunisés à l'aide d'un vaccin antiaphteux
متن کامل
Eléments de caractérisation des environnements des systèmes pair à pair
RÉSUMÉ. Pour évaluer les systèmes pair à pair, il est nécessaire de comprendre les influences qui s’exercent sur eux. Dans cet article nous avons étudié certaines de ces influences d’un point de vue client contrairement au point de vue serveur usuel. Une caractérisation d’un certain nombre de ces facteurs influents tels que l’activité des utilisateurs ou la présence de différents types de fichi...
متن کامل