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.