Foundations 2

This deliverable will contain several sub-documents, some of which are updated versions of sub-documents defined in Deliverable D2.1. a) Updated version of SysML foundations and SysML to FMI transformation rules. (UY) b) Final version of the semantics for VDM-RT, including Time and Interruption. Operational semantics will be provided, and described in a standard format such as the Ott language.(UY) c) Initial version of the semantics for continuous-time modelling, using the existing operational semantics of Modelica to formulate a denotational model. (UY) d) Initial semantics for FMI, in the form of a static semantics, which will allow consistency checking, and a partial dynamic semantics which we will give in the form of a structural operational semantics. (TWT)