More Web Proxy on the site http://driver.im/

Article

Free access

Implementation of the data-flow synchronous language SIGNAL

Authors:

Pascalin Amagbégnon,

Paul Le GuernicAuthors Info & Claims

PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

Pages 163 - 173

https://doi.org/10.1145/207110.207134

Published: 01 June 1995 Publication History

Abstract

This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the compiler lies in the use of a tree structure to solve the equations.

References

[1]

T. Amagbegnon, L. Besnard, and P. Le Guemic. Arborescent Canonical Form of Boolean Expressions. Internal publication 826, IRISA, May 1994.

[2]

T.P. Amagbegnon, P. L. Guemic, H. Marchand, and E. Rutten. SIGNAL- the specification of a genetic, verified production cell controller. In T. L. In C. Lewerentz, editor, Case Study Production Cell- A Comparative Study in Formal Software Development, Lecture Notes in Computer Science, Springer-Verlag, 1995.891.

[3]

M. Belhadj. Using VHDL for link to synthesis tools. In North Atlantic Test Workshop, Nlmes, France, June 1994.

[4]

A. Benveniste and G. Berry~ Special section on another look at real-time programming. Proceedings of the IEEE, 79(9):1268-1336, September 1991,

[5]

A. Benveniste and Oo Berry~ The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.

[6]

A. Benveniste and Po Le Guemic~ A denotational theory of synchronous communicating systems. Research Report 685, INRIA, Rocquencourt, June 1987.

[7]

Go Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 87-152, 19920

Digital Library

[8]

L. Besnard. Compilation de SIGNAL: horloges, d~pendances, environnemento PhD thesis, Universit6 de Rennes 1, France, Septembre 19920

[9]

P. Bournai, C. Lavarenne, P. Le Guemic, O. MaffeYs, and Y. Sorel. Interface SiGNAL-SynDExo Research report 2206, INRIA France, Rennes, March 1994.

[10]

R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers, C-35(8):677-691, August 1986.

Digital Library

[11]

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice. LUSTRE: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, pages 178-188, Munich, 1987.

Digital Library

[12]

O. Coudert. SIAM: Une Bofted Outils Pour la Preuve FormeUe de Syst~mes S~quentiels. PhD thesis, Ecole Nationale Superieure des Telecommunications, France, 1991.

[13]

B. Dutertre. SpEcification et preuve ae syst~mes dynamiques. PhD thesis, Universit6 de Rennes 1, France, Decembre 1992.

[14]

N. Halbwachs. Synchronous programming of reactive systems. Kluwer, 1993.

Digital Library

[15]

N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In J. Maluszynski and M. Wh'sing, editors, page, Springer Verlag, August 1991. LNCS 528.

[16]

G. Kahn. The semantics of a simple language for parallel programming. InJ. L. Rosenfeld, editor, Information Processing 74, pages 471-475, North-Holland, 1974.

[17]

P. Le Guemic and T. Gautier. Data-flow to von neumann: the SIGNAL approach. In J. Gaudiot and L. Bic, editors, Advanced topics in data-flow computing, pages 413--438, Prentice Hall, 1991.

[18]

C. Le Make, R. Andre-Obrecht, and P~ Le Guemico A new real-time synchronous programming approach to continuous speech recognition. IEEE rransactions on Automatic Control, 1990.

[19]

O. Maffe'is. Ordonnancements de graphes deflots synchrones; Application d SIGNAL. PhD thesis, Universit6 de Rennes 1, France, jan. 1993.

[20]

O. Maffe'is, B. Ch6ron, and P. Le Guemic. Transj3rmations du Graphe des programmes SIGNAL. Research report 1574, INRIA France, Rennes, January 1992o

[21]

F. Maraninchio Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra. In J. Sifakis, editor~ Automatic Verification Methods for Finite-state Systems, pages 38-53, Springer-Verlag, 1989. LNCS 407~

Digital Library

[22]

F. Mignard. Compilation du langage Esterel en systdrne d' gquations boolgnnes. PhD thesis, Ecole des Mines de Paris, France, 1994.

[23]

E. Mo Sentovich, S. K. J., L. L., M. C, M. R., A~ Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. Sangiovanni-Vicentelli. SIS: A System form Sequential Circuit Synthesis. Research report UCB/ERL M92/41, UCB, 1992.

[24]

H. J. Touati, H. Savoy, R. Brayton, B. Lin, and A. Sangiovanni-Vicentelli. Implicit state enumeration of finite state machines using bdd's. In IEEE conference on Computer-Aided Design, pages 130-133, 1990.

[25]

W. W. Wadge and E. A. Ashcrofi. LUCID, the Dataflow Programming Language. Academic Press, 1985.

Digital Library

Cited By

