Florian Leitner-Fischer

Neues Buch: Funktionale Sicherheit nach ISO 26262

Ursprünglich hätte das Buch “Funktionale Sicherheit nach ISO 26262: Ein Praxisleitfaden zur Umsetzung” schon in 2012 erscheinen sollen. Mit einiger Verzögerung ist es nun am 31. Juli 2013 erschienen und ist damit aktuell eines der sehr wenigen verfügbaren deutschsprachigen Büchern das sich dem Thema funktionaler Sicherheit nach ISO 26262 widmet. Kurzbeschreibung (Quelle Amazon): Dieses Buch …

Neues Buch: Funktionale Sicherheit nach ISO 26262 Read More »

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

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

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 »

Speaking at 3rd International Conference Applying ISO 26262

I will be speaking at the 3rd International Conference Applying ISO 26262 on Thursday March, 21 2013. The title of my talk is  “Model-based Engineering and ISO26262” and I will talk about our experiences in using model-based engineering in an ISO 26262 context and lessons learned that we identified. If you are at the conference and …

Speaking at 3rd International Conference Applying ISO 26262 Read More »

Causality Checking for Complex System Models (Talk at VMCAI 2013)

I gave a talk on causality checking for complex system models at the VMCAI 2013 conference in Rome, Italy. The slides of my talk are available here. Abstract: With the increasing growth of the size and complexity of modern safety-critical systems, the demand for model based engineering methods that both help in architecting such systems …

Causality Checking for Complex System Models (Talk at VMCAI 2013) Read More »

Causality Checking at Microsoft Research

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 …

Causality Checking at Microsoft Research Read More »

CausCheck : Causality Checking for Complex System Models

I’m currently developing a new method for automated safety analysis of complex systems. This method is called Causality Checking and allows for the automated generation of fault trees out of system or software architectures in SysML or UML. This post gives an overview of how Causality Checking works. CausCheck : Causality Checking for Complex System Models …

CausCheck : Causality Checking for Complex System Models Read More »

Die Logitech K750 Mac Tastatur mit Solarzellen

Ich liebe mein Apple Wireless Keyboard, aber was mich gelegentlich nervt ist, dass die Batterien oder Akkus immer im ungünstigsten Moment leer sind. Deswegen habe ich mir nun bei  die  angeschafft. Das Spezielle an dieser Tastatur ist, dass sie ähnlich wie die bekannten Solar-Taschenrechner funktioniert, nur dass sie zusätzlich auch einen integrierten Akku besitzt, so …

Die Logitech K750 Mac Tastatur mit Solarzellen Read More »