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.
Type de document :
Rapport
[Rapport de recherche] RR-3254, INRIA. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00073435
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:48:04
Dernière modification le : mercredi 11 avril 2018 - 02:01:31
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:46:32

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

136

Téléchargements de fichiers

57