Publications

Project deliverable reports

Here you can find all the project's public deliverables. Some documents are confidential (CO) or partly confidential (PU/CO), others are public (PU). Links are given to the public reports.

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.3a SysML Foundations for INTO-CPS PU 36
D2.3b Final Semantics of Modelica PU 36
D2.3c A Mechanised FMI Semantics PU 36
D2.3d Multi-Model Linking Semantics PU 36
D3.3a Method Guidelines 3 PU 36
D3.3b Methods Progress Report 3 PU 36
D3.6 Examples Compendium 3 PU 36
D4.3a INTO-CPS Tool Chain User Manual PU 36
D4.3b Final Integration of Simulators in the INTO-CPS Platform PU 36
D4.3c SysML and FMI in INTO-CPS PU 36
D4.3d INTO-CPS Traceability Implementation PU 36
D5.3a Integration of Tool Chain Extension Modules with the COE PU 36
D5.3b Demonstration of Integrated Co-Simulation and Testing PU 36
D5.3c Implementation of a Model Checking Component for Global Model Checking PU 36
D5.3d FMI-Compliant Code Generation in the INTO-CPS Tool Chain PU 36
D5.3e DSE in the INTO-CPS Platform PU 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