GSS stand for Generic Safety Specification. Safety Requirements are formalized in a GSS. It specifies requirements that shall be formally verified for every generated system.