logo slogan

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 , DO178 and 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.

MISRA Compliant TCP-IP stack

HCC TCP/IP!

Many networking products are available for embedded systems. The key to developing a stable and successful software application is to use high-quality, verifiable software that ensures a stable, low-risk development environment. HCC’s TCP/IP was developed to the highest possible level of MISRA compliance and was validated using advanced verification tools. With the benefit of more than a decade’s experience in developing efficient, high-quality software for medical, transport, industrial and aerospace markets, HCC’s TCP/IP stack brings new levels of performance, quality and reliability to the embedded networking market.

See link here

Escher

Perfect Developer


Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications.

For universities and colleges which offer courses in formal methods of software development: Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.

 

More info Here

 

DMR

20th annual Safety Critical Systems Symposium


7-9 th Feb.... Marriott Hotel Bristol

 

We will once again be at the Symposium with our ever expanding range of tools for safety critical and high reliability development

More info

 

 

Phaedsys Road show

Certified for security

 

The PikeOS RTOS, from Sysgo, has taken another step forward in achieving Common Criteria EAL certification. Already certified to DO-178B certification, the most stringent safety standard in the industry, it now has a “Certification de Sécurité de Premier Niveau" (CSPN – or First Level Security Certification) from the French Network and Information Security Agency (ANSSI). The Common Criteria standard provides that certification is one country is recognised by the safety authorities in other countries> Sysgo RTOS

Independent Advice.

Independent advice is strengthened by the company's founder being an active participant in several standards bodies, including ISO C, C++ and IEC 61508-3, and a principal author of MISRA-C:2004. and member of the MISRA-C2011 team .If you need advice please call or email.

 


 

IET Business PArtner

SCSC
Safety Critical Systems Club

nmi

National Microelectronics Institute

SaRS

ESP KTN

SSEI

Software Systems Engineering Initiative