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.

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 [...]

Am Dienstag, 4. Oktober 2011 gibt es im Rahmen der Jahrestagung der Gesellschaft für Informatik einen Workshop zum Thema “Virtualisierung – gestern, heute und morgen”. Ich habe als einer von fünf Referenten die Ehre, einen Perspektivenwechsel vorzunehmen. In meinem Beitrag beschreibe ich die Anforderungen an die Virtualisierung als Technologie für die Entwicklung sicherheitskritischer, eingebetteter Systeme. [...]