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.
Cite
CITATION STYLE
Maffeïs, O., & Le Gueknic, P. (1993). Combining dependability with architectural adaptability by means of the signal language. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 724 LNCS, pp. 99–110). Springer Verlag. https://doi.org/10.1007/3-540-57264-3_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
