Booth/Stand: 4-149

AdaCore SAS

AdaCore provides development & verification tools that guarantee that software responds to the highest levels of security and safety.

Products include the GNAT Pro Ada, C and C++ development environments, the CWE-compatible CodePeer static analyzer for Ada, the CWE-compatible SPARK Pro formal verification environment, and the QGen qualifiable code generator and debugger.

FREE Giveaway: BBC micro:bit boards, a large amount of books written by our experts and other goodies





Booth/Stand: 4-509

LDRA

LDRA, software quality experts for 40-plus years in functional safety, security, and standards compliance, will demonstrate its enhanced version of the LDRA tool suite for Automotive. Using the tool suite, embedded developers mitigate risk and manage cost of compliance by quickly understanding the requirements of the latest ISO 26262 functional safety standard depending on the ASIL required for their application.




Booth/Stand: 4-378

Parasoft Deutschland GmbH

The Parasoft tool suite helps you create robust software while understanding risks and complying with functional safety requirements. Our tools can ensure that your software functions safely and securely, works in normal and abnormal conditions, and meets the most rigorous quality and safety standards. To make sure your device will work properly, deploy Parasoft C/C++test and Parasoft DTP.

FREE Giveaway: Pens, water bottles, demo's, good talks :-)...





Booth/Stand: 4-137

Perforce Software UK Ltd.

Perforce Software helps the world’s leading EDA, semiconductor, and other embedded systems companies ship high-quality products faster — and at unrivaled scale. Our enterprise-class development tools support innovators, including NVIDIA and Scania, as they manage modern complexity for better business results. Perforce has offices and sales partners around the globe.
For more information, visit www.perforce.com.

FREE Giveaway: Enter to win Wireless Sennheiser Headphones, Planes





Booth/Stand: 4-138

QA Systems GmbH

QA Systems will be demonstrating our software testing tools for automated unit testing, code coverage, integration testing and static analysis. We will be showing the latest version of our Cantata unit and integration testing solution as well as new integrations with Lauterbach, Jenkins and SonarQube. Our tools are independently certified by SGS TüV for use at the highest integrity level.

FREE Giveaway: Win a Ride in a Porsche, Play Our Racing Game, Screen Wipes, Pens and Snacks