论文信息 - Combining Dependability with Architectural Adatability by Means of the SIGNAL Language

Combining Dependability with Architectural Adatability by Means of the SIGNAL Language

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.

Paul Le Guernic | Olivier Maffeïs

[1] Frédéric Boussinot,et al. The ESTEREL language , 1991, Proc. IEEE.

[2] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[3] Mark N. Wegman,et al. Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

[4] Loïc Besnard. Compilation de SIGNAL : horloges, dépendances, environnement , 1992 .

[5] Charles W. Krueger,et al. Software reuse , 1992, CSUR.

[6] Keshav Pingali,et al. Dependence flow graphs: an algebraic approach to program dependencies , 1991, POPL '91.

[7] Gérard Berry,et al. Real Time Programming: Special Purpose or General Purpose Languages , 1989, IFIP Congress.

[8] A. Benveniste,et al. Dynamical systems over Galois fields and DEDS control problems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[9] Joe D. Warren,et al. The program dependence graph and its use in optimization , 1987, TOPL.

[10] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[11] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.