Om ovanstående strategier inte visar sig gå att genomföra är det dock nödvändigt att regelformalisera en modell för krav på funktion , teknik och provning och kontroll .