Using differential functional requirements to implement an aircraft or system level function