Our recent paper “Formal Model-Based Traceability for Security Compliance in Satellite Control Systems” 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 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC 2025).. See Publications for more details!
Home / Publication / New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems
New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems