Safety Assessment of an Electrical System with AltaRica 3.0

International audienceThis article presents the high level, modeling language Al-taRica 3.0 through the safety assessment of an electrical system. It shows how, starting from a purely structural model, several variants can be derived .Two of them target a compilation into Fault Trees and two others target a compilation into Markov chains. Experimental results are reported to show that each of these variants has its own interest. It also advocates that this approach made of successive derivation of variants is a solid ground to build a modeling methodology onto