Langage de spécification par propriétés (Cours + TD)

Univ Europeenne - EAN : 9783639503180

Bouraoui Ouni

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9783639503180

Paru le : 1 nov. 2018

49,90 € 47,30 €

Epuisé

Pour connaître votre prix et commander, identifiez-vous

Manquant sans date

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9783639503180
Réf. fournisseur : 2883287
Editeur : Univ Europeenne
Date Parution : 1 nov. 2018
Disponibilite : Manque sans date
Barème de remise : NS
Nombre de pages : 108
Format : H:220 mm L:150 mm E:7 mm
Poids : 170gr
Interdit de retour : Retour interdit

Résumé

Résumé : PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un système électronique. PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception. En comparant avec d'autres langages de programmation classiques, la syntaxe et la sémantique du PSL inclut notations des couches, dont chaque couche à sa propre syntaxe. L'objectif de ce livre est d'aider le lecteur à se familiariser au langage PSL. Ce livre est décomposé en deux parties. La première partie détaille les notions générales du langage PSL à savoir les couches et les instructions PSL. On a réservé un chapitre pour chaque couche. Chaque chapitre est bien équipé par des exemples ainsi que de chronogrammes "waves " de simulation. La deuxième partie "partie applicative" est réservée aux exercices. Cette partie à pour a pour objectif : -Adapter à coder en langage PSL -Ajouter les regèles de vérification -Simuler le code -Extraire les fautes éventuelles de conception -Voir les sources de ces fautes -Corriger les fautes éventuelles de conception
Biographie : Bouraoui Ouni est un maitre de conférences à école nationale d'ingénieurs de Sousse. Son domaine de recherche couvre : les architectures reconfigurables à base d'FPGA, techniques d'optimisation, conception des applications à base d'FPGA, théorie des graphes. Il est l'auteur de trois livres et l'auteur ou le co-auteur de plusieurs articles.

Du même auteur