Documents disponibles écrits par cet auteur

Méthodes formelles pour la vérification des systèmes embarqués / Emmanuelle Encrenaz-Tiphene in Techniques de l'ingénieur HB, Vol. HB4 (Trimestriel) 

Public ISBD [article]  in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p. Titre : Méthodes formelles pour la vérification des systèmes embarqués Type de document : texte imprimé Auteurs : Emmanuelle Encrenaz-Tiphene, Auteur Année de publication : 2007 Article en page(s) : 25 p. Note générale : Bibliogr. Langues : Français (fre) Mots-clés : 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-informati [...] [article] Méthodes formelles pour la vérification des systèmes embarqués [texte imprimé] / Emmanuelle Encrenaz-Tiphene, Auteur . - 2007 . - 25 p. Bibliogr. Langues : Français (fre) in Techniques de l'ingénieur HB > Vol. HB4 (Trimestriel) . - 25 p. Mots-clés : 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-informati [...]