HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Thursday, October 12, 2006 - 5:56:14 PM
Last modification on : Friday, February 4, 2022 - 3:22:00 AM

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

48