-
FACTEUR DE SENSIBILITE MULTI-DIRECTIONNELLE ET FACTEUR D'IMPORTANCE FIABILIST...
International audience -
TECHNICAL NETWORKS AS RISK PROPAGATORS IN URBAN ENVIRONMENTS - A THEORETICAL ...
Technical networks can be considered as critical infrastructures and appear vulnerable to flooding. Well-functioning of these networks is a major issue for flood risk... -
Monitoring en ligne des systèmes RFID en vue du diagnostic de fautes
International audience -
Formalisation des scénarios de défaillance d'un BDMP par automate ni
National audience -
Partitionable group membership in mobile ad hoc networks
In Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing... -
Promotion of the Model-Based System Engineering approach for dependability an...
Nowadays, industrial systems are getting more and more complicated, integrating various technologies. Their designs involve many different engineering fields to... -
Tolérance aux Fautes par Fusion de Données : Un Cas d'Étude
National audience -
Paramétrage de la démarche "Sureté de Fonctionnement"
Pour valider une conception, il convient de s'assurer : - Que le système répond aux exigences fonctionnelles demandées par le client (ou le service marketing). - Qu'il... -
Contribution à l'analyse des systèmes pilotés par calculateurs : extraction d...
The progressive integration of electronics in the car and avionics fields has lead to improvements in both functions and services. However, this has caused an... -
Development of dependable applications : a design-driven approach
In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their... -
Comment relier l'ingénierie système et la sûreté de fonctionnement ?
International audience -
Test and diagnostic of RFID Systems
RFID systems – for RadioFrequency Identification – are able to identify object or person without any contact or direct vision. For this reason, their use grows... -
Robust control under slackened real-time constraints
The development process of critical avionics products are done under strict safety regulations. These regulations include determinism and predictability of the... -
Représentation des défaillances de cause commune des systèmes programmés par ...
Journée du GTR "Recherche méthodologique" de l'Institut pour la Maîtrise des Risques (IMdR) -
Evaluation probabiliste et vérification déterministe en sûreté de fonctionnem...
Journée du GTR "Recherche Méthodologique" de l'Institut pour la Maîtrise des Risques (IMdR) -
Static analysis by abstract interpretation of concurrent programs
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development... -
Capitalizing safety of applications while being dynamically adapted : the Sat...
Dynamic adaptation technologies (components, aspects,...) arrive at maturity and allow for applications to be modified during their execution.If we consider safety as... -
Formal definition of coherency and computation of minimal cut sequences for b...
Preventive risk assessment of a complex system rely on a dynamic models which describe the link between the system failure and the scenarios of failure and repair... -
Robustness in Multicore Automotive Embedded Real-Time Systems
The feature content of new cars is increasing dramatically, which involves more demanding requirements. AUTOSAR (AUTomotive Open System ARchi- tecture) - an open and...
