Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Contribution à la conception de systèmes temps-réel
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Contribution à la conception de systèmes temps-réel

Contribution à la conception de systèmes temps-réel

Christophe Lohr - Collection Omn.univ.europ.

204 pages, parution le 07/10/2010

Résumé

Cet ouvrage s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxième partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Caractéristiques techniques

  PAPIER
Éditeur(s) Editions universitaires européennes
Auteur(s) Christophe Lohr
Collection Omn.univ.europ.
Parution 07/10/2010
Nb. de pages 204
Format 15.2 x 22.9
Couverture Broché
Poids 308g
EAN13 9786131534706

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