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.

Update aus Pakistan

Heute habe ich von Nafees eine eMail bekommen, in der ĂŒber die aktuelle Lage informiert.

I find the dictionary helpless to find words to thank you all for this sincere effort & generous donation.

Today I spent all of my day at the two sites where we started to make scratch paper design for the rooms. The most difficult part is to find mason and workers. They are hard to find as every one affected. And all in locality are somehow busy repairing and making their own homes (only those who can afford).

It was a very hot day today. And you also know its Ramadan and I was fasting. I drank about 10 glass as soon as I break my fast. Anyways, I bought four fans (Pedestal) today for 4 families as they have children and nothing to help them dry their sweats and some relief from the heat. Also did some grocery shopping for them. There is so much that I want to write, but am dead tired and have to go early in the morning to the construction site as I am now a supervisor there.

Please update colleagues and other donors too. I plan to keep all of you updated with bitwise proceedings and will send you the photos too. Just arranged a camera today from a friend for this purpose.

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!

Flut in Pakistan

Liebe Freunde,

Die schweren RegenfĂ€lle in Pakistan haben nicht nur eine Flutkatastrophe unvorstellbaren Maßes, sondern auch eine humanitĂ€re Katastrophe ausgelöst. Mehr als 20 Millionen Menschen sind von dieser Katastrophe betroffen.

Ich stehe im Moment in Kontakt mit meinem aus Pakistan stammenden Arbeitskollegen. Er hat gerade seine Familie in Pakistan besucht als Pakistan von der Flutkatastrophe heimgesucht wurde. Hier AuszĂŒge aus E-Mails, die er mir zwischen den StromausfĂ€llen schicken konnte:

The next day, I was told that we have no communication with my uncles(maternal and paternal). Our both villages have been flooded and all one can see is water. No one knows what is beneath. All of our property and crops are gone. In some places where water has descended, the left over mud is like 4 to 5 ft high. In our village the flash floods hit around mid night, trapping so many people. Hundreds of Buffaloes, goats and other pet animals along with human bodies are half buried in the mud. There is a very bad and injurious to health stinking smell all over the place. There is huge shortage of food supplies. Making things worse, the price of bread has jumped 15 times higher. Its very ugly situation out here.

The situation is as worst as one can imagine. My city and village were
the first areas which got flooded and most of infrastructure and
houses are demolished. We had so many people who took refuge with us
at our city home in Peshawar. Rescue part of the effort is over, now
the relief operation is in progress and rehabilitation would take
months to years. Today my brother took cooked food for about 200
people and is still away. Everyone is giving half of their food to the
affectees, but the scale of the disaster is so big. It unmanageable
at times. Soil is so much saturated that a glass of water is not even absorbed,
it gets flown. Because of the standing water, so many diseases have
broken out. Skin and ophthalmological diseases are very common.

Nafees ist direkt vor Ort und hilft den Menschen beispielsweise sich eine neue Unterkunft zu bauen und neues Getreide anzupflanzen.

Um ihm dabei zu Helfen kannst Du ihm per Western Union Geld schicken.
EmpfÀnger: NAFEES UR REHMAN, Stadt: PESHAWAR, Pakistan.
Das geht entweder online auf
oder in jeder Western Union GeschÀftsstelle (zum Beispiel im Bahnhof Konstanz).

Wenn du möchtest kannst Du das Geld auch gerne mir zukommen lassen und ich sorge dann dafĂŒr das es bei Nafees und seiner Familie ankommt.

Hier noch ein Auszug einer eMail in der Nafees beschreibt wie er helfen möchte:

As I mentioned in my previous communication I wanted to contribute to make an impact in our best capacity. My coordinated plan with those who affected is as follows:

1. We need to construct shelter ROOMS on safer piece of land in their ownership. Big enough to accommodate all of the family members ( Family average size here is 7 to 8). This would help them live under a roof at least protecting them from the rain, sun, heat and from various insects(mosquitoes, flies, snakes etc).

2. To help them stand on their own feet as continous support would not be that much possible, I plan to help them buy seeds for the next cultivation season so that they can grow some crops and vegetables (which is their main source of income). Further, will arrange for smaller carts/stalls which they can use to sell various items so that they can come back to life and make money for themselves.

The prices of construction material is on its way to a peak. An urgent contribution can really make a difference. I will keep all of you posted and informed of each of the progress here made in this direction. I will leave back for Konstanz by the middle of the next month, I will appreciate an early contribution to at least start the project in my own observation

Wir zĂ€hlen auf deine UnterstĂŒtzung!

Vielen Dank!


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.