2017/09/11 by Felix Winkelmann, Winkelmann, Felix, Oskar Schirmer +1
Computer Science · #Advanced Data Storage Technologies #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.1709.03404
openalex publication_date 2017/09/11 · openalex created_date 2017/09/25 · openalex updated_date 2026/07/28
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. hO is applied to reduce the possibility of syntactically valid but incorrect code, provide better means of statically analyzing source code, is more readable than C and gives syntactic support for the software architecture used in the SWI instrument software. By using a higher-level, application-specific notation a whole range of possible errors is eliminated and source code size is reduced, while making the code itself easier to understand, review and analyze.