Proizvođač mora dostaviti dokaze o tome kako je tijekom projektiranja i razvoja odredio ostvarivanje logike sustava.
Om den konstruktion som valts innebär att högnivåfunktioner kopplas från, ska alla motsvarande kontrollutsignaler som hör till den funktionen avaktiveras, på ett sätt som begränsar störningar vid övergången.