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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 12:48:04 PM
Last modification on : Friday, February 4, 2022 - 3:23:18 AM
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

59

Files downloads

37