PhD Candidate: Failure Propagation for Systems Safety

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7fhi2r

Fondazione 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.
The study aims to apply MBSA to anomaly detection, diagnosis, root-cause analysis and prognosis, bridging fault propagation

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7fhi2r