The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

Albert Benveniste 1 Patricia Bournai 2 Thierry Gautier 2 Michel Le Borgne 3 Paul Le Guernic 2 Hervé Marchand 2
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
3 AIDA - Modeling and Machine Learning for Data Interpretation and Decision Assistance
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Harel and Pnueli showed (1985) that dynamical systems are an essential in the area of computer science. In this context they are called reactive systems. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design
Type de document :
Communication dans un congrès
40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.3284 - 3289, 2001, 〈10.1109/.2001.980328〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00526268
Contributeur : Hervé Marchand <>
Soumis le : jeudi 14 octobre 2010 - 10:42:18
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : samedi 15 janvier 2011 - 02:40:27

Fichier

2001-CDC-Signal.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, et al.. The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. 40th IEEE Conference on Decision and Control, Dec 2001, Orlando, United States. IEEE, pp.3284 - 3289, 2001, 〈10.1109/.2001.980328〉. 〈inria-00526268〉

Partager

Métriques

Consultations de la notice

547

Téléchargements de fichiers

160