Quality Engineering Projects

The Internet of Things (IoT) increases the risk of attacks on the software of systems caused even by simple execution errors. Software verification tools can make a significant contribution to ensuring the security and reliability of digital technologies.

Digitalisation also does not stop at the craft trades. The “DigiHand” collaborative project shows how this sector will be working in the future. A traveling exhibition of the same name shows the results of the project.

AI is being treated as a key technology that can make cars drive intelligently and autonomously, supply chains easier to plan, production processes more efficient, and thus achieve sustainability goals. The SPATIAL project, which has now been launched, aims to answer questions relating to trustworthy AI.

The KI-LOK project, therefore, aims to develop new test procedures and methods for safeguarding and certifying AI-supported technologies for safety-critical applications in railroad technology.

TAG CLOUD is a European project co-funded by the Seventh Framework Programme of the European Commission that will generate lifelong engagement with cultural heritage through social media, augmented reality and storytelling applications based on the cloud.

Within the XIVT project, a method and toolchain will be defined for testing highly configurable, variant-rich embedded systems. This will enable a highly effective, cost-efficient quality assurance, allowing the shift to autonomous, flexible and adaptive applications. .

In the SANDMAN project, Fraunhofer FOKUS has developed an AI based predictive maintenance solution for smart pipes able to detect potential leakages and their corresponding positions in time.

The On-Board Computer System Architecture (OBC-SA) project is developing an architectural framework for future on-board computer systems to enable the modular integration of systems with different performance and functional characteristics into the IT infrastructure of a spacecraft.

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.

With the help of Car-to-X Communication infrastructure, individual vehicles and a lot of further stakeholders have access to new, high resolution information in real time. Using this information, a broad spectrum of applications, especially for traffic safety and efficiency applications will be developed in simTD.