“Using a software verification tool that is already certified to EN 50128 is vital. This accelerated our development times, reduced our overall cost and mitigated our risk.”
Delivering high-quality software from the OEMs right down to the silicon:
– ADAS (Advanced Driver Assistance Solutions) for Automotive
– SoC technology for surround view systems & graphics display controllers
“We are impressed by the performance of QA·C, it is very accurate and we see that it is finding issues that other tools have missed.”
“…code reviews have become more effective. Socionext’s process now requires analysis with QA·C prior to a code review. This stops the team from being distracted by careless or basic issues and enables the reviewers to focus on more important topics, such as logic errors. Socionext estimates that this has reduced the overall development time by 10%.”
“We are impressed by the performance of QA·C, it is very accurate and we see that it is finding issues that other tools have missed. We are particularly conscious of the dangers of false negatives and the false sense of confidence that can be created when tools fail to detect genuine issues”.
“When we looked at our customer base and the broader automotive supply chain, it is evident that QA·C is recognized by the industry as a highly effective tool when it comes to MISRA compliance and is also certified to ASIL D. This tallied with our own prior hands-on experience of the tool, and adopting QA·C was, therefore, an easy decision for Protean.”