Functional requirements and specifications for the ATM performance assessment framework