ReDO:高效软容错系统的跨层多目标设计开发框架| IEEE期刊与杂志| IEEE Xplore