Systèmes temps réel 1 - Techniques de description et de vérification

Nicolas Navet 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Ouvrage (y compris édition critique et traduction)
Nicolas Navet. Hermes - Lavoisier, pp.368, 2006, 2-7462-1303-6
Liste complète des métadonnées

https://hal.inria.fr/inria-00105904
Contributeur : Nicolas Navet <>
Soumis le : jeudi 12 octobre 2006 - 17:56:14
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00105904, version 1

Collections

Citation

Nicolas Navet. Systèmes temps réel 1 - Techniques de description et de vérification. Nicolas Navet. Hermes - Lavoisier, pp.368, 2006, 2-7462-1303-6. 〈inria-00105904〉

Partager

Métriques

Consultations de la notice

134