Treffer: SAXO-RT: Interpreting ESTEREL semantic on a sequential execution structure
Title:
SAXO-RT: Interpreting ESTEREL semantic on a sequential execution structure
Source:
SLAP'02 : synchronous languages, applications, and programming (Grenoble, 13 April 2002).
Publication Year:
2002
Physical Description:
print, 14 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie des langages et analyse syntaxique, Language theory and syntactical analysis, Calculateur embarqué, Boarded computer, Calculador embarque, Commande séquentielle, Sequential control, Control secuencial, Compilateur, Compiler, Compilador, Flot commande, Control flow, Flujo control, Flot donnée, Data flow, Flujo datos, Langage synchrone, Synchronous language, lenguaje sincronico, Représentation connaissances, Knowledge representation, Representación conocimientos, Simultanéité informatique, Concurrency, Simultaneidad informatica, Système commande, Control system, Sistema control, Sémantique, Semantics, Semántica, Temps réel, Real time, Tiempo real, Tranchage, Slicing, Chapeado, Code séquentiel, Langage Esterel, Programme séquentiel, Sequential program
Document Type:
Konferenz
Conference Paper
File Description:
text
Language:
English
Author Affiliations:
France Telecom R&D, 28 chemin du Vieux Chêne, 38243 Meylan, France
Rights:
Copyright 2002 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.14198232
Database:
PASCAL Archive
Weitere Informationen
The SAXO-RT compiler implements a original method for compiling the concurrent synchronous language ESTEREL into sequential C code. The method is optimized for embedded systems with very tight memory and real-time constraints and shows significant performance improvement on industrial size examples. Source code is sliced into small code sequences called control points, statically scheduled so as to be compatible with ESTEREL semantic. Speed reaction is optimized without increasing code size, by executing at each reaction only active code sequences. In this paper, we present in detail how ESTEREL semantic is interpreted on our execution structure.