Safety analysis and certification

Improve the specific model based safety analysis
VALU3S_WP1_Healthcare_2
INTECS will improve the specific model based safety analysis and contract-based methods and tools provided by the Eclipse CHESS project (https://www.eclipse.org/chess/index.html), in collaboration with FBK.
Model-based failure propagation analysis, with FMEA and FTA generation, optimization of failure injection during V&V by using results from the analysis (e.g. selecting significant failures that may affect specific test cases).
Evaluation Scenario Requirements
V&V Methods
VALU3S Framework
Contents

There are currently no items in this folder.