Et systemprogramvaren/krav som angir en funksjon som at et system/programvare system eller system programvarekomponent må være i stand til å utføre. Dette er krav til programvare som definerer virkemåten til systemet, som er den grunnleggende prosessen eller transformasjon som programvare og maskinvare komponenter i systemet utfører på innganger til å produsere utganger. Kontrast med ikke-fungerende kravet.