To maintain the European leading edge position in the transportation as well as automation market, CESAR aims to boost cost efficiency of embedded systems development and safety processes by an order of magnitude.

Data and information are the raw material of the 21st century and public data will therefore play a key role in tomorrow’s cities. The Berlin Open Data Portal daten.berlin.de is the first data portal of its kind in Germany. It provides public data in a structured, machine-readable format and under free license.

The SUPL 2.0 protocol addresses the UserPlane Location Protocol (ULP) defined by the Open Mobile Alliance (OMA) interoperability working Group. Based on the informal definition of test case scenarios, we were developing the implementation of the test using the Testing and Test control notation TTCN-3.

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.

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 idea in PROVALIDIS (Adaptive Prototyping and Test platform for Automotive Light Engineering) is based on the development of an adaptive methodology for the model-based development of LED light scenarios under modular integration of ambient simulation mechatronic components with automatic test execution.

The main goals of the project TRICE are to develop models and methods for deriving quality and trust values by applying trust metrics on both static data and operational data. TRICE follows a user-centric approach; it assesses the trustworthiness of services based on user trust policies.

In the Project ROTESS, IESE and FOKUS worked on concepts and case studies for risk-based testing of medical systems. The goal of the project is to provide testing concepts for risk management of electronic systems in the medical domain. Both partners will bring their long experience in the field of testing into the research work.

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.

sim-EDEN develops a unified framework in the form of a simulation-based environmental disaster prediction system applying cyber-physical systems. The project follows an interdisciplinary approach to contribute to the environmental resources management, environmental disaster prediction, and their analysis.

SQC joined forces with an industry partner from the SME sector in the Vakoma project (validation methods for cost-effective, modular, industrial control systems) to develop decentralized modular architectures for control devices in compliance with IEC 61508, the standard governing safety requirements in electronic systems.

Within the MODELPLEX project, scientists of SQC develop an open solution for complex systems engineering improving quality and productivity. They define and develop a coherent infrastructure specifically for the application of model-driven engineering (MDE) within a variety of industrial domains.