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

Ajouter à une liste

Indisponible

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

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

Systèmes temps réel - Volume 2

Découvrir tous les 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	-