Re-configurable spacecraft software: demands and solution | IEEE Conference Publication | IEEE Xplore