Simulation infrastructure for aeronautical informatics education