System functional safety through automated electrical design analysis