Communicating sequential processes
Communicating sequential processes
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The specification and execution of heterogeneous synchronous reactive systems
The specification and execution of heterogeneous synchronous reactive systems
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Proof, language, and interaction
Information and Computation
Distributed Systems: Principles and Paradigms
Distributed Systems: Principles and Paradigms
Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
IEEE Transactions on Parallel and Distributed Systems
Automatic Production of Globally Asynchronous Locally Synchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Software Implementation of Synchronous Programs
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Modularity vs. reusability: code generation from synchronous block diagrams
Proceedings of the conference on Design, automation and test in Europe
| Hi-index | 0.00 |
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mathematically. Then, based on these formal results, a software library for the modular compilation and distribution of Simulink programs is given. The performance of the library is given. The value of synchronous programming for the next generation of traffic control is discussed. The adoption of these tools seems to be the natural candidate to address the needs of traffic engineers. As a case study we present an implementation in Simulink of a controller for coordinated traffic signals in an asymmetric peak hour traffic scenario and we evaluate its computational performance in a distributed environment.