Foundations 1

Deliverable D21 Foundations 1 m12 This deliverable will contain a number of subdocumentsa Initial report on foundations for the SysML profile for CPS modelling including transformation rules from SysML to FMI UYb Initial version of the semantics for VDMRT including a reference semantics for object orientation Operational semantics will be provided and described in a standard format such as the Ott language to aid the tool chain implementers 63 UYc Mechanised UTP theory of differential equations as a prelude to the continuoustime semantics UYd Initial report on foundations for FMI comodelling TWT