#include "FIXED_OG.orl"
#include "OG_SEQ.orl"
#include "OPOG_UPLOAD_SEQ.orl"
#include "OP_COPY_START_SEQ.orl"

EXECUTION-AT : MAIN_START {
        SEQ : AOS_CHK_SEQ ;
}

DEFSEQ(REAL) : AOS_CHK_SEQ{
        C. : "AOS時の衛星状態を確認する。(TBD) 【判定 OK / NG】" ;
}

EXECUTION-AT : MAIN_END ~- 0.5 {
        SEQ : LOS_CHK_SEQ ;
}

DEFSEQ(REAL) : LOS_CHK_SEQ{
        C. : "LOS前の衛星状態を確認する。(TBD) 【判定 OK / NG】" ;
}

/* Real command oprerations */

EXECUTION-AT : OPOG_UPLOAD {
	SEQ : OPOG_UPLOAD_SEQ ;
}

EXECUTION-AT : OPOG_UPLOAD {
	SEQ : OP_COPY_START_SEQ ;
}