Environnement de conception d'automatismes discrets basé sur le langage Signal - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

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

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3254.pdf (203.79 Ko) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00073435

Soumis le : mercredi 24 mai 2006-12:48:04

Dernière modification le : vendredi 24 mars 2023-14:52:47

Archivage à long terme le : dimanche 4 avril 2010-23:46:32

Télécharger pour visualiser

Dates et versions

inria-00073435 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00073435 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA INRIA-RRRT INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
61 Consultations
41 Téléchargements

Partager

Gmail Facebook X LinkedIn More