Deliverables | Cyber-Physical Systems Virtual Organization

Deliverables

List of Deliverables

No.	Name	WP Nr.	Type	Diss. Level	Delivery Date
1.1	Assessment of languages and tools for the automatic formalisation of system requirements	1	R	PU	M12
1.2	Report on modelling of networked cyber-physical system for verification and control	1	R	PU	M30
1.3	Report on conformance testing in the development process	1	R	PU	M48
2.1	Report on behaviour prediction for cyber-physical systems	2	R	PU	M12
2.2	Report on distributed model predictive control for cyber-physical systems and efficient computation	2	R	PU	M30
2.3	Report on interleaving online control and reachability computation for certified behaviour of cyber-physical systems	2	R	PU	M48
3.1	Report on reachability analysis of nonlinear systems and compositional verification	3	R	PU	M12
3.2	Report on pre-computation of reachable sets, advances in compositional verification, and incremental verification in interaction with online controller adaptation	3	R	PU	M30
3.3	Report on compositional verification, and incremental verification in interaction with online controller adaptation	3	R	PU	M48
3.4	Assessment of the certifiability for the relevant safety standards	3	R	PU	M48
4.1	Theoretical foundation for combining zonotopes and support functions	4	R	PU	M12
4.2	Extension of the SCADE language for continuous modelling	4	R	PU	M30
4.3	UnCoVerCPS tool chain	4	DEM	PU	M48
5.1	Report on application models	5	R	PU	M12
5.2	Report on conformance testing of application models	5	R	PU	M30
5.3	Report on application simulation data and experimental results	5	R	PU	M48
6.1	Website	6	DEC	PU	M3
6.2	First version of the data management plan	6	R	PU	M6
6.3	First report on dissemination and exploitation	6	R	PU	M12
6.4	Second report on dissemination and exploitation	6	R	PU	M30
6.5	Final version of the data management plan	6	R	PU	M48
6.6	Final report on dissemination and exploitation	6	R	PU	M48
7.1	Minutes of all meetings	7	R	CI	M48