Publications

This page lists all the project's public deliverables. Those that have been released so far are clickable links shown in bold. Some documents are confidential (CO) or partly confidential (PU/CO), others are public (PU). Where available, links are given to copies of the paper or conference proceedings.

D4.

No. Name Diss. Level Due month
D7.1 The INTO-CPS infrastructure CO 2
D1.1a Case Studies 1 PU/CO 12
D2.1a Foundations of the SysML profile for CPS modelling PU 12
D2.1b Initial Semantics of VDM-RT PU 12
D2.1c Differential Equations in the Unifying Theories of Programming PU 12
D2.1d Foundations for FMI Co-Modelling PU 12
D3.1a Method Guidelines 1 PU 12
D3.1b Methods Progress Report 1 PU 12
D3.4 Examples Compendium 1 PU 12
D4.1a INTO-CPS Tool Chain User Manual PU 12
D4.1b Integration of simulators in the INTO-CPS Platform PU 12
D4.1c SysML and FMI in INTO-CPS PU 12
D4.1d Design of the INTO-CPS Platform PU 12
D5.1a DSE in the INTO-CPS Platform PU 12
D5.1b Distributed testing and simulation network PU 12
D5.1c Techniques for abstraction of continuous-time models into finite discrete-event models for model-checking PU 12
D5.1d Design Principles for Code Generators PU 12
D6.1 Dissemination Year 1 CO 12
D7.2 Periodic progress report year 1 CO 12
D7.3 Requirements report year 1 CO 12
D1.2 Case Studies 2 PU/CO 24
D2.2 Foundations Work Year 2 Overview PU 24
D2.2a Foundations of the SysML profile
for CPS modelling
PU 24
D2.2b Final VDM-RT Semantics PU 24
D2.2c Initial Modelica semantics PU 24
D2.2d Foundations for FMI Co-modelling PU 24
D3.2a Method Guidelines 2 PU 24
D3.2b Methods Progress Report 2 PU 24
D3.5 Examples Compendium 2 PU 24
D4.2a INTO-CPS Tool Chain User Manual PU 24
D4.2b Updated Integration of simulators PU 24
D4.2c COE contracts from SysML PU 24
D4.2d INTO-CPS Traceability Design PU 24
D5.2a Test Automation Module PU 24
D5.2b Implementation of a Model-Checking Component PU 24
D5.2c FMI-Compliant Code Generation in the INTO-CPS Tool Chain PU 24
D5.2d DSE in the INTO-CPS Platform PU 24
D6.2 Dissemination Year 2 CO 24
D7.4 Periodic progress report year 2 CO 24
D7.5 Requirements report year 2 CO 24
D1.3 Case Studies 3 PU/CO 36
D2.3 Foundations 3 PU 36
D3.3 Method Guidelines 3 PU 36
D3.6 Examples Compendium 3 PU 36
D4.3 Platform Unification and Integration Year 3 PU 36
D5.3 Tool chain Extension Modules Year 3 PU/CO 36
D6.3 Dissemination Year 3 CO 36
D7.6 Periodic progress report year 3 CO 36
D7.7 Status of all Requirements CO 36