Projekte: Vereinigtes Königreich
Hier finden Sie eine Übersicht zu laufenden und abgeschlossenen Vorhaben der Projektförderung des BMBF mit Beteiligung des Vereinigten Königreichs. Aufgeführt werden Vorhaben mit einer Laufzeit bis mindestens zum Jahr 2018. Die Projekte werden in chronologischer Reihenfolge angezeigt (neueste zuerst).
Hinweis: Die Liste enthält sowohl Einzelprojekte, als auch Verbundprojekte, die aus mehreren Teilprojekten bestehen. Die Teilprojekte eines Verbundprojektes sind miteinander verlinkt.
Sie können die Projekte nach Start- und Endjahren und nach Fachbereichen filtern. Eine Mehrfachauswahl von Fachbereichen führt dazu, dass durch die Filter Projekte für alle ausgewählten Fachbereiche angezeigt werden („oder“-Auswahl), sie ist nicht auf Kombinationen beschränkt („und“-Auswahl).
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Sichere Flugzeugkommunikation durch flexible Architektur der Kabinenkommunikation
Der nächste große Innovationsschritt in vielen Industriebereichen wird der Übergang zu hoch- bzw. vollautomatisierten Systemen sein. Diese Systeme müssen in der Lage sein alle möglichen Betriebszustände und Notsituationen sicher zu bewältigen - ohne…
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Validierungsmethodik auf Fahrzeugprüfständen
Das Forschungsziel der AVL Deutschland GmbH im Vorhaben ist eine durchgängige und effiziente Validierungsmethodik zur Absicherung von Fahrerassistenzsystemen und automatischen Fahrfunktionen auf Fahrzeugprüfständen in einer detaillierten virtuellen…
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Verifikation von automatisierten Systemen
Der nächste große Innovationsschritt wird der Einsatz von hoch- bzw. vollautomatisierten Systemen sein, welche selbsttätig alle möglichen Betriebszustände und Notsituationen sicher bewältigen müssen. Dies zeigt sich durch den umfassenderen Einsatz…
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Formale Spezifikation und formales Testen - Vollständigkeit, Konsistenz und Korrektheit
Der nächste große Innovationsschritt in der Automobilbranche wird der Übergang zu immer umfassenderen Fahrerassistenzsystemen (ADAS) und automatischen Fahrfunktionen (ADF) sein. Vollautomatisiert fahrende Fahrzeuge müssen jederzeit in der Lage sein,…
Verbundprojekt: Europäische Initiative zur Validierung der Zuverlässigkeit und Sicherheit von hochautomatisierten Systemen - ENABLE-S3 -; Teilvorhaben: Architektur und Sicherheitsnachweis für automatisiertes Valet-Parken
DENSOs übergeordnetes Forschungsziel ist es Methoden zum Nachweis der Sicherheit hochautomasierter Fahrsysteme zu entwickeln. Diese Methoden teilen sich auf formale Argumentation, Echtzeitüberwachung und Test zur Designzeit auf. Um die Methoden zu…
Infect-ERA III Call - CryptoVIEW - Dynamisches life-imaging einer Cryptokokkus neoformans Pilzinfektion des Gehirns unter Verwendung von in vivo Mikroskopie
Die Cryptokokkose ist eine Erkrankung, die durch Infektion mit dem humanpathogenen Hefepilz-Organismus Cryptococcus neoformans verursacht wird. Die Pilze werden in der Regel durch Inhalation von infektiösen Partikeln (Vogelkot) über die Lunge…
JPND Verbundprojekt GBA-PARK: GBA1-Mutationen bei Morbus Parkinson: klinische und biochemische Prodromalsymptome, Risikoprofile und pathogenetische Nachbildung von therapeutischen Interventionen
Die Parkinson-Krankheit ist nach der Alzheimer Demenz die zweithäufigste neurodegenerative Erkrankung. Sie beginnt meist nach dem 55. Lebensjahr und sowohl Frauen als auch Männer sind betroffen. In Europa sind etwa 1,2 Millionen Menschen an Parkinson…
Verbundprojekt: Neue Methoden zum effizienten Nachweis der Sicherheit und Zuverlässigkeit eingebetteter Systeme - AMASS -; Teilvorhaben: CPS-Zertifizierung in Automotive und Aviation
Ziel des Projektvorhabens von Infineon ist die Erforschung zur Zertifizierung Cyber-Physischer Systeme am Beispiel von Automobil und Aviation. Dazu sind zwei Fallstudien, Zertifizierung von Sicherheitslösungen für Automobilanwendungen und für…
Verbundprojekt: Neue Methoden zum effizienten Nachweis der Sicherheit und Zuverlässigkeit eingebetteter Systeme - AMASS -; Teilvorhaben: Nahtlose Werkzeugintegration
Der Übergang von isolierten, eingebetteten Systemen zu offenen, vernetzten Systemen erhöht die technische Komplexität und insbesondere das Problem der Absicherung und Zertifizierung dieser Systeme. In den Projekten OPENCOSS und SafeCer sind…
