Projects

KI4KL – KI für Kommunale Leistungen

In Antwort auf die Ausschreibung Nr. 10/4.1-2023-0335 der Stadt Gelsenkirchen hat die Westfälische Hochschule ein Angebot „für den Aufbau und Betrieb …

SASPIT – A Safe and Secure Sensor Platform for the Internet of Things

The goals of the SASPIT project are to develop an open IoT sensor platform with end-to-end security guarantees for the correctness, integrity and …

BSI_SiKI2 – Studie: Sicherheit von KI-Systemen - TP 2: Symbolische und Hybride KI-Methoden

The Federal Office for Information Security (BSI) has commissioned a study on the topic of "Security of AI systems: Symbolic and Hybrid AI Methods". …

VE-HEP – Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, …

PHYSICS – Optimized hybrid space-time service continuum in FAAS

PHYSICS’s vision is to address the aforementioned challenges and empower application developers, platform owners and infrastructure providers (e.g. …

VerSys – A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set …