Evaluating the performance, exploring new specification and test the diagnostics for complaince with ISO26262
Schedule tasks on a Time-Space RTOS
Modeling testbed for a RTOS using a state machine
Generates a stream of instructions based on a profile of an application
