You want to become an embedded software engineer?No matter where you are right now, you are probably surround by embedded systems without even realizing it: An embedded system is a comupter systen that has a dedicated function within a larger mechanical or electronic system. This could be for example, the microcontroller in your coffee machine or the …
I frequently travel internationally either as part of my job or for personal reasons. While I’m on the road, especially when traveling job related, it is very important for me to stay connected. A while ago I came across the Keepgo lifetime data SIM card. What distinguishes Keepgo from other travel SIM cards is that it …
International Data SIM / International Data Plan – Keepgo Review Read More »
I will be speaking at the Automotive System Safety Europe conference in Berlin at November 29th, 2016. In my talk I will give some insides about how freedom from interference can be achieved in automotive systems. I will also discuss best practices on how to deal with mixed ASIL architectures and how freedom from interference can be …
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 …
I have updated my list of literature on functional safety with the book of Marco Bozzano et al.. The book is a very well written introduction into the topic of safety assessment and functional safety and I can recommend it for readers on beginner levels as well as for functional safety experts that want learn more about formal …
Functional Safety Book recommendation: Design and Safety Assessment of Critical Systems Read More »
On Tuesday May 28th 2013 I gave a talk at the Alpine Verification Meeting in Trento Italy with the title “Recent Advances in Causality Checking”. Abstract: In recent work on the safety analysis of systems we have shown how causal relationships amongst events can be algorithmically inferred from probabilistic counterexamples and subsequently be mapped to fault …
AVM 2013 Talk: Recent Advances in Causality Checking Read More »
Stefan Leue, my PhD supervisor, recently visited Microsoft Research in Redmond and gave a lecture on the Causality Checking method we currently develop. Causality Checking will make up a large part of my PhD thesis. A video of the lecture is available online here. Here is the abstract of his talk: I will introduce Causality Checking, a technique …
I just discovered a great new (?) feature of Google Scholar called author profiles. There a two great benefits: You can “follow” authors and automatically get an email alert whenever they have published a paper, in my opinion a great way to keep track of what is going on in your research field. You can “follow” …
Last night Nafees emailed the first pictures documenting the relief operation, that was supported by the money we gave.
Yesterday I received my new quad core PC and I want to present a list of software tools that I don’t want to miss: Synergy: Enables you to share the keyboard and mouse with another PC via LAN. Notepad++: Great editor. ExpandDrive: Mount any folder that is accessibly via SSH as an network drive. Filezilla: …
