From high-level component-based models to distributed implementations

Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10

Volumn , Issue , 2010, Pages 209-218

  Bonakdarpour, Borzoo ^a   Bozga, Marius ^b   Jaber, Mohamad ^b   Quilbeuf, Jean ^b   Sifakis, Joseph ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b VERIMAG   (France)

Author keywords

Automated transformation; BIP; Committee coordination; Component based modeling; Conflict resolution; Correctness by construction; Distributed systems

Indexed keywords

AUTOMATED TRANSFORMATIONS; BIP; COMMITTEE COORDINATION; COMPONENT-BASED MODELING; CONFLICT RESOLUTION; CORRECTNESS BY CONSTRUCTION; DISTRIBUTED SYSTEMS;

FORMAL METHODS; PROGRAM COMPILERS; SEMANTICS;

EMBEDDED SYSTEMS;

EID: 78650660950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1879021.1879049     Document Type: Conference Paper

References (12)

1. R. Bagrodia. A distributed algorithm to implement n-party rendevouz. In Foundations of Software Technology and Theoretical Computer Science, Seventh Conference (FSTTCS), pages 138-152, 1987.
2. R. Bagrodia. Process synchronization: Design and performance evaluation of distributed algorithms. IEEE Transactions on Software Engineering (TSE), 15(9):1053-1065, 1989.
3. A. Basu, P. Bidinger, M. Bozga, and J. Sifakis. Distributed semantics and implementation for systems with interaction and priority. In Formal Techniques for Networked and Distributed Systems (FORTE), pages 116-133, 2008.
4. A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In Software Engineering and Formal Methods (SEFM), pages 3-12, 2006.
5. B. Bonakdarpour, M. Bozga, M. Jaber, J. Quilbeuf, and J. Sifakis. From high-level component-based models to distributed implementations. Technical Report TR-2010-9, VERIMAG, March 2010.
6. K. M. Chandy and J. Misra. The drinking philosophers problem. ACM Transactions on Programming Languages and Systems (TOPLAS), 6(4):632-646, 1984.
7. K. M. Chandy and J. Misra. Parallel program design: a foundation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1988.
8. O. M. Cheiner and A. A. Shvartsman. Implementing an eventuallyserializable data service as a distributed system building block. In Principles Of Distributed Systems (OPODIS), pages 9-24, 1998.
9. E. W. Dijkstra and C. S. Scholten. Termination detection for diffusing computations. Information Processing Letters, 11(1):1-4, 1980.
10. R. Milner. Communication and concurrency. Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1995.
11. J. A. Pérez, R. Corchuelo, and M. Toro. An order-based algorithm for implementing multiparty synchronization. Concurrency and Computation: Practice and Experience, 16(12):1173-1206, 2004.
12. J. A. Tauber, N. A. Lynch, and M. J. Tsai. Compiling IOA without global synchronization. In Symposium on Network Computing and Applications (NCA), pages 121-130, 2004.