Florian Leitner-Fischer

The Leaked Tesla Files and Their Implications for ADAS Safety

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?”

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

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

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 »

International Data SIM / International Data Plan – Keepgo Review

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 »

SPIN 2014 Talk: SpinCause: A Tool for Causality Checking

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 »