compositional scheduling framework for digital avionics systems
FREE-DOWNLOAD A Easwaran, I Lee, O Sokolsky… – 2009 15th research …, 2009
ARINC specification 653-2 describes the interface between application software
and underlying middleware in a distributed real-time avionics system.