Kallwies HLeucker MScheffel TSchmitz MThoma DLee J(2022)Aggregate update problem for multi-clocked dataflow languagesProceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization10.1109/CGO53902.2022.9741275(79-91)Online publication date: 2-Apr-2022
https://dl.acm.org/doi/10.1109/CGO53902.2022.9741275
Benveniste ABourke TCaillaud BColaco JPasteur CPouzet M(2018)Building a Hybrid Systems Modeler on Synchronous Languages PrinciplesProceedings of the IEEE10.1109/JPROC.2018.2858016106:9(1568-1592)Online publication date: Sep-2018
https://doi.org/10.1109/JPROC.2018.2858016
Colaco JPagano BPasteur CPouzet M(2018)Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore2018 Forum on Specification & Design Languages (FDL)10.1109/FDL.2018.8524052(5-16)Online publication date: Sep-2018
https://doi.org/10.1109/FDL.2018.8524052
Show More Cited By

Index Terms

Implementation of the data-flow synchronous language SIGNAL

Recommendations

Implementation of the data-flow synchronous language SIGNAL

This paper presents the techniques used for the compilation of the data-flow, synchronous language SIGNAL. The key feature of the compiler is that it performs formal calculus on systems of boolean equations. The originality of the implementation of the ...
Towards a higher-order synchronous data-flow language
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfigure data-flow processes. The language comes as a natural and strict ...
A Multi-Periodic Synchronous Data-Flow Language
HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium

Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic systems, implementing multi-periodic systems with these languages is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation

June 1995

335 pages

ISBN:0897916972

DOI:10.1145/207110

Chairman:
David W. Wall
Digital—Western Research Laboratory

ACM SIGPLAN Notices Volume 30, Issue 6
June 1995
327 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/223428
Editors:
Brent T. Hailpern
IBM T. J. Watson Research Center, Yorktown Heoghts, NY
,
Richard L. Wexelblat
IRS IS:AO, Washington, DC
Issue’s Table of Contents

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI95

Sponsor:

SIGPLAN

PLDI95: ACM SIGPLAN Conference on Programming Language Design and Implementation

June 18 - 21, 1995

California, La Jolla, USA

Acceptance Rates

PLDI '95 Paper Acceptance Rate 28 of 105 submissions, 27%;

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
620
Total Downloads

Downloads (Last 12 months)57
Downloads (Last 6 weeks)8

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kallwies HLeucker MScheffel TSchmitz MThoma DLee J(2022)Aggregate update problem for multi-clocked dataflow languagesProceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization10.1109/CGO53902.2022.9741275(79-91)Online publication date: 2-Apr-2022
https://dl.acm.org/doi/10.1109/CGO53902.2022.9741275
Benveniste ABourke TCaillaud BColaco JPasteur CPouzet M(2018)Building a Hybrid Systems Modeler on Synchronous Languages PrinciplesProceedings of the IEEE10.1109/JPROC.2018.2858016106:9(1568-1592)Online publication date: Sep-2018
https://doi.org/10.1109/JPROC.2018.2858016
Colaco JPagano BPasteur CPouzet M(2018)Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore2018 Forum on Specification & Design Languages (FDL)10.1109/FDL.2018.8524052(5-16)Online publication date: Sep-2018
https://doi.org/10.1109/FDL.2018.8524052
Davy GGarion CGaroche PRoux PThirioux X(2018)Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code2018 Forum on Specification & Design Languages (FDL)10.1109/FDL.2018.8524044(5-16)Online publication date: Sep-2018
https://doi.org/10.1109/FDL.2018.8524044
Gallardo MLavado LPanizo L(2017)A Simulation Tool for tccp ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.234.9234(120-134)Online publication date: 1-Jan-2017
https://doi.org/10.4204/EPTCS.234.9
Garoche PKahsai TThirioux X(2016)Hierarchical State Machines as Modular Horn ClausesElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.219.2219(15-28)Online publication date: 14-Jul-2016
https://doi.org/10.4204/EPTCS.219.2
(2015)Towards refinement types for time-dependent data-flow networksProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340465(36-41)Online publication date: 1-Sep-2015
https://dl.acm.org/doi/10.1109/MEMCOD.2015.7340465
Garoche PGurfinkel AKahsai T(2014)Synthesizing Modular Invariants for Synchronous CodeElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.169.4169(19-30)Online publication date: 2-Dec-2014
https://doi.org/10.4204/EPTCS.169.4
Jiang YZhang HZhang HZhao XLiu HSun CSong XGu MSun JCheung SOrso AStorey M(2014)Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systemsProceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2635868.2661664(711-714)Online publication date: 11-Nov-2014
https://dl.acm.org/doi/10.1145/2635868.2661664
Benveniste ABourke TCaillaud BPagano BPouzet MFráänzle MLygeros J(2014)A type-based analysis of causality loops in hybrid systems modelersProceedings of the 17th international conference on Hybrid systems: computation and control10.1145/2562059.2562125(71-82)Online publication date: 15-Apr-2014
https://dl.acm.org/doi/10.1145/2562059.2562125
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents