Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/systemes-temps-reel-1-techniques-de-description-et-de-verification/navet/descriptif-9782746213036
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2138435

Systèmes temps réel 1 techniques de description et de vérification Traité IC2, série Informatique et Systèmes d'Information

Langue : Français

Coordonnateur : NAVET Nicolas

Couverture de l’ouvrage Systèmes temps réel 1
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.
Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA -B. Berthomieu, F. Vernadat. Combinaison entre vérification et test pour la validation de systèmes réactifs -C. Constant, Th. Jéron, H. Marchand, V. Rusu. Model checking : éléments de base -S. Merz. Vérification par automates temporisés -P. Bouyer, F. Laroussinie. Modélisation et analyse de systèmes asynchrones avec CADP -R. Mateescu. Vérification de programmes synchrones avec Lustre/Lesar -P. Raymond. Lucid Synchrone, un langage de programmation des systèmes réactifs -P. Caspi, G. Hamon, M. Pouzet. Vérification de systèmes probabilisés : méthodes et outils -S. Haddad, P. Moreaux. La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels -M. Bozga, S. Graf, L. Mounier, I. Ober. Description d'architectures pour le temps réel : l'approche AADL -A.-M. Déplanche, S. Faucou. Index.

Date de parution :

Ouvrage de 370 p.

23.4x15.6 cm

Épuisé

PDF 119,00 €
Télécharger