Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Sureté des systèmes matériels
Academiques - EAN : 9783841642035
Édition papier
EAN : 9783841642035
Paru le : 4 janv. 2017
79,90 €
75,73 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783841642035
- Réf. fournisseur : 7017830
- Editeur : Academiques
- Date Parution : 4 janv. 2017
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 196
- Format : H:229 mm L:152 mm E:11 mm
- Poids : 296gr
- Interdit de retour : Retour interdit
- Résumé : Aujourd'hui, de nombreux systèmes à base de composants sont critiques ; leur fonctionnement requiert un niveau de confiance maximal. Cette thèse propose un cadre de description haut niveau, où la vérification accompagne la modélisation du système, et limite le problème de l'explosion combinatoire du model checkingp par une vérification modulaire des composants du système. L'approche se base sur les observateurs, qui s'exécutent en parallèle d'un système sans en modifier le comportement global et permettent de décrire des propriétés. La modularité de la vérification vient de la possibilité de remplacer avec sureté tout ou partie d'un système par un autre. Ceci est rendu possible par l'utilisation conjointe du model checking et de l'interprétation abstraite, ce qui assure le calcul d'un sur-ensemble des comportements du système. Alors que l'interprétation abstraite introduit des approximations, les observateurs permettent de distinguer des états qui auraient été fusionnés pour gagner la précision nécessaire. Ils pilotent les analyses en introduisant des instants d'observation. Décrits par l'utilisateur, ils permettent une mise au point interactive des états à fusionner.
