Cosynthesis on multiprocessor architectures with high availability | IEEE Conference Publication | IEEE Xplore