Systèmes temps réel V.1 / Nicolas Navet

Public ISBD 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

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11784	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11785	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11786	Fs/11784-11786	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12556	Fs/12556	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13258	Fs/13258-13259	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13259	Fs/13258-13259	livre	Bibliothéque des sciences	Français	Disponible Disponible

Systèmes temps réel V.2 / Nicolas Navet

Public ISBD Titre : Systèmes temps réel V.2 : Ordonnancement,réseaux et qualité de service Type de document : texte imprimé Auteurs : Nicolas Navet ; Pascal Junod Editeur : Paris : Hermès science publications Année de publication : 2006 Collection : Informatique et systèmes d'information/Pommerol,Jean-Chrles Importance : 1 vol. (334 p .) Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1304-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique 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 second tome est consacré aux mécanismes exécutifs permettant l'obtention d'une "qualité de service" temps réel. En particulier, seront largement étudiés les stratégies d'ordonnancement de tâches ainsi que les réseaux et protocoles de communication temps réel. Note de contenu : Sommaire Ordonnancement monoprocesseur Ordonnancement temps réel mutliprocesseur Conception conjointe commande/ordonnancement et ordonnancement régulé Ordonnancement temps réel et minimisation de la consommation d'énergie Méthodes d'obtention de majorants sur les temps d'exécution : état de l'art et perspectives Java pour le temps réel Mammeri. Qualité de service temps réel selon le modèle firm -Ye-Qiong Song, A. Koubaa, J. Li. L'accès au médium. Concepts des protocoles MA Réseaux temps réels embarqués dans les véhicules Simonot-Lion, N. Navet Ethernet industriel -J.-D. Decotignie Côte titre : Fs/12557,Fs/11787-11789,Fs/13260-13261 Systèmes temps réel V.2 : Ordonnancement,réseaux et qualité de service [texte imprimé] / Nicolas Navet ; Pascal Junod . - Paris : Hermès science publications, 2006 . - 1 vol. (334 p .) ; 24 cm. - (Informatique et systèmes d'information/Pommerol,Jean-Chrles) . ISBN : 978-2-7462-1304-3 Langues : Français (fre) Catégories : Informatique Mots-clés : Informatique Index. décimale : 004 - Informatique 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 second tome est consacré aux mécanismes exécutifs permettant l'obtention d'une "qualité de service" temps réel. En particulier, seront largement étudiés les stratégies d'ordonnancement de tâches ainsi que les réseaux et protocoles de communication temps réel. Note de contenu : Sommaire Ordonnancement monoprocesseur Ordonnancement temps réel mutliprocesseur Conception conjointe commande/ordonnancement et ordonnancement régulé Ordonnancement temps réel et minimisation de la consommation d'énergie Méthodes d'obtention de majorants sur les temps d'exécution : état de l'art et perspectives Java pour le temps réel Mammeri. Qualité de service temps réel selon le modèle firm -Ye-Qiong Song, A. Koubaa, J. Li. L'accès au médium. Concepts des protocoles MA Réseaux temps réels embarqués dans les véhicules Simonot-Lion, N. Navet Ethernet industriel -J.-D. Decotignie Côte titre : Fs/12557,Fs/11787-11789,Fs/13260-13261

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11787	Fs/11787-11789	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11788	Fs/11787-11789	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11789	Fs/11787-11789	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12557	Fs/12557	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13261	Fs/13260-13261	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13260	Fs/13260-13261	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 2 / 2)