Automating schedulability analysis of on-board software on the Solar Orbiter



What's inside?

Our tools created a measurement-based analysis of Solar Orbiter on-board software for schedulability.