University Sétif 1 FERHAT ABBAS Faculty of Sciences
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Informatique Temps réel (informatique) Méthodes formelles (informatique)'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
Systèmes temps réel V.1 / Nicolas Navet
Titre : Systèmes temps réel V.1 : Techniques de description et de vérification Type de document : texte imprimé Auteurs : Nicolas Navet ; Olivier Salvatori Editeur : Paris : Hermès science publications Année de publication : 2006 Collection : Informatique et systèmes d'information/Pommerol,Jean-Chrles Importance : 1 vol. (370 p .) Format : 24cm ISBN/ISSN/EAN : 978-2-7462-1303-6 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique
Temps réel (informatique)
Méthodes formelles (informatique)Index. décimale : 003 - Systèmes 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 formellesNote 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 AADLCôte titre : Fs/12556,Fs/11784-11786,Fs/13258-13259 Systèmes temps réel V.1 : Techniques de description et de vérification [texte imprimé] / Nicolas Navet ; Olivier Salvatori . - Paris : Hermès science publications, 2006 . - 1 vol. (370 p .) ; 24cm. - (Informatique et systèmes d'information/Pommerol,Jean-Chrles) .
ISBN : 978-2-7462-1303-6
Langues : Français (fre)
Catégories : Informatique Mots-clés : Informatique
Temps réel (informatique)
Méthodes formelles (informatique)Index. décimale : 003 - Systèmes 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 formellesNote 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 AADLCôte titre : Fs/12556,Fs/11784-11786,Fs/13258-13259 Exemplaires (6)
Code-barres Cote Support Localisation Section Disponibilité Fs/11784 Fs/11784-11786 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11785 Fs/11784-11786 livre Bibliothéque des sciences Français Disponible
DisponibleFs/11786 Fs/11784-11786 livre Bibliothéque des sciences Français Disponible
DisponibleFs/12556 Fs/12556 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13258 Fs/13258-13259 livre Bibliothéque des sciences Français Disponible
DisponibleFs/13259 Fs/13258-13259 livre Bibliothéque des sciences Français Disponible
Disponible