| Titre : | Méthodes formelles pour la vérification des systèmes embarqués (2007) |
| Auteurs : | Emmanuelle Encrenaz-Tiphene, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Techniques de l'ingénieur HB (Vol. HB4, Trimestriel) |
| Article en page(s) : | 25 p. |
| Note générale : | Bibliogr. |
| Langues : | Français |
| Tags : | Panorama ; Systèmes embarqués ; Informatique ; Électronique ; Automatique |
| Résumé : | L’article présente trois grandes classes de méthodes formelles utilisées pour assurer des propriétés fonctionnelles (de parties) de systèmes embarqués : la démonstration assistée de preuve, l’examen automatisé des comportements du système (model-checking et interprétation abstraite), le raffinement de spécification. Dans chaque cas, on présente le principe, les principaux outils académiques et certains outils industriels ainsi que les réalisations pratiques. |
| REFERENCE : | H 8 250 |
| Date : | Février 2013 |
| En ligne : | http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/genie-logiciel-42306210/methodes-formelles-pour-la-verification-des-systemes-embarques-h8250/ |
