Operating system based software generation for systems-on-chip | IEEE Conference Publication | IEEE Xplore