Phaedrus Systems supports engineers at all stages of embedded safety-critical and high-integrity projects.
Tools available include requirements capture for IEC 61508, EN 50128 , DO178and nuclear applications, a SIL3 RTOS and compiler validation reports. Consultants have experience working on automotive, rail and aerospace applications, meeting standards such as IEC 61508 SIL4, and D0178B. Backing these is a wide range of other relevant embedded tools, including code checkers, USB and TCP/IP stacks, development kits, debuggers and ICEs.
Phaedrus systems
http://www.phaedsys.org/index.html,
———————————————————————————————————