Florian Leitner-Fischer

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 »

Automotive System Safety Europe

 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 …

Automotive System Safety Europe 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 »

1st International Conference Automotive Embedded Systems

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 »