HomeHardwareCompilersDebuggersSW Tools SoftwareTarget MCU
 
you are here > SW Tools
 
About Us
Contact Us
Engineering
Technical Papers
Resources
Education
News

 

PhaedruS SystemS can supply a range of supporting tools for software and Systems development. These range from RISKCAT standards tools through static analysers, code reverse engineering tools and documentation generators to tools for validating and reverse engineering binary. PhaedruS SystemS is closely involved with these tools representing most of them on the MISRA-C panel and other ISO/BSI panels including ISO/BSI C, C++ and IEC61508-3

 
RiskCAT  Risk Analysers for IEC 61508 Functional safety, EN50128, EN50129 Railway Safety and IEC 61226, IEC61513 & IEC62138 Nuclear Safety standards. Demo version available on line


CATS Code Analysers for verification of binary for SIL-4. Reverse Engineers binary back to flow charts , timing charts and pseudo code. All these charts are interactive and dynamic.

 


Programming Reasearch Produce a range dep flow static code analysers including the QAC and QAC++ tools

 

 

MISRA-C Coding Guidelines. MISRA-C is the C coding standard for all embedded work.
PhaedruS SystemS has been involved in MISRA-C since 1989 and our Technical Director, Chris Hills, is one of the principal authors of MISRA-C:2004.
PC-Lint is the most cost effective static analyzer there is. Checks C and C++ for over 80 compilers and MISRA-C. PhaedruS Systems represents Gimpel on the MISRA-C panel.


DAC Ristan's Development Assistant for C programmers editor, C source reverse engineering
PhaedruS SystemS represents Ristan on the MISRA-C panel. Demo available on line


Cosmic MISRA-C conformance checker. This is a useful stand alone MISRA-C conformance checker with a graphical front end.

 

 

 

 

 

 
Home | HW Kits | Compilers | Debuggers | SW Tools | Target MCU | T&C's & Privacy | Contact Us
© 1979 2005 PhaedruS SystemS Ltd - All Rights Reserved. Designed by Dreamweaver-Templates.net