Pascalin Amagbégnon
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.
- 1.T. Amagbegnon, L. Besnard, and P. Le Guemic. Arborescent Canonical Form of Boolean Expressions. Internal publication 826, IRISA, May 1994.Google Scholar
- 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.Google Scholar
- 3.M. Belhadj. Using VHDL for link to synthesis tools. In North Atlantic Test Workshop, Nlmes, France, June 1994.Google ScholarCross Ref
- 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,Google Scholar
- 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.Google ScholarCross Ref
- 6.A. Benveniste and Po Le Guemic~ A denotational theory of synchronous communicating systems. Research Report 685, INRIA, Rocquencourt, June 1987.Google Scholar
- 7.Go Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 87-152, 19920 Google ScholarDigital Library
- 8.L. Besnard. Compilation de SIGNAL: horloges, d~pendances, environnemento PhD thesis, Universit6 de Rennes 1, France, Septembre 19920Google Scholar
- 9.P. Bournai, C. Lavarenne, P. Le Guemic, O. MaffeYs, and Y. Sorel. Interface SiGNAL-SynDExo Research report 2206, INRIA France, Rennes, March 1994.Google Scholar
- 10.R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers, C-35(8):677-691, August 1986. Google ScholarDigital 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. Google ScholarDigital 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.Google Scholar
- 13.B. Dutertre. SpEcification et preuve ae syst~mes dynamiques. PhD thesis, Universit6 de Rennes 1, France, Decembre 1992.Google Scholar
- 14.N. Halbwachs. Synchronous programming of reactive systems. Kluwer, 1993. Google ScholarDigital 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 19.O. Maffe'is. Ordonnancements de graphes deflots synchrones; Application d SIGNAL. PhD thesis, Universit6 de Rennes 1, France, jan. 1993.Google Scholar
- 20.O. Maffe'is, B. Ch6ron, and P. Le Guemic. Transj3rmations du Graphe des programmes SIGNAL. Research report 1574, INRIA France, Rennes, January 1992oGoogle Scholar
- 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~ Google ScholarDigital Library
- 22.F. Mignard. Compilation du langage Esterel en systdrne d' gquations boolgnnes. PhD thesis, Ecole des Mines de Paris, France, 1994.Google Scholar
- 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.Google Scholar
- 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.Google ScholarCross Ref
- 25.W. W. Wadge and E. A. Ashcrofi. LUCID, the Dataflow Programming Language. Academic Press, 1985. Google ScholarDigital Library
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 softwareThe 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 SymposiumImplementing 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