PhD Candidate

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

Organisation/Company Fondazione Bruno Kessler Research Field Other Researcher Profile Other Profession Positions PhD Positions Application Deadline 27 Aug 2026 - 23:59 (Europe/Rome) Country Italy Type of Contract Temporary Job Status Full-time Offer Starting Date 1 Nov 2026 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No
Offer Description
The design process of complex systems must guarantee not only the functional correctness of the implemented system, but also its safety, dependability, and resilience with respect to run-time faults. To this aim, complex systems implement mechanisms to timely detect components’ faults and to isolate them, before they can propagate and cause system failures. Hence, the design process must characterize the likelihood and severity of faults, identify the set of possible hazards and failure conditions, mitigate possible consequences, and assess the effectiveness of the adopted mitigation measures.
Model-Based Safety Analysis (MBSA)



is listed as an acceptable and recommended means of compliance to perform safety assessment in the latest issue of SAE ARP4761A, specifically for analyzing failure propagation. MBSA is based on the adoption of a formal, mathematical model of the system and on a tool-supported methodology to assist the generation of safety artifacts. State-of-the-art tools for MBSA implement functionalities to generate Minimal Cut Sets (MCS) from a fault propagation model and a Top-Level Event (TLE) [IMBSA25, LPNMR22, CAV21]; perform automated fault injection into a behavioral design model to generate the corresponding safety model [FAOC21, TACAS16]; generate Minimal Cut Sets from a fully behavioral dynamical model and a TLE [FAOC21, TACAS16, CAV15a, SCP15]; perform various kind of validation of fault propagation models against behavioral models [IJCAI16, AAAI16, AAAI15].
The objective of this study is to adva

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