BIBLIOTHEQUE ST
Détail de l'auteur
Auteur Nicolas Navet |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Systemes Temps Réel 1 / Nicolas Navet
Titre : Systemes Temps Réel 1 : Techniques De Description Et De Vérification Type de document : texte imprimé Auteurs : Nicolas Navet, Auteur Editeur : Paris : Lavoisier Année de publication : 2006 Collection : Traité IC2 - Informatique et systèmes d\'information Importance : 370p. Présentation : couv.ill.fig.tab.ind. Format : 24×16cm. ISBN/ISSN/EAN : 978-2-7462-1303-6 Langues : Français (fre) Index. décimale : 384 Communications. Télécommunications Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté outils de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
Note de contenu : "Sommaire
 Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA
 Combinaison entre vérification et test pour la validation de systèmes réactifs
 Model checking : éléments de base
 Vérification par automates temporisés
 Modélisation et analyse de systèmes asynchrones avec CADP
 Vérification de programmes synchrones avec Lustre/Lesar
 Synchrone, un langage de programmation des systèmes réactifs
 Vérification de systèmes probabilisés : méthodes et outils
 La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels
 Description d'architectures pour le temps réel : l'approche AADL
"
Systemes Temps Réel 1 : Techniques De Description Et De Vérification [texte imprimé] / Nicolas Navet, Auteur . - Paris : Lavoisier, 2006 . - 370p. : couv.ill.fig.tab.ind. ; 24×16cm.. - (Traité IC2 - Informatique et systèmes d\'information) .
ISBN : 978-2-7462-1303-6
Langues : Français (fre)
Index. décimale : 384 Communications. Télécommunications Résumé : Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté outils de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
Note de contenu : "Sommaire
 Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA
 Combinaison entre vérification et test pour la validation de systèmes réactifs
 Model checking : éléments de base
 Vérification par automates temporisés
 Modélisation et analyse de systèmes asynchrones avec CADP
 Vérification de programmes synchrones avec Lustre/Lesar
 Synchrone, un langage de programmation des systèmes réactifs
 Vérification de systèmes probabilisés : méthodes et outils
 La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels
 Description d'architectures pour le temps réel : l'approche AADL
"
Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité 09/141322 L/384.026 Livre Bibliothèque Science et Technologie indéterminé Exclu du prêt 10/167869 L/384.026 Livre Bibliothèque Science et Technologie indéterminé Disponible