Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Systèmes temps réel - Volume 1
Ajouter à une liste

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

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

380 pages, parution le 11/05/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

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de 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 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription