Safety analysis and certificationImprove the specific model based safety analysishttps://repo.valu3s.eu/use-cases/neuromuscular-transmission-measurements/evaluation-scenarios/safety-analysis-and-certificationhttps://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png
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).