Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Static Analysis

WSA 1993: Static Analysis pp 99–110Cite as

Combining dependability with architectural adaptability by means of the signal language

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 724))

Abstract

This paper introduces a new abstract program representation, namely Synchronous Flows Dependence graph, which has been induced from Signal, a synchronous dataflow language based on axiomatic flow transformation operators. We have provided this graph representation with (1) architecture-independent validation tools which encompass control-consistency verification and deadlock detection and, (2) the notion of abstraction which enables some tuning of the grain of the SFD graphs according to the target architecture.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Aho, R. Sethi and J. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wiley, 1986.

    Google Scholar 

  2. G. Berry. Real time programming: special purpose or general purpose languages. In Information Processing 89, Elsevier Science Publishers B.V., 1989.

    Google Scholar 

  3. L. Besnard. Compilation de Signal: horloges, dépendances, environnement. PhD thesis, Université de Rennes 1, France, Sept. 1992.

    Google Scholar 

  4. F. Boussinot and R. De Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293–1304, Sept. 1991.

    Google Scholar 

  5. R. Cytron, J., Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently Computing Static Single Assignment Form and the Control Dependence Graph ACM Trans. on Prog. Language & Systems (TOPLAS), 13(4):451–490, Oct. 1991.

    Google Scholar 

  6. J. Ferrante, K. Ottenstein and J. Warren. The program dependence graph and its uses in optimization. ACM TOPLAS, 9(3):319–349, July 1987.

    Google Scholar 

  7. N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. The synchronous data flow programming language Lustre. Proc. of the IEEE, 79(9):1305–1321, Sept. 1991.

    Google Scholar 

  8. C. W. Krueger. Software reuse. ACM Comp. Surveys, 24(2):131–183, June 1992.

    Google Scholar 

  9. C. Lavarenne, O. Segrouchni, Y. Sorel and M. Sorine. The Syndex software environment for real-time distributed systems design and implementation. In European Control Conference, pages 1684–1689, June 1991.

    Google Scholar 

  10. M. Le Borgne, A. Benveniste and P. Le Guernic. Dynamical systems over Galois fields and DEDS control problems. In Proc. of the 30th IEEE conference on Decision and Control, pages 1505–1510, 1992.

    Google Scholar 

  11. P. Le Guernic, T. Gautier, M. Le Borgne and C. Le Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321–1336, sept. 1991.

    Google Scholar 

  12. K. Pingali, B. Micah, R. Johnson, M. Moudgill and P. Stodghill. Dependence flow graphs: an algebraic approach to program dependencies. In Proc. of the 18th ACM Symp. on Principles of Programming Languages, pages 67–78, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD I5 - SKS, Postfach 1316, D - 5205, Sankt Augustin, Germany

    Olivier MaffeÏs

  2. Campus de Beaulieu, IRISA/INRIA-Rennes, 35042, Rennes Cedex, France

    Paul Le Guernic

Authors
  1. Olivier MaffeÏs
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paul Le Guernic
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Patrick Cousot Moreno Falaschi Gilberto Filé Antoine Rauzy

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

MaffeÏs, O., Le Guernic, P. (1993). Combining dependability with architectural adaptability by means of the signal language. In: Cousot, P., Falaschi, M., Filé, G., Rauzy, A. (eds) Static Analysis. WSA 1993. Lecture Notes in Computer Science, vol 724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57264-3_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-57264-3_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57264-0

  • Online ISBN: 978-3-540-48027-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation