Sûreté des systèmes matériels
Vérification formelle, compositionnelle et automatique de systèmes de composants
Seiten
2017
Presses Académiques Francophones (Verlag)
978-3-8416-4203-5 (ISBN)
Presses Académiques Francophones (Verlag)
978-3-8416-4203-5 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
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.
Nicolas Ayache est ingénieur-chercheur en informatique, spécialisé en méthodes formelles. Il a obtenu son grade de docteur en 2010 à l'université Paris-Sud, et travaille depuis dans l'industrie ferroviaire.
| Erscheinungsdatum | 30.01.2017 |
|---|---|
| Sprache | französisch |
| Maße | 150 x 220 mm |
| Gewicht | 310 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Schlagworte | analyses statiques • interprétation abstraite • méthodes formelles • Model Checking • SystemC • systèmes de composants matériels |
| ISBN-10 | 3-8416-4203-9 / 3841642039 |
| ISBN-13 | 978-3-8416-4203-5 / 9783841642035 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen und praktische Anwendungen von Transpondern, kontaktlosen …
Buch (2023)
Hanser (Verlag)
CHF 125,95
