In diesem Blog werden verschiedene Ausschnitte aus meiner Tätigkeit als Forschungsleiteram Fraunhofer-Institut FIRST veröffentlicht. Insbesondere aus meinem Arbeitsschwerpunkt “Einsatz von Multi- und Many-Core Prozessoren in sicherheitskritischen Bereichen” finden sich hier verschiedene Beiträge in Form von Publikationen und Vorträgen.

Schriftliche Ausarbeitungen aus der Studienzeit, wie etwa Hausarbeiten und andere Texte, befinden sich ebenfalls hier im Bereich Studium.

Wer gerne Motorrad fährt und schon immer mal quer durch die USA und Kanada fahren wollte, wird meinen Erfahrungsbericht zu meiner Reise im MotorcycleDiary vielleicht ganz hilfreich finden.

Zum Abschluss des regionalen Forschungsprojekt “VirtuOS” gibt es wieder die Möglichkeit sich im Rahmen einer Fachtagung am 26. April 2012 über die Projektergebnisse zu informieren und mit den Beteiligten ins Gespräch zu kommen. Projekthintergrund Funktionssicherheit (Safety) und Angriffssicherheit (Security) sind Voraussetzungen für den Einsatz von embedded Software im Auto. Im Rahmen des Projekts VirtuOS (Virtuelle [...]

In diesem Jahr hat uns sogar Heise in den Newsletter aufgenommen: Multi-Core in sicherheitskritischen- und Echtzeitsystemen Das Fraunhofer-Institut FIRST veranstaltet am 24. November 2011 seine zweite Multi-Core-Veranstaltung mit dem Fokus auf dem Einsatz von Mehrkernprozessoren in sicherheitskritischen- und Echtzeitsystemen. Experten aus Industrie und Wissenschaft sollen in Berlin (Kekuléstr. 7, Adlershof) neue Techniken im Bereich der Multi-Core- [...]

In meiner Promotion entwickele ich einen methodischen Ansatz weiter, der sich bereits mehrfach in der Entwicklung sicherheitskritischer Systeme bewährt hat. Er verbirgt sich hinter dem Motto “Correctness by Construction” und versucht eine schrittweise Formalisierung des Entwicklungsprozesse zu erreichen, um damit automatisierte Verifikationen zu ermöglichen, so dass die Fehlerraten um Größenordnungen gesenkt werden. Währten dieser Ansatz [...]