2009
New concepts in the abstract format of the Compositional Interchange Format
Publication
Publication
The compositional interchange format for hybrid systems (CIF) supports inter-operability of a wide range of tools by means of model transformations to and from the CIF. Work on the CIF takes place in the FP7 Multiform project, and in several other European projects. The CIF consists of an abstract and a concrete format, used for defining a formal semantics and for modeling, respectively. This paper discusses the results of a redesign of the abstract format as previously published, leading to the following main changes: variables are introduced using scoping operators; the abstract language is made more orthogonal by providing an operator for each concept in the language; parallel composition has been defined in such a way that compositional verification (assume/guarantee reasoning) is supported; and the concept of urgent actions has been properly defined. As a result, the expressivity and semantics of the abstract language have been considerably improved.
| Additional Metadata | |
|---|---|
| , , , | |
| , | |
| International Federation of Automatic Control | |
| A. Giua , M. Silva (Manuel) , J. Zaytoon | |
| Control for coordination of distributed systems | |
| IFAC Conference on Analysis and Design of Hybrid Systems | |
| Organisation | Scientific Computing |
|
van Beek, D. A., Collins, P., Nadales Agut, D. E., Rooda, J., & Schiffelers, R. R. H. (2009). New concepts in the abstract format of the Compositional Interchange Format. In A. Giua, M. Silva, & J. Zaytoon (Eds.), Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems. International Federation of Automatic Control. |
|
