Article

Tag machines

Authors:

Albert Benveniste,

Benoît Caillaud,

Luca P. Carloni,

Alberto Sangiovanni-VincentelliAuthors Info & Claims

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Pages 255 - 263

https://doi.org/10.1145/1086228.1086276

Published: 18 September 2005 Publication History

Get Access

Abstract

Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagged systems, a behavioral (denotational) framework. in this paper, we present an operational view of tagged systems, where we focus on tag machines as mathematical artifacts that act as finitary generators of tagged systems. Properties of tag machines are investigated. A fundamental theorem on homogeneous compositionality is given as a first step towards an operational theory of heterogeneous systems.

References

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[3]

A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. Submitted for publication.

Google Scholar

[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.

Digital Library

Google Scholar

[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

Crossref

Google Scholar

[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.

Digital Library

Google Scholar

[7]

A. Muscholl, D. Peled and Z. Su. Deciding Properties for Message Sequence Charts. In Proc. of Fossacs'1998, LNCS 1378, 226--242, 1998.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

Cited By

View all

Mallet F(2023)Time: It is only Logical!Theories of Programming and Formal Methods10.1007/978-3-031-40436-8_12(323-347)Online publication date: 8-Sep-2023
https://doi.org/10.1007/978-3-031-40436-8_12
Dey SSarkar DBasu A(2019)A tag machine based performance evaluation method for job-shop schedulesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2010.204906729:7(1028-1041)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1109/TCAD.2010.2049067
Hardebolle CBoulanger F(2018)Exploring Multi-Paradigm Modeling TechniquesSimulation10.1177/003754970910524085:11-12(688-708)Online publication date: 29-Dec-2018
https://dl.acm.org/doi/10.1177/0037549709105240
Show More Cited By

Index Terms

Tag machines
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems

Recommendations

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software

We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses diverse models of computation and communication such as synchronous, ...
Communication by sampling in time-sensitive distributed systems
EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded software

In time-sensitive systems writing to and reading from the communication medium is on a purely time-triggered but asynchronous basis. Writes and reads can occur at any time and the data are stored and sustained until overwritten. We study how to maintain ...
Tag Suggestr: Automatic Photo Tag Expansion Using Visual Information for Photo Sharing Websites
SAMT '08: Proceedings of the 3rd International Conference on Semantic and Digital Media Technologies: Semantic Multimedia

In this paper, we propose an automatic photo tag expansion system for the community photo collections, such as Flickr. Our aim is to suggest relevant tags for a target photograph uploaded to the system by a user, by incorporating the visual and textual ...

Comments

Information & Contributors

Information

Published In

EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

September 2005

390 pages

ISBN:1595930914

DOI:10.1145/1086228

Conference Chair:
Wayne Wolf
Princeton University, Princeton, NJ

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

EMSOFT05

Sponsor:

EMSOFT05: Fifth ACM International Conference on Embedded Software 2005

September 18 - 22, 2005

NJ, Jersey City, USA

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
274
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Mallet F(2023)Time: It is only Logical!Theories of Programming and Formal Methods10.1007/978-3-031-40436-8_12(323-347)Online publication date: 8-Sep-2023
https://doi.org/10.1007/978-3-031-40436-8_12
Dey SSarkar DBasu A(2019)A tag machine based performance evaluation method for job-shop schedulesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2010.204906729:7(1028-1041)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1109/TCAD.2010.2049067
Hardebolle CBoulanger F(2018)Exploring Multi-Paradigm Modeling TechniquesSimulation10.1177/003754970910524085:11-12(688-708)Online publication date: 29-Dec-2018
https://dl.acm.org/doi/10.1177/0037549709105240
FIADEIRO JLOPES ADELAHAYE BLEGAY A(2017)Dynamic networks of heterogeneous timed machinesMathematical Structures in Computer Science10.1017/S096012951700013528:6(800-855)Online publication date: 24-May-2017
https://doi.org/10.1017/S0960129517000135
Larsen MDeAntoni JCombemale BMallet FLethbridge T(2015)A behavioral coordination operator language (BCOoL)Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351761(186-195)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351761
Vara Larsen MDeAntoni JCombemale BMallet F(2015)A Behavioral Coordination Operator Language (BCOoL)2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2015.7338249(186-195)Online publication date: Sep-2015
https://doi.org/10.1109/MODELS.2015.7338249
Hardebolle CBoulanger F(2015)Multi-Formalism Modelling and Model ExecutionInternational Journal of Computers and Applications10.1080/1206212X.2009.1144194131:3(193-203)Online publication date: 11-Jul-2015
https://doi.org/10.1080/1206212X.2009.11441941
Fiadeiro JLopes A(2014)Heterogeneous and Asynchronous Networks of Timed SystemsProceedings of the 17th International Conference on Fundamental Approaches to Software Engineering - Volume 841110.1007/978-3-642-54804-8_6(79-93)Online publication date: 5-Apr-2014
https://dl.acm.org/doi/10.1007/978-3-642-54804-8_6
Delahaye BFiadeiro JLegay ALopes A(2014)Heterogeneous Timed MachinesTheoretical Aspects of Computing – ICTAC 201410.1007/978-3-319-10882-7_8(115-132)Online publication date: 2014
https://doi.org/10.1007/978-3-319-10882-7_8
Dey SSarkar DBasu A(2013)A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded SystemsIEEE Transactions on Computers10.1109/TC.2012.13462:10(1917-1931)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1109/TC.2012.134
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)

Communication by sampling in time-sensitive distributed systems

Tag Suggestr: Automatic Photo Tag Expansion Using Visual Information for Photo Sharing Websites