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-107

Ashling

Ashling, a world-leading expert in embedded development tools, is now launching a new Tools-as-a-Service (TaaS™) concept.
Whether you are designing with ARM, ARC, PowerPC, Security Controllers or RISC-V cores, this is relevant for you.
To discuss how TaaS™ can enhance your toolchain, come and meet us at Stand 4-107 at the upcoming Embedded World exhibition in Nürnberg.

FREE Giveaway: PostIts, pens and more





Booth/Stand: 4-404

Intland Software GmbH

This year, we’re focusing on accelerating innovation and compliance in regulated development. Join us to understand how codeBeamer, the leading ALM in the automotive industry, makes it easier to adopt mature Agile/DevOps strategies. At our booth, we will also be showcasing Intland Retina eQMS, our new product designed for Document, Risk, and Audit management.




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-320

Silexica GmbH

Silexica will showcase the very latest in multicore development tools. Our stand will be packed with engaging demonstrations and a rolling programme of interactive presentations. You can experience our industry-first SLX for FPGA tool and also learn about real use-cases with SLX for C/C++.




Booth/Stand: 4-380

TenAsys Europe GmbH

Pioneering innovation in both real-time operating systems and embedded virtualization, TenAsys® Corporation designs unique solutions that enable simultaneous, side-by-side real-time and embedded application consolidation onto the same PC hardware.

At Embedded World, we’ll have demonstrations of our tools and technologies along with our featured partner, koenig-pa. We’re looking forward to discussing your interests pertaining to these topics and/or other solutions!




Booth/Stand: 4-639

Verum Software Tools B.V.

At Embedded World we present Dezyne, it is a new breed of model-driven software engineering tool. Building software with Dezyne speeds up the development of control software by 300%, shortens development time by 20% and reduces field defects by 99.99%. Dezyne's automated formal verification discovers hidden defects that are otherwise practically impossible to find.




Booth/Stand: 4-360

Wibu-Systems

At Embedded World, Wibu-Systems unveils all of the new core features introduced in CodeMeter, its flagship technology for secure license lifecycle management, from UWF support to TMR license servers. The lecture 'Security and Licensing for IoT Devices' explores the integration of Intel SGX. Visit our partner booths with OSADL, SD Association, Trusted Computing Group, and Wind River for more demos.