Grundlagenerweiterung f. formale Verifikation von Software/Anwendung

12 Oktober 2020

Prof. Dr. Gunnar Teege, Forschungszentrum CODE hat beim Bayerischen Staasministerium für Wirtschaft, Landesentwicklung und Energie das Projekt "SW_GruVe Erweiterung der Grundlagen für formale Verifikation von Software und deren Anwendung" eingeworben.

Laufzeit: 01.10.2020 bis 31.12.2022
Förderer: Bay. Stm. f. Wirtschaft, Landesentwicklung und Energie - Fördermaßnahme Digitalisierung - Informations- und Kommunikationstechnologie

In diesem Projekt sollen Werkzeuge zur formalen Verifikation von Software weiter entwickelt und besonders sicherheitskritische Betriebssystemkomponenten exemplarisch formal verifiziert werden.

Bildquelle: © iStockphoto / metamorworks

Aktuelles

Digitalization for Sustainability: Teilvorhaben Drucktank

Prof. Dickhut hat das DigiTain-Teilvorhaben "Konstruktion, Auslegung und Fertigung eines Linerlosen (Typ-V) Drucktank zur Wasserstoffspeicherung“ beim BMWK eingeworben.

CHoSE: Conformable Hydrogen Storage for Aviation

Prof. Dr.-Ing. Tobias Dickhut von der Fakultät für Maschinenbau hat das Projekt „CHoSE“ beim Bundesministerium für Wirtschaft und Klimaschutz (BMWK) eingeworben.

Military Quantum Safe Communication with Quantum Technology

Prof. Hommel und Dr. Nils gentschen Felde haben gemeinsam mit dem FI CODE das Projekt „Advanced Networking with Quantum Communication for Operational Results” (ANQuOR) eingeworben (EDA) .

TSB4RAID: Responding with AI-planning to Disasters (RAID)

Prof. Kiam hat das Projekt „Technology-Specific Bridge for Use Case Responding with AI-planning to Disasters (TSB4RAID)" bei der Europäischen Kommission eingeworben.

Projekt WISER: Well-being in a Sustainable Economy Revisited

Prof. Binder, Fakultät für Staats- und Sozialwissenschaften, hat das Projekt „Well-being in a Sustainable Economy Revisited“ (WISER) bei der Europäischen Kommission eingeworben.

CATOSKE: Zukunftsfähige Steuerung der Betoneigenschaften

Dr.-Ing. Nancy Beuntner vom Institut für Werkstoffe des Bauwesens hat das Projekt CATOSKE bei der Deutschen Forschungsgemeinschaft (DFG) eingeworben.

ASSAI: Autonomous Space-Based Situational Awarness & AI

Prof. Roger Förstner und Benjamin Haser haben gemeinsam mit dem FZ SPACE das Projekt „Autonomous Space-Based Situational Awarness & Artificial Intelligence (ASSAI)" eingeworben (EDA).