Change-Id: I86c1d8b2ec287b952b23995d78943d9c8efaf821

org.polarsys.chess.contracts.verificationService.test.runtime

Change-Id: Iabf4f632af6cb46eba4824ccb280c0f2183eda95

- contractEditor
- contraintEditor
- propertyEditor

- hierarchicalContractView
- refinementView

- safetyAnalysis

- verificationService

- diagram.eu


Change-Id: Ia8617063336b0d866b66555d0ac319432a610486
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Petter Isberg authored 8 years ago and Stefano puri committed 8 years ago

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>

CHRTSpecification, Analysis Context
results, Flow ports operations parameters mapping, XText support for
CHESS Stereotype attribute editing, initial support for FLA Attribute
editing

Change-Id: I52fa6d62f3dca9e00a0782390dcbce9ecf0c9d62
Signed-off-by: Laura Baracchi <laura.baracchi@intecs.it>