Abstract: This paper introduces an innovative approach for automating the generation of boot-critical firmware code in embedded systems. The frequent release of new designs in the embedded domain ...