Abstract
SOFA HI is a component model targeted at high-integrity real-time embedded systems. It features a completely new implementation of SOFA in C and with restrictions and changes that are implied by the real-time and embedded environment.
The defining features of SOFA HI are its predictability, low memory footprint, support for low-level programming and deployment time synthesis of components.