A new fault-tolerant algorithm for clock synchronization
Information and Computation
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Consistent Graphical Specification of Distributed Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
AutoMoDe - Model-Based Development of Automotive Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
Distributing synchronous programs using bounded queues
Proceedings of the 5th ACM international conference on Embedded software
Loosely time-triggered architectures based on communication-by-sampling
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Loosely time-triggered architectures for cyber-physical systems
Proceedings of the Conference on Design, Automation and Test in Europe
A unifying view of loosely time-triggered architectures
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Hi-index | 0.00 |
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time semantics and deterministic concurrency reduce the state-space of parallel designs, and the engineer's intuition of uniformly progressing physical time is clearly reflected. However, for deriving implementations, use of synchronous programs is currently limited to hardware synthesis, generation of non-distributed software, or deployment on time-triggered architectures.In this paper, it is shown how synchronous dataflow designs can be used for synthesizing distributed applications based on target architectures that do not provide a global time base by default. We propose a distribution method called "synchronization cascade" where the nodes' local clocks depend on each other in a tree-like manner. For evaluation of the method, we characterize some requirements for firm real-time applications, and evaluate our approach with respect to the postulated requirements.