|
| Titre : | Systèmes temps réel. 1, Techniques de description et de vérification | | Type de document : | texte imprime | | Auteurs : | Nicolas Navet | | Editeur : | Paris : Hermes science publ. | | Année de publication : | cop. 2006 | | Collection : | Traités IC2 | | Titres uniformes : |
Systèmes temps réel :
| | Importance : | (370 p.-VII) | | Présentation : | graph. | | Format : | 24 cm | | ISBN/ISSN/EAN : | 978-2-7462-1303-6 | | Note générale : |
Bibliogr. en fin de chapitres. Index | | Langues : | Français | | Mots-clés : | Ingénierie des systèmes Ordonnancement (gestion)Temps réel (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 : |
Chapitre 1. Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA
Chapitre 2. Combinaison entre vérification et test pour la validation de systèmes réactifs
Chapitre 3. Model checking : éléments de base
Chapitre 4. Vérification par automates temporisés
Chapitre 5. Modélisation et analyse de systèmes asynchrones avec CADP
Chapitre 6. Vérification de programmes synchrones avec Lustre/Lesar
Chapitre 7. Lucid Synchrone, un langage de programmation des systèmes réactifs
Chapitre 8. Vérification de systèmes probabilisés : méthodes et outils
Chapitre 9. La boîte à outils IF pour la modélisation et la vérification de systèmes temps réel
Chapitre 10. Description d'architectures pour le temps réel : l'approche AADL | | Permalink : | ./index.php?lvl=notice_display&id=13367 |
Systèmes temps réel. 1, Techniques de description et de vérification [texte imprime] / Nicolas Navet . - Paris : Hermes science publ., cop. 2006 . - (370 p.-VII) : graph. ; 24 cm. - ( Traités IC2) . ISBN : 978-2-7462-1303-6 Oeuvre : Systèmes temps réel :
Bibliogr. en fin de chapitres. Index Langues : Français | Mots-clés : | Ingénierie des systèmes Ordonnancement (gestion)Temps réel (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 : |
Chapitre 1. Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA
Chapitre 2. Combinaison entre vérification et test pour la validation de systèmes réactifs
Chapitre 3. Model checking : éléments de base
Chapitre 4. Vérification par automates temporisés
Chapitre 5. Modélisation et analyse de systèmes asynchrones avec CADP
Chapitre 6. Vérification de programmes synchrones avec Lustre/Lesar
Chapitre 7. Lucid Synchrone, un langage de programmation des systèmes réactifs
Chapitre 8. Vérification de systèmes probabilisés : méthodes et outils
Chapitre 9. La boîte à outils IF pour la modélisation et la vérification de systèmes temps réel
Chapitre 10. Description d'architectures pour le temps réel : l'approche AADL | | Permalink : | ./index.php?lvl=notice_display&id=13367 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesSystèmes temps réel. 1, Techniques de description et de vérification / Nicolas Navet (cop. 2006)
