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 »
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 …
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 »
It’s december and a new year will start a few days from now. It’s that time of the year where we think of thinks we want to achieve or do more often the next year. Often theses things include sports, losing weight or spending more time with loved ones. These are all valid and important new …
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 »
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 »
Hier habe ich bereits über den Hama WLAN Stick für Samsung Fernseher als Alternative für den original Samsung WLAN Stick geschrieben. Noch mal alle Infos in kürze: Den Samsung original Stick gibt es bei Amazon schon für um die 70 Euro. Wem das zu teuer ist kann sich auch den Hama MiMO Wlan USB2.0 Adapter für unter …
Seit kurzem gibt es nun von Hama eine 3D Brille, die mit den Samsung TVs kompatible ist. Mit einem Preis von rund 80 Euro, liegt die Brille zwischen der Samsung SSG-2100 und der Samsung SSG-2200. Ich werde die Brille in kürze testen und hier darüber berichten.
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 …
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 …
