Tagged safety-by-design