Modeling Communication Satellite Protocols with a System Design Automation Tool

摘要

Military communication stellites use an extremely complex set of protocols for sendinu0007/receiving messages and controlling palyoad resources. These protocols are typically impelemented in software for modern satellites because software is easier to modify than hardware and offers on-orbit reprogramability. Traditional methods of specifying, desiging, implementing, and testing payload software have proven to be expensive and error prone. Recent enhancmenets in system modeling/simulation tools offer the potential to automate the progression of all these life cycle phases in a "seamless" manner wherein the outputs of one life cycle phase become inputs for the next.