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 😉
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.
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.
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!
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.
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)
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 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!
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.
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/
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.