... , including our deterministic micro-kernel real-time operating system (RTOS), safety-certified products ... postmortem analysis. * Experience with safety systems. * Knowledge of POSIX based operating system ...