PhD Candidate: Failure Propagation for Systems Safety

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/781f3w

pFondazione Bruno Kessler in Italy invites researchers to contribute to Model-Based Safety Analysis (MBSA) of complex systems. The project will extend fault propagation formalisms to address timing, transient faults, and mitigation effectiveness using formal models and tool-supported methods, and to generate safety artifacts such as Minimal Cut Sets and top-level events. /ppThe study aims to apply MBSA to anomaly detection, diagnosis, root-cause analysis and prognosis, bridging fault propagation /p #J-18808-Ljbffr

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/781f3w