Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Systèmes temps réel - Volume 1

Librairie Eyrolles - Paris 5e
Indisponible

Systèmes temps réel - Volume 1

Systèmes temps réel - Volume 1

Technique de description et de vérification

- Collection Traité IC2 - Informatique et systèmes d'information

380 pages, parution le 01/06/2006

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.

L'auteur Nicolas Navet

Autres livres de Nicolas Navet

Sommaire

  • Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA
  • Combinaison entre vérification et test pour la validation de systèmes réactifs
  • Model checking : éléments de base
  • Vérification par automates temporisés
  • Modélisation et analyse de systèmes asynchrones avec CADP
  • Vérification de programmes synchrones avec Lustre/Lesar
  • Synchrone, un langage de programmation des systèmes réactifs
  • Vérification de systèmes probabilisés : méthodes et outils
  • La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels
  • Description d'architectures pour le temps réel : l'approche AADL
Voir tout
Replier

Caractéristiques techniques du livre "Systèmes temps réel - Volume 1"

  PAPIER
Éditeur(s) Hermès - Lavoisier
Auteur(s) Nicolas Navet
Collection Traité IC2 - Informatique et systèmes d'information
Parution 01/06/2006
Nb. de pages 380
Format 16 x 24,5
Couverture Relié
Poids 810g
Intérieur Noir et Blanc
EAN13 9782746213036
ISBN13 978-2-7462-1303-6
Sélection de Noël

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925