caa a22 4500 475797620 CHVBK 20180406123728.0 cr unu---uuuuu 170329e20001001xx s 000 0 eng 10.1023/A:1008796718837 doi (NATIONALLICENCE)springer-10.1023/A:1008796718837 An Implementation of Constructive Synchronous Programs in POLIS [Elektronische Daten] [Gérard Berry, Ellen Sentovich] Design tools for embedded reactive systems commonly use a model of computation that employs both synchronous and asynchronous communication styles. We form a junction between these two with an implementation of synchronous languages and circuits (Esterel) on asynchronous networks (POLIS). We implement fact propagation, the key concept of synchronous constructive semantics, on an asynchronous non-deterministic network: POLIS nodes (CFSMs) save state locally to deduce facts, and the network globally propagates facts between them. The result is a correct implementation of the synchronous input/output behavior of the program. Our model is compositional, and thus permits implementations at various levels of granularity from one CFSM per circuit gate to one CFSM per circuit. This allows one to explore various tradeoffs between synchronous and asynchronous implementations. Kluwer Academic Publishers, 2000 embedded systems nationallicence synchronous programming nationallicence finite state machines nationallicence asynchronous networks nationallicence Berry Gérard Ecole des Mines de Paris and INRIA, BP 93, 06902, Sophia-Antipolis Cedex, France aut Sentovich Ellen Cadence Berkeley Laboratories, 2001 Addison Street, 3 floor, 94704-1103, Berkeley, CA, USA aut Formal Methods in System Design Kluwer Academic Publishers 17/2(2000-10-01), 135-161 0925-9856 17:2<135 2000 17 10703 https://doi.org/10.1023/A:1008796718837 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1023/A:1008796718837 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Berry Gérard Ecole des Mines de Paris and INRIA, BP 93, 06902, Sophia-Antipolis Cedex, France aut NATIONALLICENCE 700 1- Sentovich Ellen Cadence Berkeley Laboratories, 2001 Addison Street, 3 floor, 94704-1103, Berkeley, CA, USA aut NATIONALLICENCE 773 0- Formal Methods in System Design Kluwer Academic Publishers 17/2(2000-10-01), 135-161 0925-9856 17:2<135 2000 17 10703 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer