Abstract | ||
---|---|---|
Embedded systems are often composed from components of very different natures, e.g., mechanical and electronic. Composition of heterogeneous components is generally not well-defined, making design and verification difficult. Denotational mathematical frameworks for reasoning effectively on heterogeneous composition have recently been made available. In this work, we propose an operational version of this formalism, based on tag machines, that can represent heterogeneous composition, and we provide conditions under which the heterogeneous composition can be captured soundly and completely. We have implemented our operational framework in a prototype tool which we use for experimental evaluation. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ACSD.2013.23 | ACSD |
Keywords | Field | DocType |
heterogeneous composition,denotational mathematical framework,heterogeneous systems,heterogeneous components,operational framework,prototype tool,modeling heterogeneous systems,heterogeneous component,tag machine,operational version,simulation,tag machines,denotational mathematical frameworks,experimental evaluation,heterogeneity,embedded systems,different nature,formal verification,interoperability,indexes,vectors,prototypes | Computer science,Interoperability,Theoretical computer science,Formalism (philosophy),Formal verification | Conference |
ISSN | Citations | PageRank |
1550-4808 | 5 | 0.43 |
References | Authors | |
5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thi Thieu Hoa Le | 1 | 35 | 3.36 |
Roberto Passerone | 2 | 855 | 71.43 |
Uli Fahrenberg | 3 | 417 | 30.31 |
Axel Legay | 4 | 2982 | 181.47 |