Publications

INTO-CPS publications

Sort by: Date | Author | Title

Review 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.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