Keyword: real-time operating systems