Document ID: MC-CS-008 Solar Orbiter Case Study v4 INDTv6 The Solar Orbiter is a joint project by the European Space Agency (ESA) and the National Aeronautics and Space Administration (NASA) to study the behaviour of the Sun. Due to be launched in 2017, the Solar Orbiter comprises of the Energetic Particle Detector (EPD) suite of five telescopes, designed to measure the energy created by solar particles. The University of Alcala, the developers of the onboard software for the Instrument Control Unit (ICU) of the EPD, selected Rapita Verification Suite (RVS) to support schedulability analysis for the ICU software. Automating schedulability timing analysis Schedulability analysis aims to provide guarantees of deadline satisfaction. To automate the schedulability analysis of the o

Join for free to read