Skip to Main content Skip to Navigation
Books

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.
Complete list of metadata

https://hal.inria.fr/inria-00105904
Contributor : Nicolas Navet <>
Submitted on : Thursday, October 12, 2006 - 5:56:14 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

160