Petter Isberg authored Jun 12, 2016 and Stefano puri committed Aug 02, 2016

Support for failure propagation analysis of CHESS models through
Concerto-FLA.
Concerto-FLA implements FPTC and adds initial support for FI4FA for
analysis
of socio-technical systems using the information available through the
dependability profile.

Bug: https://bugs.polarsys.org/show_bug.cgi?id=956


Change-Id: I14574230b9c409a8f686f8845bf19c7bda3cadfd
Signed-off-by: Petter Isberg <petter.isberg@gmail.com>