Formal Specification and Analysis of Spacecraft Collision Avoidance Run Time Assurance Requirements

Computer Science

• Formal Specification 100%
• Assurance Requirement 100%
• Collision Avoidance System 33%
• Human Machine Interface 33%
• System Assurance 33%
• Model Checking 33%
• Close Proximity 33%
• Elicitation 33%
• System Requirement 33%

Engineering

• Collision Avoidance 100%
• Close Proximity 33%
• Design Time 33%
• Backups 33%
• Human-Machine Interface 33%
• System Requirement 33%
• Design Element 33%
• Spacecraft Guidance 33%
• Hazards 33%
• Autonomous Domain 33%

Keyphrases

• Formal Specification 100%
• High Assurance 33%
• Assurance Systems 16%
• Online Verification 16%
• Online Signature Verification 16%
• Spacecraft Guidance 16%
• Specification-based 16%
• Close-proximity Operations 16%
• Unsafe Behavior 16%
• Advanced Controller 16%
• Fault Monitor 16%
• Control Response 16%
• Compositional Reasoning 16%
• Common Design 16%