Nowaday many Automotive projects stopped using a traditional tiny RTOS and moved to POSIX-compliant OS like Linux or QNX. Meanwhile a need to write safe, maintainable and ro