Evaluation of New POSIX Real-Time Operating Systems Services for Small Embedded Platforms