The compositional interchange format for hybrid systems (CIF) supports inter-operability of a wide range of tools by means of model transformations toand 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 aconcrete 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 moreorthogonal 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 theabstract language have been considerably improved.
|Title of host publication||Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 16-18 September 2009, Zaragoza, Spain|
|Publication status||Published - 2009|
|Event||3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009) - Zaragoza, Spain|
Duration: 16 Sep 2009 → 18 Sep 2009
|Conference||3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009)|
|Period||16/09/09 → 18/09/09|