Real-time operating system ECOS software development