Florian Leitner-Fischer

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 »

Installationsanleitung Hama WLAN Stick an Samsung TV

Wie bereits erwähnt, ist der Hama MiMO Wlan USB2.0 Adapter für unter 30 Euro eine günstige Alternative zum Samsung original USB WLAN Dongle um die seinen neuen Samsung TV oder Blu-Ray Player mit dem Internet zu verbinden. Die Liste mit den kompatiblen Samsung Geräten gibt es hier. Hier habe ich nun eine Installationsanleitung inkl. Screenshots …

Installationsanleitung Hama WLAN Stick an Samsung TV Read More »

RMC30 Touch Fernbedienung für Samsung TVs

Mit der RMC30 bietet Samsung eine schicke Touch-Fernbedienung für alle LED Fernseher der C Serie (also für die 2010er Modell) an. Die Fernbedienung kostet Momentan 299,00 Euro. Wer kein LED-TV der C Serie hat aber trotzdem eine Touch-Fernbedienung nutzen möchte, sollte sich die Samsung Remote App für Apple iPhone, iPod touch und iPad ansehen. Die …

RMC30 Touch Fernbedienung für Samsung TVs Read More »