The D-MILS project collaborates with other European Commission, European Space Agency and nationaly funded projects addressing research and development and industrial challenges in security and dependability. Links to these related projects are provided below.

EURO-MILS: The mission of the EURO-MILS project is to develop a solution for virtualisation of heterogeneous resources and provide strong guarantees for isolation of resources by means of Common Criteria certification with usage of formal methods.

Website: www.euromils.eu

CATSY: The Catalogue of System and Software Properties project aims at developing approaches to systematically categorise and derive (formal) properties from (informal) requirement specifications and to support their validation and the verification of their refinement along the different abstraction levels of system development.

Website: es.fbk.eu/projects/catsy

DreamCloud: The main objective of DreamCloud is to develop new technologies that enable dynamic resource allocation in many-core embedded and high performance systems while providing appropriate guarantees on performance and energy efficiency.

Website: www.dreamcloud-project.org

ProSEco: The project objective is to provide a novel methodology and a comprehensive ICT solution for collaborative design of secure product-services (Meta Products) and their associate production and manufacturing processes.

Website: www.proseco-project.eu

TAPPS: The main goal of the TAPPS project is to extend and customize CPS devices with new third-party services and features utilising an Apps platform in an efficient, secure and trusted way.

Website: www.tapps.eservices4life.org

BEinCPPS: The project aims to undertake business experiments that integrate and experiment with CPS-oriented Future Internet-based machine-factory-cloud service platform. The platform will first be intensively evaluated in five selected Smart Specialisation Strategy Vanguard regions.

Website: cordis.europa.eu/project/rcn/198771_en.html

SMARTF-IT: The project is nationally funded in Germany addressing the factory of the future technologies to make the production of small quantities in real time with maximum quality, yet low cost. Multiple adaptivity is used at a higher level of the entire production system.

Website: www.smartf-it-projekt.de

OPENCOSS: The project is dedicated to produce the first European-wide open safety certification platform to reduce time and cost for (re)certification of safety-critical embedded systems, in particular for the railway, avionics and automotive markets.

Website: www.opencoss-project.eu

HASDEL: The ESA funded HASDEL project is a continuation of the previously completed COMPASS project. It builds on the COMPASS project by enhancing the tools, technologies and theories to meet the verification and validation needs of launcher systems, rockets and space transportation vehicles.

Website: moves.rwth-aachen.de/research/projects/hasdel/

HASDEL: The ESA funded HASDEL project is a continuation of the previously completed COMPASS project. It builds on the COMPASS project by enhancing the tools, technologies and theories to meet the verification and validation needs of launcher systems, rockets and space transportation vehicles.

Website: moves.rwth-aachen.de/research/projects/hasdel/

EMC2: The project finds solutions for dynamic adaptability in open systems, provides handling of mixed criticality applications under real-time conditions, scalability and utmost flexibility, along with full scale deployment and management of integrated tool chains, through the entire lifecycle.

Website: www.artemis-emc2.eu

DREAMS: The objective of the DREAMS project is to develop a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality, executing on networked multi-core chips, are supported.

Website: www.dreams-project.eu

CONCERTO: The objectives of CONCERTO is to provide a complete and coherent model based approach to the production of these complex systems, from the earliest design phases through analysis and deployment.

Website: www.concerto-project.org

ASCENS: he goal of the ASCENS project is to build ensembles in a way that combines the maturity and wide applicability of traditional software engineering approaches with the assurance about functional and non-functional properties provided by formal methods and the flexibility, low management overhead, and optimal utilization of resources promised by autonomic, adaptive, self-aware systems.

Website: www.ascens-ist.eu