Phaedrus Systems: compiler validation service launched

Phaedrus Systems is launching a complier validation service and is backing it with a library of white papers on compiler validation. Compiler validation is essentially the highly controlled, repeatable and reproducible testing of a compiler using a validation suite - a recognised set of test programs. The purpose of such testing is to provide a reliable indication of how well a compiler complies with the standard for the language that it implements. Commercial validation suites are available and Phaedrus Systems distributes what it regards as the leader in the field, SuperTest from Solid Sands. However, validation is complex and, like much in software, benefits from previous experience, which is why Phaedrus Systems has developed a compiler validation service.

The service will be led by Olwen Morgan, who has over 40 years’ experience in software engineering, mostly in high-integrity and critical systems. Her experience in compiler validation dates back to the early 1980s when she worked on the joint BSI/NPL/NCC project to set up BSI's Pascal compiler validation service. She was among the first in the UK to perform compiler validations on microcomputers and prepared the final version of the User's Guide to the Pascal Compiler validation suite. Later becoming involved with C, she oversaw the development of a suite of programs to test the error-handling behaviour of C compilers and has conducted several compiler validations for large organizations and with compiler developers. She was also the original author of the rules on which MISRA C was based. She continues as a consultant advising clients on software quality assurance in general and compiler validation in particular.

Since the pros and cons of compiler validation are not simple, Phaedrus Systems has also prepared a series of briefing documents on the process. They include C Compiler Validation for Embedded Targets, Repeatability and Reproducibility in C Compiler Testing, On-Target Stress Testing of C Cross Compilers, C Compiler Validation: Choosing a Validation Suite.

Latest News from Phaedrus Systems

Phaedrus Systems: Tracealyzer 4 with new user interface and stunning live views
Phaedrus Systems: automated fault injection function for TESSY 4.1 from Razorcat
Phaedrus Systems: compiler validation service launched

Dirk Giesen describes the Parasoft tool suite for Embedded Software Development

Are you responsible for embedded software development in your organization? Your goal should be to create safe, secure, and reliable software. To make sure your device will work properly, deploy Paras...


Ross Sabolik of Silicon Labs talks about advanced Power over Ethernet

In this video Ross Sabolik of Silicon Labs talks about smart  Power over Ethernet systems with Alix Paultre at their APEC exhibit in San ANtonio, Texas. As PoE migrates to higher power levels and...


Dialog Semi walks through their latest IC solutions for battery chargers

In this video an engineer from Dialog Semiconductor walks us through their latest ICs for battery chargers at APEC 2018. Dialog's Qualcomm Quick Charge adapter solutions offer high efficiency to e...


Steve Allen of pSemi explains their latest LED driver solution

Steve Allen of pSemi explains their latest LED boost product based on Arctic Sand's two-stage architecture. Their PE23300 has a charge-pump, switched-capacitor architecture that offloads most of t...


Teledyne describes their latest 12-bit Wavepro HD oscilloscope

In this video Teledyne LeCroy describes their latest Wavepro HD oscilloscope to Alix Paultre of Power Electronics News at the company's launch event. The WavePro HD high-definition oscilloscope de...


Dialog Semi walks through their latest IC solutions for battery chargers

In this video an engineer from Dialog Semiconductor walks us through their latest ICs for battery chargers at APEC 2018. Dialog's Qualcomm Quick Charge adapter solutions offer high efficiency to e...


ROHM explains their latest wireless battery charger solution kit

In this video an engineer from ROHM goes over their latest wireless power development kit, co-developed with Würth for embedded development. The kit provides a complete wireless power transfer sy...


Tektronix describes their latest mixed-signal oscilloscope

In this video Tektronix explains the features in their latest 5 Series MSO Mixed Signal Oscilloscope. Features include an innovative pinch-swipe-zoom touchscreen user interface, a large high-definitio...


AVX shows a supercapacitor demonstrator at APEC

In this video Eric from AVX explains their supercapacitor demonstrator box at APEC 2018 in San Antonio, Texas. The box shows how a 5V 2.5-farad supercapacitor can quickly charge up using harvested ene...


OnSemi explains their latest passive smart wireless sensor for industrial applications

In this video On Semiconductor explains their latest wireless sensor for hazardous environments at APEC in San Antonio, Texas. Intended for applications like high-voltage power cabinets and other plac...


TI demonstrates an improved gaming power system at Embedded World

In this video Texas Instruments' explains Significant reduction in ripple, which results in improved reliability and increased design margins, among other advantages. Another benefit that improve...


Infineon explains their latest motor drive technology at APEC 2018

In this video Infineon demonstrates new gate drivers using their LS-SOI technology at APEC 2018. In the demo Victorus, an Infineon application engineer, shows in real time how much better thermal the ...


STMicro goes over their latest wireless-enabled microcontroller for the IoT

In this video STMicroelectronics goes over their latest wireless-enabled STM32WB microcontroller for the IoT and intelligent devices in several live connectivity demonstrations at Embedded World 2018....


wholesale jerseys