A Fully Configurable RTOS Model for Large Scale Distributed Embedded Systems Simulations based on SystemC