Modeles de temps pour la veri?cation des systemes temps-reel

Nabil Belala - Collection Omn.univ.europ.

128 pages, parution le 01/10/2018

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

Actuellement, les méthodes formelles sont de plus en plus utilisées dans le but d'analyser le comportement les systèmes dits temps-réel. Ces méthodes utilisent des modèles formels de spécification dotés de sémantiques bien définies et des techniques de vérification formelle. D'autre part, les sémantiques de vrai parallélisme, comme la sémantique de maximalité, peuvent être utilisées à bon escient si on veut échapper à l'hypothèse de l'atomicité temporelle et structurelle des actions. Des travaux antérieurs ont montré l'aptitude de modèles basés sur la maximalité, à l'image des systèmes de transitions étiquetées maximales, à supporter l'expression du parallélisme d'exécution d'actions. Notre travail qui s'inscrit dans le cadre de la spécification et la vérification formelle des systèmes temps-réel consiste à tirer profit des avantages offerts par la sémantique de maximalité en l'appliquant à quelques modèles temporels et/ou temporisés. Ainsi, nous proposons trois méthodes de génération de structures basés sur la maximalité (systèmes de transitions étiquetées maximales, DATA et DATA*) à partir de modèles de haut niveau.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Editions universitaires européennes
Auteur(s)	Nabil Belala
Collection	Omn.univ.europ.
Parution	01/10/2018
Nb. de pages	128
Format	15.2 x 22.9
Couverture	Broché
Poids	200g
EAN13	9786138420835