{"id":2101,"date":"2025-12-16T10:35:56","date_gmt":"2025-12-16T15:35:56","guid":{"rendered":"https:\/\/carleton.ca\/cybersea\/?p=2101"},"modified":"2026-01-26T10:41:49","modified_gmt":"2026-01-26T15:41:49","slug":"new-publication-formal-model-based-traceability-for-security-compliance-in-satellite-control-systems","status":"publish","type":"post","link":"https:\/\/carleton.ca\/cybersea\/2025\/new-publication-formal-model-based-traceability-for-security-compliance-in-satellite-control-systems\/","title":{"rendered":"New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        New Publication: Formal Model-Based Traceability for Security Compliance in Satellite Control Systems\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<p>Our recent paper &#8220;<a href=\"https:\/\/doi.org\/10.1109\/DASC66011.2025.11257324\">Formal Model-Based Traceability for Security Compliance in Satellite Control Systems<\/a>&#8221; 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&nbsp;the <a href=\"https:\/\/2025.dasconline.org\">AIAA DATC\/IEEE 44th Digital Avionics Systems Conference (DASC 2025).<\/a>. See <a href=\"https:\/\/carleton.ca\/cybersea\/publications\/\">Publications<\/a> for more details!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our recent paper &#8220;Formal Model-Based Traceability for Security Compliance in Satellite Control Systems&#8221; 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 [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":431,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[41],"tags":[],"class_list":["post-2101","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-publication"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/2101","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/comments?post=2101"}],"version-history":[{"count":1,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/2101\/revisions"}],"predecessor-version":[{"id":2102,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/2101\/revisions\/2102"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media\/431"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media?parent=2101"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/categories?post=2101"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/tags?post=2101"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}