Step Toward Interoperability for Spacecraft Monitoring and Control Automation Service

摘要

The main results of this study are as follows: 1) It is possible to define formally the automation process using Petri nets. 2) Interoperability is possible at the automation process level between different Spacecraft Operation Language engines. 3) Automation service fits well into CCSDS SMC architecture. Some further studies could be made concerning automation process specification at design time, using a higher level easy to understand for the operation specialist and about code generation into the engine dedicated language.