Personal Update

It has been a while since the last time I posted a blog post here. The reasons have been manyfold and include becoming a father for the first time, starting a job in industry while finishing up my PhD thesis and moving to a new house and all that at almost the exact same time 😉

All these milestones in my life obviously  shifted some the priorities in my life. This does not mean that the blog is no longer important for me, but I needed some time to decide in which direction I would like to go with this blog. After some time I know decided what I want this blog to be. I want it to be a reflection of my thoughts and ideas both professional and personal. This means that in the future I will write about

  • topics evolving around (automotive) software engineering, project management as well as functional safety
  • but also web development and technology in general and hobby-projects (e.g. home automation)
  • and I will write about my life as a dad

In terms of language I have not entirely decided whether all my blog posts will be in English or whether maybe the more personal ones will be in German.

I’m also not yet sure in which frequency I will be able to write blog posts but initially I will aim at one post per month … so keep tuned 😉

Quantitative Safety Analysis of UML Models

My master’s thesis is now available online here.


When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Another obstacle is, that the methods often require a profound knowledge of formal methods, which can rarely be found in industrial practice. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. We propose a UML profile that allows for the specification of all inputs needed for the analysis at the level of a UML model. The QuantUM tool which we have developed, automatically translates an UML model into an analysis model. Furthermore, the results gained from the analysis are lifted to the level of the UML specification or other high-level formalism to further facilitate the process. Thus the analysis model and the formal methods used during the analysis are hidden from the user.

Samsung L40C750 3D Fernseher

Der Umzug rĂŒckt immer nĂ€her und so mĂŒssen auch die ein oder anderen Sachen angeschafft werden. Bisher habe ich ĂŒber meinen PC mit 24”-LCD Monitor von Dell ferngesehen. Hierzu habe ich ein Hauppauge PVR903C TV-Stick und Windows Media Center verwendet.
Das ganze klappt zwar ganz gut aber fĂŒr das neue Wohnzimmer musste auf jeden Fall ein neuer Fernseher her.

Von Anfang an stand eigentlich fest, dass ich ein Samsung GerÀt möchte, zum einen um HDMI-Anynet mit meinem Samsung HW-C700 AV Receiver zu nutzen und zum anderen weil ich mit Samsung GerÀten bisher gute Erfahrungen gemacht habe.

Folgende Features sind mir wichtig:

  • DVB-C Tuner fĂŒr KabelBW
  • DLNA-FĂ€higkeit und AllShare um auf Fotos auf der Netzwerkfestplatte zuzugreifen
  • Internet@TV um Filme von Maxdome zu streamen
  • WLAN ready, weil ich kein Netzwerkkabel ins Wohnzimmer legen möchte
  • Wenn möglich integrierte Aufnahme- und Time-Shift-Funktion


Mit diesen Anforderungen war die Entscheidung fĂŒr den Samsung LE40C750 recht schnell gefallen. Als Bonus gibt es hier noch die 3D-FunktionalitĂ€t oben drauf.

Also habe ich bei Amazon den Fernseher inkl. 3D Brille fĂŒr 899 Euro bestellt (bei Media Markt gab es den Fernseher ohne Brille fĂŒr 1199 Euro), sobald er da ist gibt es hier natĂŒrlich einen ausfĂŒhrlichen Erfahrungsbericht und Fotos.

The road ahead …


Yesterday, on September the first I had my first work day as a PhD student and researcher staff member at the Chair for Software Engineering at the University Konstanz.

My main research topics are the analysis of safety-critical systems, in particular probabilistic and stochastic analysis methods. I will also continue to work on QuantUM tool for quantitative analysis of UML model which I have developed during my master thesis.

Apart from research I will also do some teaching and I will supervise bachelor and master theses.

Since I was a part-time employee of the chair before and worked almost fulltime because I really like my job, there is not much that changes. But it is still yet another station on the road of my live and I look forward to the rest of the journey!

ICSE 2010 in Cape Town

On saturday I will fly to Cape Town, South Africa, to attend the International Conference on Software Engineering. On May 3 I will present our paper “Directed and Heuristic Counterexample Generation for Probabilistic Model Checking – A Comparative Evaluation” at the First International workshop on Quantitative Stochastic Models in the Verification and Design of Software System (QUOVADIS 2010).

ICSE 2010

I’m really looking forward to the conference where well-known scientists from around the world will present their work. Highlights are also the opening keynote given by Archbishop Desmond Tutu and the Microsoft Research New Horizons Evening.

Going Quad

On tuesday I orderd my new PC (or at least the components to build one ;))Here are the highlights: 

  • CPU: IntelÂź Core 2 Quad Q6600
  • Power Supply: be quiet! Straight Power BQT E6-400W
  • Mainboard: Asrock G41M-LE
  • HDD: Western Digital WD10EADS 1 TB
  • RAM: 2 X Kingston ValueRAM DIMM 2 GB DDR2-800 (will be updated to 8 GB later)

Improving your Management / Entrepreneur Skills

During the last years I learned a lot about what it means to run a business, there are on the one hand and the and on the other hand my internship at TRW.I found it really interesting not to focus only on the technology side but to see also the management side of a business and since I always want to learn, I applied the following strategies to improve my management and entrepreneur skills:

Learn from Mistakes!
There is an old saying “The Best Teachers Are Your Own Mistakes”. So if you run your own business from time to time take a break and evaluate the decision you have made and think about what could have happened if you would have done something different. But at least some times it is also possible to learn from mistakes of others. There are different ways to learn from mistakes that other people make, but the first thing you have to do is to realize the mistakes.If you for example are an intern in a company, you always can observe the actions of your superiors and ask yourself the question “What would I have done at her / his place?” Or if you realize that some decisions turned out to be bad, you should ask yourself “Why where the decision bad?” and “Which decision would have been better?”

Read, Read and Read!
It’s like all other things if you want to learn something read not only one but many books or blogs or magazines and do not only consume what you read but try to challenge it!

Take Classes!
For me being a student, it is very easy to attend a strategic management or technology management seminar at the university but if you are not a student you still may have the chance to visit some classes, at least a lot of the German universities you can enroll as a extra-mural student.

Oops … Blog Daten gelöscht!

Das kommt davon, wenn man zu viele Sachen auf einmal macht. Gerade ebene habe ich die MySQL Datenbank in der die Daten dieses Blogs sind gelöscht. (Eigentlich wollte ich die Datenbank direkt darunter löschen).

Damit habe ich das Blog nun wieder in den Stand vor Weihnachten 2007 versetzt den da habe ich das letzte Backup erstellt.

Was lernen wir daraus? Das Blog kommt nun mit auf den Weekly Backup Plan.

Handy Provider anhand Nummer herausfinden

Da ich seit ein paar Monaten mein neues Handy inklusive neuem T-Mobile Vertrag mit T-Mobile interner- + Festnetz-Flatrate habe, stellt sich mir nun hĂ€ufig die Frage ob ich mich kurz fassen muss oder ob mein GesprĂ€chspartner auch bei T-Mobile ist. Eine elegantere Art dies zu klĂ€ren, ist ĂŒber die Services der Mobilfunkbetreiber.


Kurzwahl: 4387

SMS mit Rufnummer an Kurzwahl 4387
Abfrage per WAP im T-Mobile-WAP-Portal


Kurzwahl 12313


Kurzwahl: 10667
o2 Germany

SMS mit “NETZ Rufnummer” an Kurzwahl 4636