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. There is also a Technical library
Phaedrus Systems now has available the Mondrian Release of SuperTest™, from Solid Sands. SuperTest is the industry-leading and largest compiler test and validation suite for C and C++ compilers originally developed by ACE Compilers.
In addition to a wide range of enhancements and improvements the Mondrian Release provides a MISRA C:2004 conformance suite, the first available in a compiler validation suite.
For more information click here
Build smaller, faster and more energy efficient software with SOMNIUM DRT Cortex-M IDE.
DRT supports mulltiple silicon vendors and offers a seamless and automatic upgrade path from CodeWarrior and Kinetis Design Studio to get the best possible results!
It uses a patented resequencing technology and Eclipse enhancements to eqaul the best in the field.
click here for the Somnium Cortex M compilers
Icon Labs provides cross platform security solutions for embedded and IoT devices.
The solutions support all major embedded OSes and RTOS's with security modules designed specificially for use in embedded systems.
The solutions provide security building blocks for protecting the device itself rather than just relying on security at the perimeter.
More information click here
STIMULUS is the first modeling and simulation tool that enables system architects to edit, debug and test functional real-time systems requirements.
STIMULUS helps you to detect ambiguous, incorrect, missing, or conflicting requirements and to create the high-quality specifications needed for real-time safety-critical standards compliance.
Validating requirements before you start to code means you disrupt the traditionally error-prone development process―you make requirements right the first time―and your real-time system achieves standards quality criteria sooner and for less cost. For More Information click here
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-C2012 team .If you need advice please call or email.
National Microelectronics Institute
Software Systems Engineering Initiative