Zur Webseite der Uni Stuttgart

Laura Rodríguez Gómez

Name:

Dipl.-Inf. Laura Rodríguez Gómez

Adresse:

Universität Stuttgart

Institut für Technische Informatik

Pfaffenwaldring 47

70569 Stuttgart

Raum:

3.174

Sprechstunde:

Mittwoch, 10:00 - 11:00

Telefon:

+49 - 711 - 685 - 88276

Fax:

+49 - 711 - 685 - 88288

Mail:

laura.rodriguez@iti.uni-stuttgart.de

Laufende Projekte

INTESYS: Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme

Projektseite: Modellbasierte Testdatenerzeugung zur effizienten Prüfung integrierter Hardware-/Softwaresysteme

Funktionen in eingebetteten Systemen werden heutzutage immer häufiger durch integrierte Hard- ware-/Softwaresysteme realisiert, insbesondere ist dies auch bei Prozessautomatisierungssystemen zu beobachten. Merkmal dieser Hardware-/Softwaresysteme ist die enge Kopplung mit technischen Prozessen, wie etwa in den Steuerungen und Regelungen eines Kraftfahrzeugs, die eine zeitabhängige und diskret-kontinuierliche Dynamik aufweisen. Die Prüfung der korrekten Funktionalität des Entwurfs als auch des gefertigten Systems macht aufgrund der hohen Komplexität einen hohen Anteil der Gesamtkosten aus. Es wird daher ein effizientes Vorgehen zur gemeinsamen Prüfung von Hardware und Software dieser eingebetteten Systeme benötigt, das die einzelnen Aspekte Validierung, Debug, Diagnose und Test in sich vereint. Dies beinhaltet die automatisierte Ermittlung von Testdaten, welche Fehler zügig aufdecken und gleichzeitig eine hohe Produktqualität sicherstellen.
Modellbasierte und modellgetriebene Entwicklungs- und Testverfahren gewinnen sowohl in der Forschung als auch in der industriellen Praxis an Bedeutung, da sie die schrittweise Entwicklung von den Anforderungen bis hin zur Implementierung systematisieren. Durch Nutzung von Modellen, welche die Funktionen integrierter Hardware-/Softwaresysteme beschreiben, wird eine höhere Effizienz der Prüfung angestrebt. Wesentliche Ziele des Forschungsvorhabens sind die Testdaten- generierung für Funktion und Struktur aus einem Systemmodell eingebetteter Hardware-/Software- systeme sowie die automatische Auswertung und Fehlerdiagnose. Dies stellt eine Herausforderung dar, welche bis heute nicht zufrieden stellend gelöst werden konnte.

seit 10.2010, DFG-Projekt: WU 245/9-1    

Diana: BMBF Projekt: Durchgängige Diagnosefähigkeit für Elektroniksysteme im Automobil

Projektseite: BMBF Projekt: Durchgängige Diagnosefähigkeit für Elektroniksysteme im Automobil

Gemeinsam werden AUDI AG, Continental AG, Infineon Technologies AG und ZMD AG erforschen, wie sich die Analyse- und Diagnosefähigkeiten von elektronischen Steuergeräten im Fahrzeug verbessern lassen. Unter der Leitung von Infineon arbeiten die vier Partner bis 2013 daran, wie eine gezielte Fehlererkennung und damit schnellere Fehlerbehebung beim Automobilhersteller bzw. in der Werkstatt möglich sind. DIANA steht für "Durchgängige Diagnosefähigkeit in Halbleiterbauelementen und übergeordneten Systemen zur Analyse von permanenten und sporadischen Fehlern im Gesamtsystem Automobil". Die Projektpartner werden dabei von zahlreichen Forschungseinrichtungen und Universitäten unterstützt: dem Fraunhofer-Institut für Integrierte Schaltungen Dresden, der Universität der Bundeswehr München und den Universitäten Cottbus, Erlangen-Nürnberg und Stuttgart.

seit 07.2010, BMBF-Projekt    

Lehre

Vorlesungen und Übungen

  • Seminar:Formal Verification of Microprocessors (SS 13)
  • Hardware Verification and Quality Assessment (SS 13)
  • Elements of High-Performance RISC Processors: Design and Synthesis (WS 12/13)
  • Design and Test of Systems on Chip (WS 12/13)
  • Grundlagen der Rechnerarchitektur / Advanced Processor Architecture
    in (SS 12)
  • Design and Test of Systems on Chip (WS 11/12)
  • Grundlagen der Rechnerarchitektur
    in (SS 11)

Master- / Diplom- / Studienarbeiten und Software Praktika

     Abgeschlossene Themen