Interchange Formats for Hybrid Systems: Review and Proposal

Pinto, Alessandro; Sangiovanni‐Vincentelli, Alberto; Carloni, Luca P.

doi:10.1007/978-3-540-31954-2_34

Cited by 17 publications

(24 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following list summarizes what we believe are fundamental characteristics of any interchange format for tools and designs (a more detailed discussion can be found in [145]). An interchange format must:…”

Section: Requirements For a Standard Interchange Formatmentioning

confidence: 99%

“…In [145] we offered a proposal for an interchange format for hybrid systems whose formal semantics is based on the Metropolis MetaModel [160]. Metropolis is an ambitious project supported by the GSRC (Gigascale System Research Center), CHESS (Center for Hybrid and Embedded Software Systems) and grants from industry.…”

Section: Metropolis-based Abstract Semantics For Hybrid Systemsmentioning

confidence: 99%

“…In our proposal [145], the interchange format defines processes for the solution of equations and media for communicating results among processes. These are organized as a network that consists of several layers, each corresponding to a particular aspect of the hybrid computation, such as the discrete dynamics, the continuous dynamics and the specific equations involved in the description.…”

Section: Metropolis-based Abstract Semantics For Hybrid Systemsmentioning

confidence: 99%

See 2 more Smart Citations

Languages and Tools for Hybrid Systems Design

Carloni

Passerone

Pinto

et al. 2006

FNT in Electronic Design Automation

Self Cite

115

109

View full text Add to dashboard Cite

The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are safety-critical systems, such as transportation systems (e.g., airplanes, cars, and trains), industrial plants and health care monitoring. The difficulties reside in accommodating constraints both on functionality and implementation. The correct behavior must be guaranteed under diverse states of the environment and potential failures; implementation has to meet cost, size, and power consumption requirements. The design is therefore subject to extensive mathematical analysis and simulation. However, traditional models of information systems do not interface well to the continuous evolving nature of the environment in which these devices operate. Thus, in practice, different mathematical representations have to be mixed to analyze the overall behavior of the system. Hybrid systems are a particular class of mixed models that focus on the combination of discrete and continuous subsystems. There is a wealth of tools and languages that have been proposed over the years to handle hybrid systems. However, each tool makes different assumptions on the environment, resulting in somewhat different notions of hybrid system. This makes it difficult to share information among tools. Thus, the community cannot maximally leverage the substantial amount of work that has been directed to this important topic. In this paper, we review and compare hybrid system tools by highlighting their differences in terms of their underlying semantics, expressive power and mathematical mechanisms. We conclude our review with a comparative summary, which suggests the need for a unifying approach to hybrid systems design. As a step in this direction, we make the case for a semantic-aware interchange format, which would enable the use of joint techniques, make a formal comparison between different approaches possible, and facilitate exporting and importing design representations.

show abstract

Section: Requirements For a Standard Interchange Formatmentioning

confidence: 99%

Section: Metropolis-based Abstract Semantics For Hybrid Systemsmentioning

confidence: 99%

Section: Metropolis-based Abstract Semantics For Hybrid Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Languages and Tools for Hybrid Systems Design

Carloni

Passerone

Pinto

et al. 2006

FNT in Electronic Design Automation

Self Cite

115

109

View full text Add to dashboard Cite

show abstract

“…The explicit construction of P 1 M P 2 as a tagged system is not especially relevant, as we are interested only in its set of behaviors which must be isomorphic to the set of behaviors given in (14). That being said, this construction is a special case of a more general construction (given in Section 6) for which the construction of the tagged system is carried out.…”

Section: Equivalent Deployments Of Tagged Systemsmentioning

confidence: 99%

“…Of course, there is a wealth of literature on semantics preservation in heterogeneous networks, cf. [6], [7], [13], [14], and [18], the last of which approaches the problem from a categorical prospective.…”

Section: Introductionmentioning

confidence: 99%

Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems

Ames

Sangiovanni‐Vincentelli

Sastry

Lecture Notes in Control and Information Science

View full text Add to dashboard Cite

Summary. Tagged systems provide a denotational semantics for embedded systems. A heterogeneous network of embedded systems can be modeled mathematically by a network of tagged systems. Taking the heterogeneous composition of this network results in a single, homogeneous, tagged system. The question this paper addresses is: when is semantics (behavior) preserved by composition? To answer this question, we use the framework of category theory to reason about heterogeneous system composition and derive results that are as general as possible. In particular, we define the category of tagged systems, demonstrate that a network of tagged systems corresponds to a diagram in this category and prove that taking the composition of a network of tagged systems is equivalent to taking the limit of this diagram-thus composition is endowed with a universal property. Using this universality, we are able to derive verifiable necessary and sufficient conditions on when composition preserves semantics.

show abstract

Interchange Format for Hybrid Systems: Abstract Semantics

Pinto

Carloni

Sangiovanni-Vincentelli

2006

Hybrid Systems: Computation and Control

Self Cite

View full text Add to dashboard Cite

In [1] we advocated the need for an interchange format for hybrid systems that enables the integration of design tools coming from many different research communities. In deriving such interchange format the main challenge is to define a language that, while presenting a particular formal semantics, remains general enough to accommodate the translation across the various modeling approaches used in the existing tools. In this paper we give a formal definition of the syntax and semantics for the proposed interchange format. In doing so, we clearly separate the structure of a hybrid system from the semantics attached to it. The semantics can be considered an "abstract semantics" in the sense that it can be refined to yield the model of computation, or "concrete semantics", which, in turn, is associated to the existing languages that are used to specify hybrid systems. We show how the interchange format can be used to capture the essential information across different modeling approaches and how such information can be used in the translation process.

show abstract

Interchange Formats for Hybrid Systems: Review and Proposal

Cited by 17 publications

References 7 publications

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design

Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems

Interchange Format for Hybrid Systems: Abstract Semantics

Contact Info

Product

Resources

About