Measurement and analysis of schedulability of spacecraft on-board software