LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A general Kahn principle for abstract asynchronous networks
Proceedings of the fifth international conference on Mathematical foundations of programming semantics
Science of Computer Programming
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Synchronous Modeling of Avionics Applications using the SIGNAL Language
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
A new approach to latency insensitive design
Proceedings of the 41st annual Design Automation Conference
SHIM: a deterministic model for heterogeneous embedded systems
Proceedings of the 5th ACM international conference on Embedded software
From multi-clocked synchronous processes to latency-insensitive modules
Proceedings of the 5th ACM international conference on Embedded software
Concurrency in Synchronous Systems
Formal Methods in System Design
An algebraic theory for behavioral modeling and protocol synthesis in system design
Formal Methods in System Design
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Separate Compilation of Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional design of isochronous systems
Proceedings of the conference on Design, automation and test in Europe
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.03 |
The synchronous modeling paradigm provides strong correctness guarantees for embedded system design while requiring minimal environmental assumptions. In most related frameworks, global execution correctness is achieved by ensuring the insensitivity of (logical) time in the program from (real) time in the environment. This property, called endochrony or patience, can be statically checked, making it fast to ensure design correctness. Unfortunately, it is not preserved by composition, which makes it difficult to exploit with component-based design concepts in mind. Compositionality can be achieved by weakening this objective, but at the cost of an exhaustive state-space exploration. This raises a trade-off between performance and precision. Our aim is to balance it by proposing a formal design methodology that adheres to a weakened global design objective: the non-blocking composition of weakly endochronous processes, while preserving local design objectives for synchronous modules. This yields an effective and cost-efficient approach to compositional synchronous modeling.