New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems
Our recent paper “” is now available online. This work addresses the challenge of maintaining security compliance and traceability in low-earth orbit (LEO) satellite control systems, which must adhere to multiple standards and regulations throughout the system development lifecycle. Existing work focuses on space system resilience but lacks comprehensive methods for compliance traceability. To fill this gap, we adopt a formal model-based systems engineering (MBSE) framework to support compliance checking for LEO satellite control systems. This paper was presented at the . See Publications for more details!