Walter Alexander Pretschner (* 1975)Pretschner, Alexander. In: Kürschners Deutscher Gelehrten-Kalender Online. De Gruyter. Abgerufen am 28. September 2019. ist ein deutscher Informatiker und Hochschullehrer. Er ist Professor für Software & Systems Engineering an der Technischen Universität München, Gründungsdirektor des Bayerischen Forschungsinstituts für Digitale Transformation und wissenschaftlicher Direktor von fortiss, dem Forschungsinstitut des Freistaats Bayern für softwareintensive Systeme und Services.
Leben und Werk Alexander Pretschner studierte Informatik an der RWTH Aachen und der University of Kansas. Er promovierte 2003 an der TU München bei Manfred Broy mit der Dissertation „Zum modellbasierten, funktionalen Test reaktiver Systeme“. Anschließend forschte er an der ETH Zürich, bevor er zunächst Gruppenleiter am Fraunhofer-Institut für Experimentelles Software Engineering sowie Professor an der TU Kaiserslautern und danach Professor am Karlsruher Institut für Technologie wurde. 2012 wurde er als Professor für Software & Systems Engineering an die TU München berufen.
Ein Forschungsschwerpunkt im Software&Systems Engineering ist das Testen und dabei insbesondere die Frage, wann ein Testfall „gut“ ist: wenn er einen potentiellen Fehler mit guter Kosteneffektivität (bzgl. Schwere, Eintrittswahrscheinlichkeit, Aufwand der Identifikation etc.) finden kann. Daraus ergeben sich Ansätze zum fehlerbasierten Testen,Alexander Pretschner: Defect-Based Testing. In: Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security. Band 50, 2017, S. 141–163, 2017. Abgerufen am 28. September 2019. die u. a. erfolgreich auf autonome Autos und Drohnen angewendet werden können und die dann direkt in Arbeiten zur Vollständigkeit von TestsuitenF. Hauer, T. Schmidt, B. Holzmüller, Alexander Pretschner: Did We Test All Scenarios for Automated and Autonomous Driving Systems? In: Proc. IEEE Intelligent Transportation Systems Conference. 2019, S. 2950–2955.F. Hauer, I. Gerostathopoulos, T. Schmidt, Alexander Pretschner: Clustering Traffic Scenarios Using Mental Models as Little as Possible. In: Proc. IEEE Intelligent Vehicles Symposium. 2020, S. 1007–1012. und zur Infragestellung von Regressionstests für cyberphysikalische Systeme auf Systemebene,F. Hauer, Alexander Pretschner, B. Holzmüller: Re-Using Concrete Test Scenarios Generally Is a Bad Idea. In: Proc. IEEE Intelligent Vehicles Symposium. 2020, S. 1305–1310. und der Notwendigkeit der systemspezifischen Generierung von Testfällen überleiten. Weitere Arbeitsgebiete im Bereich des Testens umfassen modellbasiertes TestenM. Utting, Alexander Pretschner, B. Legeard: A taxonomy of model-based testing approaches. In: Software Testing, Verification & Reliability. Band 22, Nr. 5, 2012, S. 297–312. Abgerufen am 28. September 2019.Alexander Pretschner: Zur Kosteneffektivität modellbasierten Testens. In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II. Braunschweig 2006. Abgerufen am 28. September 2019.Alexander Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, T. Stauner: One Evaluation of Model-Based Testing and its Automation. In: Proc. 27th Intl. Conf. on Software Engineering. 2005, S. 392–401. Abgerufen am 28. September 2019.Manfred Broy, B. Jonsson, J.-P. Katoen, M. Leucker, Alexander Pretschner: Model-Based Testing of Reactive Systems. Springer LNCS 3472, 2005. Abgerufen am 28. September 2019. Fehlerlokalisierung, Regressionstesten, Sicherheitstesten und Fuzzing.
Arbeiten zur verteilten Daten-NutzungskontrolleAlexander Pretschner, M. Hilty, D. Basin: Distributed Usage Control. In: Communications of the ACM. Band 49, Nr. 9, September 206, S. 39–44. Abgerufen am 28. September 2019.Kelbert, F., Pretschner, A.: Data Usage Control for Distributed Systems. ACM Transactions on Privacy and Security 31(3):12, 2018. Abgerufen am 28. September 2019. und zum Test von Security-Eigenschaften bilden die Grundlage eines weiteren Forschungsschwerpunkts im Bereich Security mit Ausprägungen in den Bereichen automotive security, fuzzing, software-basierte Software Integrity Protection und Software Obfuscation sowie automatisiertes Hardening.Stöckle, P., Grobauer, B., Pretschner, A.: Automated Implementation of Windows-related Security-Configuration Guides. 35th IEEE/ACM Intl. Conf. on Automated Software Engineering, pages 598-610, 2020.
Accountability software-intensiver Systeme ist ein weiteres Arbeitsgebiet. Dazu werden Resultate zur effizienten Berechnung von KausalitätIbrahim, A., Pretschner, A.: From Checking to Inference: Actual Causality Computations as Optimization Problems. Proc. 18th Intl. Symp. on Automated Technology for Verification and Analysis, pages 343-359, 2020. (actual causality) mit methodischen Ansätzen der Modellierung kausaler AbhängigkeitenKacianka, S., Pretschner, A.: Designing Accountable Systems. Proc. ACM Conference on Fairness, Accountability, and Transparency, pages 424–437, 2021. und mit technischen Lösungsansätzen (Logging) auf Basis früherer Resultate zur verteilten Daten-Nutzungskontrolle kombiniert.
Allgemeiner beschäftigen sich die Arbeiten des Lehrstuhls für Software&Systems Engineering an der TU München mit der Qualität von Software: Was ist Qualität und wie kann man sie bemessen, wie können Zielkonflikte gehandhabt werden, wie kann man „gute“ Software entwickeln, und wie kann dabei die inhärente Kontextspezifizität von Software und Software Engineering berücksichtigt werden?
Pretschner ist Mitglied des Palantir Council of Advisors on Privacy and Civil Liberties (PCAP) und berät in dieser Funktion das US-Unternehmen Palantir Technologies.
Auszeichnungen (Auswahl) 1998: Fulbright-Stipendium 2011: Google Focused Research Award 2012: IBM Faculty Awards 2013: IBM Faculty Awards
Weblinks
Homepage von Alexander Pretschner
Google-Scholar-Profil
Einzelnachweise
Kategorie:Informatiker Kategorie:Hochschullehrer (Technische Universität München) Kategorie:Absolvent der Technischen Universität München Kategorie:Deutscher Kategorie:Geboren 1975 Kategorie:Mann