Using RTAI/LXRT for partitioning in a prototype implementation of the DECOS architecture | IEEE Conference Publication | IEEE Xplore