Nov 19
My master’s thesis is now available online here.
Abstract
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.
Oct 06
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.
Sep 02
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!
Apr 29
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).
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.
Feb 27
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)
Feb 17
During the last years I learned a lot about what it means to run a business, there are on the one hand dww-desing.net and the PartyMe.de 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 on 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. Some much for today, maybe I will write a bit more about this in a few days and give you some links to great blogs, books and other websites.
Aug 19
My bachelor thesis “Evaluation of the Matlab Simulink Design verifier vs. the model checker SPIN” is now available online at http://www.ub.uni-konstanz.de/kops/volltexte/2008/6125/
Apr 28
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.
Nov 23
PartyMe.de macht dieses Jahr wieder eine Weihnachtsaktion für die Kinder des Pestalozzi Kinder- und Jugenddorf Wahlwies. Die Kinder durften Wunschzettel malen, welche PartyMe.de auf Ihrer Seite veröffentlicht. Nun können Besucher von PartyMe.de die Wünsche erfüllen. Bei den Wünschen handelt es sich hauptsächlich um Kleinigkeiten, die den Kindern aber bestimmt große Freude machen. Hier kann man sich ein Radio Interview anhören, welches ich aus diesem Anlass gegeben habe. Falls auch Sie für strahlende Augen an Heiligabend sorgen möchten, hier geht es zu den Wünschen >>
