Theoretical Computer Science
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Implementation of the data-flow synchronous language SIGNAL
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Signal: A Formal Design Environment for Real-Time Systems
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Distributed Implementation of SIGNAL: Scheduling & Graph Clustering
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Some Synchronization Issues When Designing Embedded Systems from Components
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Co-simulation of Hybrid Systems: Signal-Simulink
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Formal Testing of Multimodal Interactive Systems
Engineering Interactive Systems
Automated Synchronous-to-Asynchronous Circuits Conversion: A Survey
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
On the compositionality of round abstraction
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Tools for programming, code generation, and design
Embedded Systems Design
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct desynchronization, meaning that the original synchronous semantics can be reconstructed from the result of this desynchronization. Theorems are given for both the desynchronization of single synchronous programs, and for networks of synchronous programs to be implemented using asynchronous communication. Assumptions for these theorems correspond to proof obligations that can be checked on the original synchronous designs. If the corresponding conditions are not satisfied, suitable synchronous mini-programs which will ensure correct desynchronization can be composed with the original ones. This can be seen as a systematic way to generate "correct protocols" for the asynchronous distribution of synchronous designs. The whole approach has been implemented, in the framework of the SACRES project, within the Sildex tool marketed by TNI, as well as in the SIGNAL compiler.