System Safety Certificate by RS Alloys