Cyber-Physical Systems

 

Die Ziele des Projektes SASPIT sind die Entwicklung einer offenen IoT-Sensorplattform mit durchgängigen Sicherheitsgarantien für die Korrektheit, Integrität und Vertraulichkeit der Daten (safety,…

Mehr als 30 % der EU-Bürger in vulnerablen Lebensphasen und Lebenssituationen sind einem erhöhten Risiko ausgesetzt, von einem gesunden Gewicht zu Übergewicht und weiter zu Fettleibigkeit überzugehen.…

Soziale Interaktion ist einer der wesentlichen Faktoren, die persönliche Lebensqualität bestimmen und ausmachen, was auch die Verbreitung sozialer Medien zeigt. Aber auch die durch die…

Künstliche Intelligenz (KI) wird in vielen Bereichen weit verbreitet eingesetzt, und es ist notwendig, Vertrauen in diese Systeme in der breiten Öffentlichkeit zu erreichen. Forderungen nach…

Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten…