Integration of task scheduling and file services in the safety-critical system MELODY | IEEE Conference Publication | IEEE Xplore