用于JUICE SWI仪器的高可靠性软件的领域特定语言-hO语言手册
A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual
摘要：
hO是Oberon的一种自定义限制方言，由位于哥廷根的马克斯-普朗克太阳系研究所开发，并用于SWI JUICE任务的飞行软件中。hO的应用，以减少语法有效的，但不正确的代码的可能性，提供更好的静态分析源代码的手段，是比C更可读，并给出语法支持的软件体系结构中使用的SWI仪器软件。通过使用更高级别的特定于应用程序的符号，可以消除所有可能的错误，并减少源代码的大小，同时使代码本身更容易理解，审查和分析。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
