Skip to Main content Skip to Navigation
Reports

Environnement de conception d'automatismes discrets basé sur le langage Signal

Patricia Bournai 1 Michel Le Borgne 1 Hervé Marchand 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Résumé : Nous présentons l'intégration des techniques de vérification et de synthèse de contrôleurs dans l'environnement de programmation Signal à travers la description d'un prototype pour la conception d'automatismes et de logiciels sûrs les implémentant. Ce prototype est validé à travers divers exemples tirés du monde académique.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073435
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 12:48:04 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 11:46:32 PM

Identifiers

  • HAL Id : inria-00073435, version 1

Citation

Patricia Bournai, Michel Le Borgne, Hervé Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. [Rapport de recherche] RR-3254, INRIA. 1997. ⟨inria-00073435⟩

Share

Metrics

Record views

163

Files downloads

98