SpecVer: Verifikationsgerechte Spezifikation komplexer Systeme

Verifikationsgerechte Spezifikation: Arbeitsfluss (Quelle: Alcatel-Lucent Deutschland AG)

SpecVer: Verifikationsgerechte Spezifikation komplexer Systeme

Ein Hard- und Softwaresystem kann nur so gut sein wie das Anforderungsprofil vor Beginn seiner Entwicklung. SpecVer will neue Methoden für eine genauere Systembeschreibung finden.

SpecVer: Verifikationsgerechte Spezifikation komplexer Systeme Weiterlesen »

Digitalisierung

Entdecken Sie weitere Projekte in diesen Themenfeldern:

Projekt

Forschungsverbünde

2025

Holistische Planung und Durchführung Bauvorhaben mit batterieelektrischen Maschinen – ForBat@Bau

Der Forschungsverbund ForBat@Bau zielt darauf ab, die Marktdurchdringung von batterieelektrischen Baumaschinen auf dem Weg zur lokal emissionsfreien und energieeffizienten Baustelle durch holistische Soft- und Hardwareinnovationen zu steigern.

Projekt

Projekte im normalen Entscheidungsverfahren

2025

Adaptive Insassen-Sicherheit für Automatisiertes Fahren – AI-SAFe

Das Projekt zielt darauf ab, adaptive Auslösesysteme für den Insassenschutz für zukünftige automatisierte und autonome Fahrzeuge zu entwickeln, die vorausschauend Unfallart, Insassenmerkmale (z. B. Körpergröße und -statur, Gewicht, Alter etc.) und Insassenposition berücksichtigen.