Tag machines

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 255-263

  Benveniste, Albert ^a   Caillaud, Benoît ^a   Carloni, Luca P ^b   Sangiovanni Vincentelli, Alberto L ^c  

^a CAMPUS DE BEAULIEU   (France)

^b Department of Earth and Environmental Sciences   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Distributed deployment; GALS; Heterogeneous reactive systems; Tagged systems

Indexed keywords

COMPUTER SOFTWARE; MACHINERY; MATHEMATICAL MODELS;

DISTRIBUTED DEPLOYMENT; GALS; HETEROGENEOUS REACTIVE SYSTEMS; TAGGED SYSTEMS;

EMBEDDED SYSTEMS;

EID: 29244490611     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086276     Document Type: Conference Paper

References (10)

1. L. de Alfaro, T.A. Henzinger. Interface Automata. In Proc. of ESEC/FSE 01, Proc. of the Joint 8th Eur. Software Eng. Conf. and 9th ACM SIGSOFT Intl. Symp. on the Foundations of Software Eng., 2001.
2. A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA). In G. Buttazzo and S. Edwards, Eds., Proc. of the 4th. Intl. Conf. on Embedded Software, EMSOFT'04, ACM 2004, 220-229.
3. A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. Submitted for publication.
4. B. Caillaud, P. Darondeau, L. Hélouët and G. Lesventes. HMSCs as specifications... with PN as completions. In Modeling and Verification of Parallel Processes, LNCS, vol. 2067, Springer, 125-152.
5. S. Gaubert and J. Mairesse. Modeling and Analysis of Timed Petri Nets using Heaps of Pieces. IEEE Trans. Aut. Control, 44(4):683-697, 1999
6. E.A. Lee and A. Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 17(12), 1217-1229, Dec. 1998.
7. A. Muscholl, D. Peled and Z. Su. Deciding Properties for Message Sequence Charts. In Proc. of Fossacs'1998, LNCS 1378, 226-242, 1998.
8. D. Potop-Butucaru, B. Caillaud and A. Benveniste. Concurrency in Synchronous Systems. In Proc. of the 4th Int. Conf. on Applications of Concurrency in System Design (ACSD). Hamilton, Canada, 2004.
9. D. Potop-Butucaru and B. Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proc. of the 5th Int. Conf. on Applications of Concurrency in System Design (ACSD). Saint-Malo, France, 2005.
10. G. Viennot. Heaps of pieces. 1: basic definitions and combinatorial lemmas. In Labelle and Leroux Eds., Combinatoire Enumérative, Lect. Notes in Math., vol 1234, 321-350, 1986.