Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
In<strong>de</strong>x<br />
AltaRica<br />
Assertion, 37<br />
Évènement, 35<br />
Hiérarchie, 38<br />
Synchronisation, 39<br />
Syntaxe du <strong>la</strong>ngage, 33<br />
Transition, 36<br />
Variable d’état, 34<br />
Variable <strong>de</strong> flux, 34<br />
AMDE, 22<br />
AMDE formelle, 94<br />
Arbre <strong>de</strong> Défail<strong>la</strong>nce, 23<br />
Coupe, 25<br />
Coupe minimale, 25<br />
Génération automatique d’, 49<br />
Ordre d’une coupe, 25<br />
Automate <strong>de</strong> Mo<strong>de</strong>, 41<br />
Composition parallèle d’, 42<br />
Configuration d’un, 42<br />
Connexion d’, 43<br />
Mo<strong>de</strong> d’un, 42<br />
Synchronisation d’, 46<br />
Modélisation, 32<br />
PSSA, 21<br />
Réseaux <strong>de</strong> Petri, 27<br />
Risque, 12<br />
Sécurité, 17<br />
SSA, 21<br />
Sûreté <strong>de</strong> Fonctionnement, 12<br />
Système, 13<br />
Hétérogéneité <strong>de</strong>s, 14<br />
Système Complexe, 13<br />
Test<br />
Condition, 112<br />
Décision, 112<br />
Jeu <strong>de</strong>, 109<br />
Test boîte b<strong>la</strong>nche, 110<br />
Test boîte noire, 110<br />
CCA, 21<br />
Couverture <strong>de</strong> modèle, 111<br />
Critères <strong>de</strong>, 112<br />
Mesure <strong>de</strong>, 111<br />
DAL, 20<br />
Défail<strong>la</strong>nce, 15<br />
Condition <strong>de</strong>, 16<br />
Mo<strong>de</strong> <strong>de</strong>, 16<br />
Disponibilité, 17<br />
FHA, 18<br />
Fiabilité, 16<br />
Forme Normale Disjonctive, 121<br />
Graphe <strong>de</strong> Markov, 26<br />
Maintenabilité, 16<br />
Métho<strong>de</strong> SCR, 95<br />
Mo<strong>de</strong>l-Checking, 50<br />
Modèle, 32<br />
159