Phaedrus Systems is a UK specialist in supporting engineers of embedded safety-critical projects. Tools include requirements tracking, estimation software,compiler validation reports, SIL3 RTOS, and reliability/failure software. They have consulted on applications ranging from automotive and rail to aerospace.