Abstract
The Compositional Interchange Format (CIF), is a modeling formalism for hybrid systems, that aims to establishing interoperability of a wide range of tools by means of model transformations to and from CIF. UPPAAL is a very successful tool for the specification and analysis of timed systems. It is interesting, both from a theoretical and a practical perspective, to be able to translate CIF models to UPPAAL models, since this makes it possible to model check properties of timed CIF models. This requires a semantic preserving transformation, which ensures that properties validated in UPPAAL models also hold for their CIF counterparts. In addition, by providing such a translation we are, at the same time, providing translations for a wider set of languages that can be transformed to CIF. This paper presents a semantic-preserving transformation from a subset of CIF models to UPPAAL. The transformation described in this work constitutes the cornerstone for transformations of a broader subset of CIF.
| Original language | English |
|---|---|
| Title of host publication | IFAC Proceedings Volumes (IFAC-PapersOnline) |
| Number of pages | 7 |
| Volume | 18 |
| Publisher | Elsevier |
| Publication date | 1 Jan 2011 |
| Pages | 12496-12502 |
| ISBN (Print) | 9783902661937 |
| DOIs | |
| Publication status | Published - 1 Jan 2011 |
| Event | 18th IFAC World Congress - Milano, Italy Duration: 28 Aug 2011 → 2 Sept 2011 |
Conference
| Conference | 18th IFAC World Congress |
|---|---|
| Country/Territory | Italy |
| City | Milano |
| Period | 28/08/2011 → 02/09/2011 |