Modèles de temps pour la véri¿cation des systèmes temps-réel
Nabil Belala
Broschiertes Buch

Modèles de temps pour la véri¿cation des systèmes temps-réel

Versandkostenfrei!
Versandfertig in 6-10 Tagen
35,99 €
inkl. MwSt.
PAYBACK Punkte
18 °P sammeln!
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é, à ...