Advanced Design and SIL Verification (EC54)