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.
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.
In-memory database systems (IMDSs) are held out as the ideal database solution for real-time applications. But what is unique about IMDSs versus caching, RAM-disks, “memory tables”, and solid-state disks? Don’t these all qualify as “in memory”?
In fact, the difference between these technologies and true in-memory database systems is significant, and can be critical to the success of embedded software projects.
More info here and to register/ view webinar
We will once again be at the Symposium with our ever expanding range of tools for safety critical and high reliability development
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 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.
![]() |
|
National Microelectronics Institute |
![]() |
Software Systems Engineering Initiative |