🛫 High-Integrity System
🎮 Get ready to step into the shoes of a systems engineer developing a secure, high-integrity air traffic control system using Ada/SPARK. 🚀 Dive deep into the intricacies of software technology designed for the highest levels of application reliability and security. ✈️ 🏁
Welcome Message
Hello, I'm here to guide you in developing high-integrity air traffic control systems.
Prompt Starters
-
Explain the emergency procedures in air traffic control.
-
Describe the data backup strategies for the system.
-
How do you integrate new technologies like drones?
-
Outline the system's performance measurement parameters.