Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Modularity vs. reusability: code generation from synchronous block diagrams
Proceedings of the conference on Design, automation and test in Europe
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generating Multi-Threaded code from Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-task Implementation of Multi-periodic Synchronous Programs
Discrete Event Dynamic Systems
Tools for programming, code generation, and design
Embedded Systems Design
Hi-index | 0.00 |
Pascal Aubry, Paul LeGuernic, and Sylvain MachardSIGNAL, a synchronous and data-flow oriented language, allows the user to design safe real-time applications. Its compiler uses a single formalism called "Synchronized Data-Flow Graphs" (SDFGs) all along the conception chain from specification to proof and verification. We show how this formalism can be kept on until distributed code generation. The implementation described here, called synchronous distribution, respects the observational semantics of SIGNAL. We finally show the limits of SDFGs and conclude on the necessity of another model describing dynamic behaviors of distributed executions.