et system må utføre sine nødvendige funksjoner på en pålitelig og forutsigbar måte
et system må utføre sine nødvendige funksjoner
et system må utføre sine nødvendige funksjoner eller kunne oppfinne nye funksjoner