| Titre de série : |
Systèmes temps réel 1, 1 |
| Titre : |
Systèmes temps réel 1 : Techniques de description et de vérification |
| Type de document : |
texte imprimé |
| Auteurs : |
Nicolas Navet, Directeur de publication |
| Editeur : |
Paris : Hermès science publications-Lavoisier |
| Année de publication : |
2006 |
| Collection : |
Traités IC2. Série Informatique et systèmes d'information |
| Sous-collection : |
Informatique et systèmes d'information |
| Importance : |
370 p. |
| Présentation : |
ill., couv. ill. en coul. |
| Format : |
25 cm. |
| ISBN/ISSN/EAN : |
2-7462-1303-6 |
| Note générale : |
Notes bibliogr. Index. |
| Langues : |
Français (fre) |
| Index. décimale : |
08-07-Systèmes d'exploitation |
| 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. |
Systèmes temps réel 1, 1. Systèmes temps réel 1 : Techniques de description et de vérification [texte imprimé] / Nicolas Navet, Directeur de publication . - Paris : Hermès science publications-Lavoisier, 2006 . - 370 p. : ill., couv. ill. en coul. ; 25 cm.. - ( Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 2-7462-1303-6 Notes bibliogr. Index. Langues : Français ( fre)
| Index. décimale : |
08-07-Systèmes d'exploitation |
| 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. |
|  |
Affiner la recherche Interroger des sources externesSystèmes temps réel 1, 1. Systèmes temps réel 1
