Functional description of safety functions