In this white paper, Daedalean and Intel lay out the reference architecture for certifiable embedded electronics. The report discusses the challenges to applying software assurance to machine ...