Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Développement formel des systèmes automatisés

Audience : Adulte - Grand Public
Le Pitch
Ce livre présente une méthode de développement de systèmes automatisés basée sur les méthodes formelles B et TLA+. Le développement par raffinement est au cœur de la méthode proposée. Un système automatisé est modélisé par deux composants, un contrôlé formé par le dispositif physique et son environnement, et un contrôleur pilotant ce dernier. Les auteurs proposent une approche combinant le B événementiel et le langage de modélisation TLA+ pour la vérification des propriétés de vivacité. Ils définissent une extension syntaxique et sémantique du B événementiel permettant d'exprimer des propriétés de vivacité. Dans une deuxième partie, ils présentent une approche de développement des systèmes automatisés en utilisant la technique de composition et en appliquant le raffinement à la fois sur le contrôleur et le contrôlé. Enfin, ils abordent la définition, la preuve et l'utilisation d'un patron de raffinement pour les processus continus dans des systèmes de production manufacturière. Afficher moinsAfficher plus

Développement formel des systèmes automatisés

89,00 €
Sélectionnez la condition
89,00 €

Le Pitch

Ce livre présente une méthode de développement de systèmes automatisés basée sur les méthodes formelles B et TLA+. Le développement par raffinement est au cœur de la méthode proposée. Un système automatisé est modélisé par deux composants, un contrôlé formé par le dispositif physique et son environnement, et un contrôleur pilotant ce dernier. Les auteurs proposent une approche combinant le B événementiel et le langage de modélisation TLA+ pour la vérification des propriétés de vivacité. Ils définissent une extension syntaxique et sémantique du B événementiel permettant d'exprimer des propriétés de vivacité. Dans une deuxième partie, ils présentent une approche de développement des systèmes automatisés en utilisant la technique de composition et en appliquant le raffinement à la fois sur le contrôleur et le contrôlé. Enfin, ils abordent la définition, la preuve et l'utilisation d'un patron de raffinement pour les processus continus dans des systèmes de production manufacturière. Afficher moinsAfficher plus

Détails du livre

Titre complet
Développement formel des systèmes automatisés
Auteur
Editeur
Format
Broché
Publication
10 octobre 2012
Audience
Adulte - Grand Public
Pages
320
Taille
22.9 x 15.2 x 1.8 cm
Poids
472
ISBN-13
9783838174501
Livré entre : 31 juillet - 5 août
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés