Phaedrus Systems were at the 15th Safety Critical Systems Club Symposium In Bristol as were many of our customers.
We were exhibiting a range of Static analysers, RTOS for critical systems,Compiler Validation Reports. and a range of other tools to assist in the development of critical systems
Phaedrus Systems has a lot of experience with critical systems having started work in the mining industry and progressed to avionics. Currently Phaedrus Systems writes for the Safety Critical Systems Club journal as well as being part of the UK 61508-3 effort and a member of the BSI/ISO C, BSI/ISO C++ panels and a principal author of MISRA-C:2004.