Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Parcourir le catalogue
par auteur:
Encrenaz-Tiphene , Emmanuelle
Affichage MARC
Auteur :
Encrenaz-Tiphene , Emmanuelle
Titre :
Méthodes formelles pour la vérification des systèmes embarqués , Emmanuelle Encrenaz-Tiphene
Notes :
Référence de l'article : h8250
Volume : base documentaire : TIP402WEB
Publié dans : Techniques de l'ingénieur. Technologies logicielles Architectures des systèmes
Date de publication : 2013/02/10
Les systèmes embarqués sont soumis à de nombreuses contraintes et certains sont en interaction étroite avec des procédés dangereux ou interviennent dans des processus de décisions impactant des vies humaines. Pour augmenter le degré de confiance en ces systèmes, plusieurs méthodes formelles peuvent être mises en oeuvre : la démonstration assistée de preuve, l'examen automatisé des comportements du système ou 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.
URL:
https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/systemes-embarques-42588210/methodes-formelles-pour-la-verification-des-systemes-embarques-h8250/
https://doi.org/10.51257/a-v1-h8250
Exemplaires
Pas de données exemplaires
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.