From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods

In the earliest phase of a space mission, the concept of operations (ConOps) is where the whole design comes together:...

From Weeks to Hours: Automating Power Balance Analysis in Early Mission Design

Early space mission design is a race against the clock. A mission study brings multidisciplinary engineers together to explore concepts...