Beyond Source Compatibility: WebAssembly as a Stable ABI for ARINC 653 Applications

Wanja Zaeske, Patrick Siegl, Florian Hartung +3

Thirty years ago, ARINC 653 was introduced to provide a vendor-independent platform for software applications in Integrated Modular Avionics (IMA). A platform is characterized by a…