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.
Software engineers know that one size doesn’t fit all when choosing an RTOS. That is why we have added to our existing RTOS portfolio Micrium’s µC/OS real-time kernel. This is really a family of modules, with versions certified for DO-178B, for FDA 510(k), for SIL3/SIL4 IEC for transportation and nuclear systems, and one 99% compliant with MISRA-C:1998. Additionally, Micrium has a range of communications stacks, including one for industrial control protocol, Modbus. Read more at our Micrium pages.
It seems as though the world is waking up to the fact that poorly developed software is dangerous.
The software problems for Toyota, Apple and SSL could all have been improved radically by the use of controlled development processes, using tools such as Static Code Analysis, backed by formal code review.
The best explanation for the Heartbleed problem is here http://xkcd.com/1354/#
The Device Developers’ Conference this year adds Scotland to Bristol Cambridge and Manchester. This year as well as having a stand, we are presenting in a workshop, Getting to Grips with the new MISRA C:2012 Standard and in the (Free) Reliable Software Stream. These events are tightly focused and provide a very useful venue to catch up on different aspects of embedded system development. Sign up at their site. http://www.device-developer-conference.co.uk/
Emprog ThunderBench product line of C/C++ tools features comprehensive enhancement and integration of Eclipse IDE, making it the best adaptation of such a platform for embedded programming.
An innovative makeover with dedicated embedded focused plugins make it truly the most desirable tools in the market.as you can see 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-C2011 team .If you need advice please call or email.
National Microelectronics Institute
Software Systems Engineering Initiative