Farel: The Operating system for next generation airlines