Abstract: Space systems are increasingly complex. To address the challenge of reducing cost and schedule, NASA has provided a set of reusable components for flight software. This work presents an ...