Phaedrus Systems supports engineers at all stages of safety-critical and high-integrity embedded projects. Tools are available for all stages of the project life-cycle, from requirements capture (for IEC 61508 , EN 50128 , DO178 and nuclear applications ) simulation and validation , through to dynamic and unit test and lifecycle management tools. Backing these is a wide range of other relevant embedded tools, including a SIL3 RTOS, RTOS analysis and viewing, compiler validation tools and reports, code checkers , USB and TCP/IP stacks , development kits, debuggers and ICEs. Consultants have experience working on automotive, rail and aerospace applications, meeting standards such as IEC 61508 SIL4, and D0178B. Phaedrus has also developed a range of technical publications covering topics of interest to developers.