- | Home |
- Company |
- Contact |
- News |
- S/ware Eng |
- Standards |
- Academic Support |
- Documents |
- Search |
- | Requirements |
- Compilers |
- Validation |
- RTOS |
- Analysis |
- Hardware |
- Software |
- Resources |
- Principals |
- Platform |
Tools and services we can supply
Below are listed our principal suppliers. If you need something not listed give us a call any way as we know almost all of the tools in the business and can advise if not supply. Contact us
Ash Ware Simulators
ASH WARE produces the essential simulators for the TPU, eTPU, CPU32 and CPU16
> Link to
Byte Craft Compilers
Byte Craft have been producing a select range of highly optimised compilers and dev tools since 1976. They produce tools for the processors shown below. Byte Craft are, like Phaedrus Systems, heavily involved in the ISO- C panel Compilers for eTPU, PIC, 6808, 6805, Scenix, Z8 , C38, COP8 and Fuzzy Logic > Link to
Code Warrior Compilers
Phaedrus Systems staff have worked with both Hi-Ware and Metrowerks before they became CodeWarrior : the in house compiler company at Freescale. CodeWarrior produce compilers for the following targets: PowerPC, Coldfire, 68K, DSP, HC08, HCS12, and Star Core. > Link to.
Cogent Dev Kits
Cogent Computer Systems designs, develops and manufactures a variety of Single Board Computers. The SBC's are based on some of the most advanced embedded architectures available today. Advanced Processors cores such as MIPS, XScale, ARM9/11, PowerPC and Coldfire. > Link to
Cosmic Compilers
Cosmic Software makes C compilers and other Embedded System Development Tools for a variety of microcontrollers from Freescale (Motorola), STmicroelectronics and others. With over 20 years experience. > Link to
Crossware Compilers
Crossware Products develop and market C/eC++ compilers, assemblers, simulators and debuggers for embedded systems based upon the ARM, 8051, ColdFire, M68xxx and other chip families. > Link to
Cypherbridge Secure communications stacks
Cypherbridge software stacks are targeted at applications, where space, power and performance are carefully balanced. Our complement of device software solutions includes uSSL public-key infrastructure security and encryption SDK, uSSH embedded SDK, and uLoad secure boot loader and distribution server.> Link to
Devkits
Phaedrus Systems can supply development kits from all the tools suppliers we distribute. See below. We also supply various items of hardware from other suppliers. However we can also obtain dev kits from many other places and often "mix and match" to specific requirements > Link to
Escher Technologies
Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications. For universities and colleges which offer courses in formal methods of software development: Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.> Link to
EMBEDnet IR stacks
IrPro SDK is a complete IrDA-Data infrared communications application software development kit (SDK) designed for Embedded systems.. > Link to
Galorath estimation tools for costs, time & resource
Galorath (SEER) has invested over two and a half decades of research and development helping organizations better plan and control project costs, quality, duration and risk. Leveraging sophisticated modeling technology and project-applicable knowledge. > Link to
Gimpel PC-Lint and Flexe-Lint
PC-Lint and Flexe-lint are two of the oldest and most long lived static analysers in the world. Having started in 1985 less than a decade after C first appeared,. It is in fact the longest continuously advertised software tool in human history> Link to
File and USB systems
HCC-Embedded is the foremost vendor of storage and communication solutions for embedded systems. The company’s suite of file systems covers the entire range of embedded applications, from the smallest to the largest. With HCC-Embedded, one size does NOT fit all; developers can choose a file system that's right for their applications.
All of HCC’s products are designed and tested to the highest standards, in order to maximize performance, reliability and portability. HCC-Embedded, as an independent company that serves the entire embedded community, has paid special attention to portability issues. With HCC products, it’s possible to use virtually any RTOS, or a home-brew operating system, or a non-RTOS operating system, or no operating system at all.> Link to
IAR Compilers, dev kits, debuggers and CASE tools
IAR Systems provides a range of development tools for embedded systems: IDE with C/C++ compilers and debuggers, development kits, debug probes and state machine design tools. The product line supports 8051, ARM, AVR, MSP430 and many other 8-, 16-, and 32-bit MCUs. > Link to
Medini analysis tools by IKV
Through the Medini Tool set, IKV provides a set of tools to support systems analysis and model based development. Primarily based in the automotive market the Analyze tool supports ISO26262 but other tools have a wider field, such as unite, that works with Simulink and Stateflow models. Other modeling tools available include QVT and ProFeat. > Link to
Ingenia DEv Kits
ingenia have a small but high quality range of dSPIC and motion control kits originally designed for their in in house use with industrial robotics.. > Link to
McObject eXtremeDB Embedded Database
The eXtremeDB embedded database combines exceptional performance, reliability and developer efficiency in a proven real-time database engine. There are several versions including Fusion, High Availability, Kernel mode, SQL, 64-Bit , Web-sever and Transaction Logging. > Link to
MPE FORTH Compilers
MPE Forth 7 cross compilers are tools with a wide range of features designed to emphasise rapid production of embedded systems. They are available in Windows and Linux versions. They all feature fast compilation, interactive debug and test even for single chip targets, and on-line source management.> Link to
Programming Research Static Analysis
Established in 1986, Programming Research's extensive experience with leading global software development organizations enabled them to emerge as the industry's coding standard experts. PRQA is recognized worldwide as the leading authority in the assessment of software quality through automated source code analysis and development process improvements. > Link to
pure-systems
pure::variants allows developers of families of systems that use software to provide differentiation to configure, track and manage different software variants across the tool chain, across application assets and across the application life cycle. > Link to
Relex reliability and failure prediction tools
Relex can provide a tailored solution for reliability and failure including FRACAS, MTBF MTTF, Weibull, Markov, Fault trees, Life Cycle cost,Human Factors, Maintenance. This modular system is usefully from safety cases to maintenance > Link to
RiskCATS Requirements capture
Safety critical standards, such as 61508, are large and complex. The RiskCAT requirements tools permit rapid and intuitive navigation around the standard(s). They provide a simple calculation of SIL and the selection of measures by key word, life cycle or function using or/and criteria. A simple click of the mouse pulls up the relevant part of the standard, with interfaces to DOORS and CalibreRM or Spreadsheet Other tools include a stand-alone SIL calculator and a static analysers for the executable in the ROM or flash. CATS tools have been used on the highest level of safety critical work around the world > Link to
Ristan code analysis and documentation generator
Development assistants will reverse engineer code producing flow charts, calling trees, cross-refenence lists and documentation> Link to
Robinsons Requirements tracking tools
DocTrace is a tool which offers a simple and easy approach to tracing the relations between documents and their detailed contents. It produces a Requirements Traceability Matrix, a simple and visible way of demonstrating that the requirements are satisfied in all the relevant parts of the design, source code and test documents.> Link to
Sciopta RTOS
SCIOPTA Systems develops, sells, supports and maintains systems software for safety-critical embedded applications. Sciopta was founded over 20 years ago as Litronic AG. SCIOPTA is more than just an RTOS. It is a new and modern approach to design embedded systems.> Link to
Segger RTOS
SEGGER Microcontroller GmbH & Co.KG develops and distributes software development tools and ISO "C" software components (middle ware) for embedded systems in several industries such as telecom, medical technology, consumer electronics, automotive industry and industrial automation. Written entirely in ISOI "C", can easily be used on most CPU and basically any display . > Link to
Signum Debuggers
A leading supplyer of software and hardware debugg tools since 1979. The debuggers are are compatible with most of the major brand compilers, giving you the freedom of using your favorite development tools from IAR Systems, ARM Ltd., GNU, Green Hills Software, Intel, Keil, Raisonance, Texas Instruments, and others. > Link to
Visure Solutions IRQA for Requirements
As part as the Requirements Engineering complete solution, Visure Solutions provides a set of tools oriented to support the definedRDM processes, streamlining them and making them more efficient and manageable. These solutions provide not only support to all the RDM activities, but also specific support to a wide range of activities related with it, like tender management and requirements communication. IRQA is a state-of-the-art Requirements Definition and Management (RDM) tool specifically designed to provide an integral support to the complete Requirements process.> Link to