buchspektrum Internet-Buchhandlung

Neuerscheinungen 2017

Stand: 2020-02-01
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

Nicolas Ayache

Sûreté des systèmes matériels


Vérification formelle, compositionnelle et automatique de systèmes de composants
2017. 196 S. 220 mm
Verlag/Jahr: PRESSES ACADÉMIQUES FRANCOPHONES 2017
ISBN: 3-8416-4203-9 (3841642039)
Neue ISBN: 978-3-8416-4203-5 (9783841642035)

Preis und Lieferzeit: Bitte klicken


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 sûreté 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.