The main goal of the project is to disseminate, improve, integrate, and deploy deductive verification technologies into the industrial domain of safety critical embedded systems. The project is centered around the Frama-C framework and its deductive verification plug-in.

DIAMONDS (Development and Industrial Application of Multi-Domain Security Testing Technologies) addresses the increasing need for systematic security testing methods by developing techniques and tools that can efficiently be used to secure networked applications in different domains.

In the DIGINET-PS project, connected and automated driving is researched in the urban test field of Berlin. The focus is on combining modern smart city technologies with future vehicles. 

VISCOM has developed a new solution for digital dome projection in close cooperation with Carl Zeiss. It allows digital images and videos to be displayed on a concave hemisphere using standard projectors and commercially available PCs – without loss of quality even in the case of high-resolution images.

By the order of the German Society for Continuing Medical Education (DGÄF), Fraunhofer FOKUS is developing the technical basis for the DOCAMPUS Portal.

Accelerate cooperative mobility

The aim of EAGLE is to provide training solutions for employees in local government administrations in rural communities.

EAGLE aims at equipping employees in local government administration in rural communities with a holistic training solution that supports learning of critical transversal skills such as ICT literacy, information literacy and professional management of change situations in entire organizations at all levels.

The aim of the easy.going project was to promote new developments for barrier-free mobility. It created the possibility that the built environment as well as the transport system may be used by everyone without the help of others.

Today’s cars are produced in line with the modular design principle which enables efficient production of individual customer-configured vehicles. The EBASO project seeks to extend this approach to the development of embedded software in the automotive domain.

The EFIPSANS project aims at exposing the features in IPv6 protocols that can be exploited or extended for the purposes of designing or building autonomic networks and services. In the long run, the project's objective is to establish standardizations.

The H2020 project ElasTest aims at assisting companies developing large scale complex distributed systems to create a testing ecosystem that enables them to reduce time-to-market and ship software products that are more robust while at the same time increase the productivity of developers and testers.