Instrumenting Runtime Goal Monitoring for F’ Flight Software

Correct behavior of flight software against its requirements is a prime concern spanning its design, implementation, and operation. The emergence of “New Space” presents new challenges associated with small-scale missions which often involve open software frameworks, are developed by diverse teams, and employ rapid development methodologies which may not enjoy the rigorous quality assurance that institutional missions do. Hence, there is an overarching need to incor-porate contemporary engineering techniques and methods for checking requirement satisfaction for such flight software. To this end, this paper proposes GOP RIM E, designed to integrate goal monitoring within F’, a renowned software development framework developed by the Jet Propulsion Laboratory for embedded and spaceflight systems. GOPRIME consists of three phases: (i) a design phase, where annotations are used to align system-level objectives with architectural components; (ii) an implementation phase, where code generation tailored for the DSL of F’ is used to seamlessly automate the integration of goal monitoring functionality, and (iii) the operational phase, where the runtime state of annotated components is monitored, enabling evaluation of satisfaction of the overall goal model. We assess the development and operation overheads of instrumenting runtime goal monitoring over a characteristic case of a miniaturized satellite application.