Two papers accepted at SAFECOMP 2016

Two new papers have been accepted at SAFECOMP 2016 in Trondheim, Norway.

The paper “Advancing Dynamic Fault Tree Analysis” by Matthias Volk, Sebastian Junges, and Joost-Pieter Katoen presents a mixture of a new state-space generation technique together with several reduction techniques for dynamic fault trees. ¬†Experiments results show improvements of up to five orders of magnitude compared to state-of-the-art techniques.

The paper “Catalogue of System and Software Properties” by Victor Bos, Harold Bruintjes and Stefano Tonetta introduces a set of properties derived from requirement categories, which have a predefined formalization. They are defined by assigning values to certain attributes on AADL models, simplifying the process of formalizing system requirements.