A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual

Felix Winkelmann, Oskar Schirmer

hO is a custom restricted dialect of Oberon, developed at the Max-Planck Institute for Solar System Research in Göttingen and used in the SWI flight software for the JUICE mission.…