Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Optimistic incremental specialization: streamlining a commercial operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Information and Computation
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Threshold and Bounded-Delay Voting in Critical Control Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Fast, Optimized Sun RPC Using Automatic Program Specialization
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modular design through component abstraction
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Formal Methods in System Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I knew this for quite a long time. But it is onlyrecen tlythat it went aware of the diversity of such issues, depending on the context. The aim of this paper is to show and explain this diversityb ylo oking at three areas where systems design is of interest, namely: 1/ building software or hardware architectures composed of components interacting asynchronously, 2/ synchronous hardware design from IP's, and 3/ designing distributed real-time control systems. A large part of this paper relies on other people's work, I indicate appropriate references in each case.