Telefon: +41 44 2688 337
| Kathrin.Scheidemann |  |
Ergon.ch |
Kleinstrasse 15
CH-8008 Zürich
Switzerland
Ausbildung
- 2004 - 2008 Promotion am Lehrstuhl für Software & Systems Engineering, Prof. Dr. Dr. h.c. Manfred Broy, Technische Universität München
Forschung im Bereich strategische Konfigurationsauswahl beim Test und Methoden zur formalen Verifikation, grosser Familien verteilter eingebetteter Systeme, wie z.B. Fahrzeugbaureihen. - 1999 - 2004 Informatikstudium an der Technischen Universität München.
Hauptfach: Technische Informatik
Nebenfach: Biologie
Diplomarbeit: Threats and risks associated with context sensitive services in automotive systems.
Abschluss: Diplom
- 1997 - 1999 Biologiestudium an der Ludwig-Maximilians-Universität München.
Abschluss: Vordiplom
- 1988 - 1997 Naturwissenschaftliches Gymnasium Icking.
Erfahrung
- seit 02/2011 Software Engineer bei Ergon, Abteilung Industry Solutions.
- 2008 - 2011 Forschung, Softwareentwicklung und Projektleitung bei der BMW Car IT GmbH. Verantwortlich für Forschungs- und Vorentwicklungsprojekte im Themengebiet Softwareentwicklung für Multicorearchitekturen in Fahrzeugsteuergeräten. In diesem Zusammenhang Mitwirkung an Definition und Validierung des AUTOSAR Standards. Projekte im Themenbereich energieeffizientes Embedded Computing und modellbasiertes Softwareengineering für sicherheitsrelvante eingebettete Systeme.
- 2007 - 2008 Wissenschaftliche Mitarbeit am Lehrstuhl für Software & Systems Engingeering der Technischen Universität München.
- 2004 - 2007 Doktorandin bei der BMW Car IT GmbH.
Publikationen
- K. Scheidemann, M. Knapp, C. Stellwag: Load Balancing in AUTOSAR Multicore Systemen Teil 1 & Teil 2, Automotive Elektronik. 2010
- K. Scheidemann: Verifying Families of System Families, Doctoral Thesis. 2008
- A. Gruler, M. Leucker, K. Scheidemann: Calculating and Modeling Common Parts of Software Product Lines, In: Proceedings of the 12th International Software Product Line Conference; 2008
- A. Gruler, M. Leucker, and K. Scheidemann: Modelling and Model-Checking Software Product Lines, In Proc. Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 2008
- M. Bechter, B. Stützel, H. Dettmering, K. Scheidemann: Kompatibilität für Software-Funktionen im Auto, Elektronik Automotive, 1:54-57, 2007
- K. Scheidemann: Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems, in Proc. 10th International Software Product Line Conference (SPLC), 75-84, 2006
- S. Merk, K. Scheidemann, M. Rudorfer, T. Stauner, J. Grünbauer, G. Popp, G. Wimmel: Security for Downloadable Automotive Services, in Proc. Conference on Embedded IT- Security in Cars (ESCAR) 2004
- D. Leippert, E. Frank, P. Gabriel, S. Kutter, K. Scheidemann, N. v. Stillfried, F. Weller: Prey Correlated Spectral Changes in Echolocation Sounds of the Indian False Vampire Megaderma Lyra , Ethology 108, 193-156, 2002