Performance analysis of several embedded real-time operating systems.