Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

Mehran Goli ist seit 2018 wissenschaftlicher Mitarbeiter am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Er erwarb 2012 den B.Sc. in Computertechnik an der Universität Shahid Beheshti, Teheran, Iran, 2015 den M.Sc. in Computertechnik an der Universität Teheran, Teheran, Iran, und 2019 den Dr.-Ing. in Informatik an der Universität Bremen, Bremen, Deutschland. Seine aktuellen Forschungsinteressen umfassen Design auf Systemebene, Verifikation und Sicherheitsvalidierung.Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der J.W. Goethe-Universität Frankfurt am Main, Frankfurt am Main, Deutschland, in den Jahren 1992 und 1995. Von 1995 bis 2000 war er am Institut für Informatik der Albert-Ludwigs-Universität Freiburg im Breisgau und von 2000 bis 2001 in der Abteilung Corporate Technology der Siemens AG in München tätig. Seit Oktober 2001 ist er an der Universität Bremen, Bremen, Deutschland, wo er derzeit als ordentlicher Professor und Leiter der Gruppe für Rechnerarchitektur am Institut für Informatik tätig ist. Seit 2011 ist er zusätzlich Leiter der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Seine aktuellen Forschungsinteressen umfassen die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit einem Schwerpunkt auf Schaltungs- und Systementwurf. Er ist ein IEEE Fellow.Übersetzt mit www.DeepL.com/Translator (kostenlose Version)

• Kapitel 1. Einleitung.- Kapitel 2. Hintergrund.- Kapitel 3. Entwurf und Methodik.- Kapitel 4. Anwendung I: Verifikation.- Kapitel 5. Anwendung II: Sicherheitsvalidierung.- Kapitel 6. Anwendung III: Entwurfsraumuntersuchung - Kapitel 7. Schlussfolgerung.