- EAN13
- 9782746237452
- Éditeur
- Hermès science publications
- Date de publication
- 06/2008
- Langue
- français
- Fiches UNIMARC
- S'identifier
Management des opérations informatiques et ITIL (Coll. Management et informatique)
Jacques Moulinec, Lionel Loyer, Flemming Christensen, Hervé Guyader
Hermès science publications
Livre numérique
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.
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.
S'identifier pour envoyer des commentaires.