Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques

Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques

Show other versions (1)

Aujourd'hui, les systèmes embarqués sont de plus en plus utilisés pour contrôler les systèmes complexes. Dans ce travail de thèse, nous nous intéressons aux systèmes embarqués critiques utilisés pour la commande de systèmes de transport comme les systèmes ferroviaires. Le but de ce travail est...

Full description

Bibliographic Details
Main Author:	Saddem, Ramla
Other Authors:	Ecole centrale de Lille
Language:	fr
Published:	2012
Subjects:	Diagnostic des fautes Diagnostiqueur Diagnosticabilité Systèmes embarqués Chronique Model-cheking SED Observateur Fault diagnosis Diagnoser Diagnosability Embedded systems Chronicles DES Observer
Online Access:	http://www.theses.fr/2012ECLI0031/document

Similar Items

Diagnosticabilité modulaire appliquée au Diagnostic en ligne des Systèmes Embarqués Logiques
by: Saddem, Ramla
Published: (2012)

Sir John Cheke's The hurt of sedition : a critical edition /
by: Mueller, Joan Eileen
Published: (1960)

Diagnostic et Diagnosticabilité des Systèmes à Evénements Discrets Complexes Modélisés par des Réseaux de Petri Labellisés
by: Li, Ben
Published: (2017)

Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés
by: Batteux, Michel
Published: (2011)

Une approche efficace pour l’étude de la diagnosticabilité et le diagnostic des SED modélisés par Réseaux de Petri labellisés : contextes atemporel et temporel
by: Liu, Baisi
Published: (2014)

Analyse de diagnosticabilité d'architecture de fonctions embarquées - Application aux architectures automobiles
by: Khlif, Manel
Published: (2010)

Robustesse du logiciel embarqué multicouche par une approche réflexive : application à l'automobile
by: Lu, Caroline
Published: (2009)

Optimized diagnosability of distributed discrete event systems through abstraction
by: Ye, Lina
Published: (2011)

Diagnosticabilité et diagnostic de systèmes technologiques pilotés
by: Batteux, Michel
Published: (2011)

Peste des Petits Ruminant: Exotic Ruminant Disease That Should Be Anticipated
by: Indrawati Sendow, et al.
Published: (2014-03-01)

Un point de vue unifié sur la diagnosticabilité
by: Pucel, Xavier
Published: (2008)

Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés.
by: Batteux, Michel
Published: (2011)

Contributions à la vérification et à la validation efficaces fondées sur des modèles
by: Dreyfus, Alois
Published: (2014)

Clinical value of different detection methods in blunt ocular trauma
by: Yang Li, et al.
Published: (2018-02-01)

Active Diagnosis of Hybrid Systems Guided by Diagnosability Properties - Application to Autonomous Satellites
by: Bayoudh, Mehdi
Published: (2009)

Modélisation et simulation qualitative de systèmes hybrides
by: Zaatiti, Hadi
Published: (2018)

Robustesse du logiciel embarqué multicouche par une approche réflexive: application à l'automobile
by: Lu, Caroline
Published: (2009)

Uses of Inflammatory Markers for Differentiation of Intrahepatic Mass-Forming Cholangiocarcinoma from Liver Abscess: Case-Control Study
by: Sun Chul Lee, et al.
Published: (2020-10-01)

The Conditional Diagnosability of Exchanged Crossed Cube
by: Chen Guo, et al.
Published: (2018-01-01)

Influence of Childhood Exposure to a Farming Environment on Age at Asthma Diagnosis in a Population-Based Study
by: Andersén H, et al.
Published: (2021-09-01)

Assessment of Agreement between Clinical Diagnosis and Pathologic Report in the Soft Tissue Lesions of the Patients Referring to Pathology Department of Dental School, Tehran and Shahid Beheshti University of Medical Sciences During 2005-2008
by: S Ravaei, et al.
Published: (2013-01-01)

The final assessment and its association with field assessment in patients who were transported by the emergency medical service
by: Carl Magnusson, et al.
Published: (2018-12-01)

Practical way of creating differential diagnoses through an expanded VITAMINSABCDEK mnemonic
by: Zabidi-Hussin ZA
Published: (2016-04-01)

A rare manifestation of tuberculosis: Scrofuloderma
by: Savaş Öztürk, et al.
Published: (2011-03-01)

Giant pilomatrixoma: A rare case with diagnostic difficulties
by: Bilgen Can
Published: (2018-01-01)

Diagnosis in the Emergency Department – a continuous challenge (case report)
by: Irina-Anca EREMIA, et al.
Published: (2020-09-01)

Test et Surveillance Intégrés des Systèmes Embarqués
by: Simeu, E.
Published: (2005)

Une approche basée modèle pour l’optimisation du monitoring de systèmes avioniques relativement à leurs performances de diagnostic
by: Kuntz, Fabien
Published: (2013)

An Examination of Endometriosis Hospital Diagnoses in 2012 and 2013 across the United States
by: Wogenstahl, Kevin
Published: (2016)

Chronic Migraine: How to Diagnose and Manage
by: Niphon Poungvarin
Published: (2020-04-01)

A Retrospective Study on 1587 Exotic Pets Presented to The Small Animal Veterinary Hospital, University of Tehran
by: Naqa S. M Tamimi, et al.
Published: (2021-05-01)

Efektifitas The 6 Steps Reasoning Diagnosis Method dan Intan,s Clinical Reasoning Model (ICRM) dalam Penentuan Standar Asuhan Keperawatan (SAK) pada Setting Keperawatan Maternitas
by: Lisa Suarni
Published: (2017-11-01)

Diagnosing Myocardial Contusion after Blunt Chest Trauma
by: Zahra Alborzi, et al.
Published: (2016-10-01)

An improved algorithm for rapid diagnosis of pleural tuberculosis from pleural effusion by combined testing with GeneXpert MTB/RIF and an anti-LAM antibody-based assay
by: Qingtao Liang, et al.
Published: (2019-06-01)

Role of exosomal proteins in cancer diagnosis
by: Weihua Li, et al.
Published: (2017-08-01)

The path to subcutaneous emphysema
by: Cyriac Abby Philips
Published: (2016-12-01)

Assessment of psychiatric consultations in an educational-research hospital and accuracy rates of recognition of psychiatric diseases
by: İrem Ekmekci Ertek, et al.
Published: (2019-10-01)

Celiac Disease
by: Manoochehr Karjoo
Published: (2014-08-01)

Diagnosed but Not Undiagnosed Diabetes Is Associated with Depression in Rural Areas
by: Zhao Li, et al.
Published: (2016-11-01)

Nursing Diagnoses Of Patients With Neurological Disorders In Ward
by: Suyanto Suyanto
Published: (2018-10-01)