Réécriture d'un modèle MCSE à l'aide du langage FIACRE
Résumé
Le travail présenté dans ce document s'inscrit dans une démarche de conception des systèmes embarqués. Il se focalise sur les règles de réécriture d'un modèle exprimé en MCSE dans le langage FIACRE. Cette réécriture vise à permettre une vérification formelle des propriétés du modèle tout en garantissant le respect de la sémantique du langage de haut-niveau MCSE. Les règles exposées couvrent la totalité de l'expressivité du modèle d'entrée et sont illustrées sur des exemples simples.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...