Skip to main content Skip to main navigation

Projekt

SASPIT

Eine Sichere Sensorplattform für das Internet der Dinge

Eine Sichere Sensorplattform für das Internet der Dinge

  • Laufzeit:

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, security und privacy), sowie die Entwicklung der dafür benötigten Konzepte und Werkzeuge. Die benötigte Hard- und Software wird mit dem Ziel der Verifikation und Zertifikation entwickelt. Einzelne, direkt wiederverwendbare Komponenten werden exemplarisch und offen nachvollziehbar verifiziert. Die Zertifikation eines auf dieser Basis entwickelten Systems wird durch einen Leitfaden erleichtert. Ferner werden neuartige Methoden zur Absicherung elektronischer Komponenten bzw. Sensoren (nach der Herstellung, auf dem Lieferweg und im Betrieb) erforscht. Dabei sollen einzigartige Eigenschaften elektromagnetischer Strahlung genutzt werden, die während drahtloser Kommunikation gemessen werden können. Wo immer möglich werden quelloffene Techniken und Werkzeuge, wie eine RISC-V-basierte Architektur und einschlägige Open-Source Software eingesetzt, mit der Anbindung an proprietäre Techniken wo nötig. Die Ergebnisse des Projektes werden anhand von Demonstratoren aus dem Bereich der Gebäudeautomation validiert und dargestellt.

Partner

  • Thermokon Sensortechnik GmbH
  • Infosim GmbH & Co. KG
  • TÜV Informationstechnik GmbH
  • Ingenics Digital GmbH
  • PHYSEC GmbH
  • Hochschule RheinMain
  • Ruhr-Universität Bochum, Lehrstuhl für Security Engineering
  • Ruhr-Universität Bochum, Lehrstuhl für Digitale Kommunikationssysteme
  • Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (Konsortialführer)

Fördergeber

BMBF - Bundesministerium für Bildung und Forschung

16KIS1852K

BMBF - Bundesministerium für Bildung und Forschung

Publikationen zum Projekt

Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

Zur Publikation

Milan Funck; Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

In: FDL. Forum on Specification & Design Languages (FDL-2023), September 12-15, Turin, Italy, IEEE, 2023.

Zur Publikation