SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems

Keyphrases

• Airspace 100%
• Air Vehicle 100%
• Traffic Management 100%
• Unmanned Air Traffic Management 100%
• Operation Volume 100%
• Air Traffic Management System 100%
• Response Time 50%
• Verification Method 50%
• Performance Evaluation 50%
• Software Toolkit 50%
• Test Evaluation 50%
• Scenario Approach 50%
• Complex Scenarios 50%
• Delay Analysis 50%
• Quadcopter 50%
• Reachability Analysis 50%
• Dione 50%
• Unmanned Aircraft Systems 50%
• Management Scenarios 50%
• Fixed-wing Aircraft 50%
• Air Traffic 50%
• Coordination Protocol 50%
• Heterogeneous Vehicles 50%
• Aircraft Intent 50%
• Traffic Coordination 50%
• Traffic Routing 50%
• Dafny 50%
• Formal Verification Tools 50%
• Unmanned Aircraft System Traffic Management 50%
• UAS Traffic Management 50%

Computer Science

• Traffic Management 100%
• Traffic Management System 100%
• Use Case 33%
• Performance Evaluation 33%
• Reachability Analysis 33%
• Formal Verification 33%
• Routing Traffic 33%