commit | 06626dc2c241950d7320d90fc28543968815f58d | [log] [tgz] |
---|---|---|
author | Petter Isberg <petter.isberg@gmail.com> | Sun Jun 12 23:13:40 2016 +0200 |
committer | Stefano Puri <stefano.puri@intecs.it> | Tue Aug 02 17:40:31 2016 +0200 |
tree | 647713a901ee2927f98ba044d595f0fd405e3d2f | |
parent | c0fcebf8d9dee7429113a67b581dd0111d1cb3e2 [diff] |
[956] Support for failure propagation analysis 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>