Marchand96b

H. Marchand, E. Marchand, E. Rutten. Spécification et vérification de systèmes réactifs: expérimentations de la méthodologie synchrone SIGNAL. In Congrès AFCET ``Modélisation des systèmes réactifs'', Pages 3-11, Brest, Janvier 1996.

Télécharger l'article [Aide]

Charger l'article : Adobe portable document (pdf)

Copyright :

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

Cette page est générée automatiquement par bib2html v217, © Inria 2002-2015, Projet Lagadic

Résumé

signal est un langage synchrone flot de données, étendu par des tâches préemptives dans signalgti. Il est ainsi adapté à la spécification de systèmes réactifs présentant une dualité continu (échantillonné) et discret (événementiel ou séquentiel). La vérification formelle de leur correction se fait dans un modèle équationnel. Deux exemples de systèmes réactifs serviront de support à cet article

Contact

Éric Marchand

Référence BibTex

@InProceedings{Marchand96b,
   Author = {Marchand, H. and Marchand, E. and Rutten, E.},
   Title = {Spécification et vérification de systèmes réactifs: expérimentations de la méthodologie synchrone SIGNAL},
   BookTitle = {Congrès AFCET ``Modélisation des systèmes réactifs''},
   Pages = {3--11},
   Address = {Brest, France},
   Month = {January},
   Year = {1996}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)