Avionics applications that require I/O access to aircraft data buses typically access these buses via the low-level C style API libraries supplie...