Hardware/software partitioning of embedded system in OCAPI-xl | IEEE Conference Publication | IEEE Xplore