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...
The Power of a Reasoner: Validating SysML Models Automatically
A SysML modeling tool will dutifully tell you when your model is malformed. What it will not tell you is...
