Research Projects

Interchange Semantics for Hybrid System Models

Alessandro Pinto, Luca Carloni¹, Roberto Passerone² and Alberto L. Sangiovanni-Vincentelli

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 an 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 project we develop a formal definition of the syntax and semantics for the proposed interchange format [2]. In doing so, we clearly separate the structure of a hybrid system from the semantics attached to it. The semantics can be considered "abstract semantics" in the sense that it can be refined to yield the model of computation, or "concrete semantics," which, in turn, are associated with 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. We plan to develop translators to and from the interchange format for many of the existing tools for hybrid systems [3].

[1]

A. Pinto, A. Sangiovanni-Vincentelli, R. Passerone, and L. Carloni "Interchange Formats for Hybrid Systems: Review and Proposal," Hybrid Systems: Computation and Control, Zurich, Switzerland, 2005.

[2]

A. Pinto, L. Carloni, R. Passerone, and A. Sangiovanni-Vincentelli, "Interchange Formats for Hybrid Systems: Abstract Semantics," Hybrid Systems: Computation and Control, Santa Barbara, CA, 2006.

[3]

http://embedded.eecs.berkeley.edu/hyinfo.

¹Columbia University
²University of Trento, Italy

More information: http://embedded.eecs.berkeley.edu/hyinfo