Software Engineering

The Leaked Tesla Files and Their Implications for ADAS Safety

Leave a Comment / Embedded Software Engineering, English Posts, Functional Safety, ISO26262, Research, Software Engineering / By

The German newspaper Handelsblatt recently obtained access to over 100 Gigabytes of leaked files from internal Tesla systems. These files cover a range of information, including confidential employee data, Cybertruck development details, and customer claims and problem reports related to Tesla’s ADAS products (full self-driving and autopilot). Fraunhofer SIT has assessed the leaked data and …

The Leaked Tesla Files and Their Implications for ADAS Safety Read More »

Maybach-Seminar “Wenn die Software fährt – Kann man der Software im Auto sein Leben anvertrauen?”

Leave a Comment / Embedded Software Engineering, Functional Safety, Research, Software, Software Engineering / By

Am Dienstag den 09. Mai von 18:00-20:00 Uhr werde ich im Rahmen der Veranstaltungsreihe Maybach-Seminar, der DHBW Ravensburg und dem IWT Institut für Weiterbildung, Wissens- und Technologietransfer, einen Vortrag zum Thema “Wenn die Software fährt – Kann man der Software im Auto sein Leben anvertrauen?” halten.

How to become an Embedded Software Engineer

7 Comments / Embedded Software Engineering, English Posts, Software Engineering, Videos / By

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 …

How to become an Embedded Software Engineer Read More »

Mitarbeiterführung auf Distanz

1 Comment / Leadership, Management, Software Engineering / By

Wir haben bei uns im Unternehmen natürlich eine Regelung zur Mobil Arbeit, welche Arbeiten von zu Hause aus ermöglicht und regelt, und ja auch im Umfang beschränkt. Diese gilt in “normalen Zeiten”, “normale Zeiten” sind im Prinzip alle Zeiten, hiervon ausgenommen sind nur Zeiten in denen die Verbreitung eines Virus das Ausmaß einer Pandemie annehmen …

Mitarbeiterführung auf Distanz Read More »

SPIN 2014 Talk: SpinCause: A Tool for Causality Checking

Leave a Comment / Publications, Research, Software Engineering / By

Today I talked at the SPIN 2014 symposium in San Jose, CA about the SpinCause tool. The slides for my talk are available here. In this paper we present the SpinCause tool for causality checking of Promela and PRISM models. We give an overview of the capabilities of SpinCause and briefly sketch how the causality checking …

SPIN 2014 Talk: SpinCause: A Tool for Causality Checking Read More »

1st International Conference Automotive Embedded Systems

Leave a Comment / Functional Safety, ISO26262, Research, Software Engineering / By

I’m happy to announce that I will chair the 1st International Conference Automotive Embedded Systems. The Automotive Embedded Systems conference focuses on the challenges of nowadays automotive software and systems development. The conference will be held from 25 – 27 February 2014 at the Lindner Hotel Airport, Düsseldorf, Germany. We will discuss emerging trends in automotive …

1st International Conference Automotive Embedded Systems Read More »

Functional Safety Book recommendation: Design and Safety Assessment of Critical Systems

Leave a Comment / English Posts, Functional Safety, ISO26262, Research, Software Engineering / By

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 »

AVM 2013 Talk: Recent Advances in Causality Checking

Leave a Comment / English Posts, Publications, Research, Software Engineering / By

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 »