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 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
Cô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 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
Côte titre :	Fs/12556,Fs/11784-11786,Fs/13258-13259