Project in Ada for a real-time system