Florian Leitner-Fischer

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 »

Functional Safety Literature / Books (ISO 26262, IEC 61508)

A collection of books discussing functional safety according to IEC61508 and ISO26262. English: Design and Safety Assessment of Critical Systems (recommended) by Marco Bozzano and Adolfo VillafioritaShort Description (source: amazon.com): Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality …

Functional Safety Literature / Books (ISO 26262, IEC 61508) Read More »

QuantUM: Safety Analysis of Complex System and Software Architectures

The last few months I had not much time to blog, but today I want to write about a current research project I’m involved in. The QuantUM Approach When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of …

QuantUM: Safety Analysis of Complex System and Software Architectures Read More »

DiPro – Directed Probabilistic Counterexample Generation Tool Released

After many months of implementation and testing we finally released the DiPro tool for probabilistic counterexample generation tool. I will give a talk on DiPro’s features on the SPIN 2011 Workshop (July 14-15), co-located with CAV 2011 in Snowbird Utah. What is DiPro? Current stochastic model checkers do not make counterexamples for property violations readily …

DiPro – Directed Probabilistic Counterexample Generation Tool Released Read More »

Streaming Server für Samsung TVs

16.12.2010 Kurzes Update: Twonky kann man mittlerweile in der Version 6.0.30 auch für die MyBookWorld Festplatte herunterladen, damit funktioniert nun auch MKV Streaming problemlos. Installationsanleitung folgt. Ein sehr schönes Feature der neuen Samsung TVs ist, dass sie alle möglichen Audio-, Video- und Bild-Dateien streamen können. Hierzu muss man den Fernseher per WLAN oder Kabel mit …

Streaming Server für Samsung TVs Read More »

Quantitative Safety Analysis of UML Models

My master’s thesis is now available online here. Abstract When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult …

Quantitative Safety Analysis of UML Models Read More »