August 27-29, 2019 • Santa Clara Convention Center • Santa Clara, CA

Exhibitor Products

GNAT Pro is a robust and flexible development environment for Ada and mixed-language applications, providing a complete toolset for designing, implementing, and managing software that demands high reliability and maintainability. Its multi-language capabilities support systems written in Ada, C, and C++ with seamless interfacing. GNAT Pro is available for both native and cross development on a wide range of platforms. The toolsuite includes a full Ada compiler for all versions of the language standard; the GNAT Programming Studio (GPS) and GNATbench (an Eclipse plug-in) IDEs; utilities for analysis, testing, and code navigation; an Ada-Java interfacing suite; a visual debugger; an extensive set of libraries and bindings; a coding standard verifier; a dashboard that lets developers monitor and visualize their QA metrics; and a number of other utilities. www.adacore.com/gnatpro

Categories: Firmware, System Boards

219 Design is a product engineering firm based in Silicon Valley. We excel on projects that live at the intersection of mechanical, electronic, and software development. Unlike many firms, we don't stick to one sandbox. We practice interdisciplinary product development - creating solutions that cross engineering disciplines to achieve great results time and time again.

Since 2004, 219 has assisted clients in developing embedded systems for medical devices, automotive applications, and consumer products. We have accelerated the product development efforts of our clients in the form of custom board designs, integrated sensors and actuators, firmware and software, and user experiences that bring products to life. Visit www.219design.com for more information.

CodePeer is an advanced source code analyzer for Ada that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated code reviewer and helping to find errors early in the development life-cycle. It can also be used with existing code to perform impact analysis when introducing changes and to identify latent vulnerabilities. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging. CodePeer has been registered as CWE-Compatible in MITRE's Common Weakness Enumeration Compatibility and Effectiveness Program, and it can detect several of the Top 25 Most Dangerous Software Errors in the CWE including CWE-120 (Classic Buffer Overflow), CWE-131 (Incorrect Calculation of Buffer Size), and CWE-190 (Integer Overflow or Wraparound).

Categories: Design Tools, Hardware IP and Cores, System Boards, Test and Measurement Equipment

Toradex recently introduced Colibri iMX6ULL, the latest member of Toradex’s popular pin-compatible Colibri System on Module (SoM) product family based on the power-efficient and cost-optimized NXP® i.MX 6ULL applications processor featuring an advanced implementation of a single ARM Cortex-A7 core. The Colibri iMX6ULL is Toradex’s first SoM available with certified onboard dual-band Wi-Fi and Bluetooth connectivity and comes with integrated security features which makes it ideal for connected industrial IoT applications. It is ideally configured for IoT gateways or edge devices running a full featured Embedded Linux. Colibri iMX6ULL has a long-term availability until 2028 and it is available in industrial temperature range.

Categories: Design Tools, Firmware, Microprocessors and Microcontrollers, Test and Measurement Equipment

FlashPro-ARM for programming ARM MCUs. Main feature:
Supports JTAG, cJTAG and SWD communication. Programmable JTAG/SWD clock up to 20 MHz, effective throughput up to 1 MBytes/s.
Built-in galvanic isolation between PC and targets. Current measurement from 0.02 to 500 mA. Programs MCUs from Texas Instruments, ST Microelectronics, Silicon Labs, NXP/Freescale, Nordic, Atmel, and Active-Semi (See MCU list below).
Fast MSP430 Flash ProgrammerUp to 64 programmers can be connected over USB to one PC running Windows(TM) XP, 7, 8, 10, or Linux Ubuntu/Debian.

GNAT Pro is a robust and flexible development environment for Ada and mixed-language applications, providing a complete toolset for designing, implementing, and managing software that demands high reliability and maintainability. Its multi-language capabilities support systems written in Ada, C, and C++ with seamless interfacing. GNAT Pro is available for both native and cross development on a wide range of platforms. The toolsuite includes a full Ada compiler for all versions of the language standard; the GNAT Programming Studio (GPS) and GNATbench (an Eclipse plug-in) IDEs; utilities for analysis, testing, and code navigation; an Ada-Java interfacing suite; a visual debugger; an extensive set of libraries and bindings; a coding standard verifier; a dashboard that lets developers monitor and visualize their QA metrics; and a number of other utilities.

GNAT Pro is a robust and flexible development environment for Ada and mixed-language applications, providing a complete toolset for designing, implementing, and managing software that demands high reliability and maintainability. Its multi-language capabilities support systems written in Ada, C, and C++ with seamless interfacing. GNAT Pro is available for both native and cross development on a wide range of platforms. The toolsuite includes a full Ada compiler for all versions of the language standard; the GNAT Programming Studio (GPS) and GNATbench (an Eclipse plug-in) IDEs; utilities for analysis, testing, and code navigation; an Ada-Java interfacing suite; a visual debugger; an extensive set of libraries and bindings; a coding standard verifier; a dashboard that lets developers monitor and visualize their QA metrics; and a number of other utilities.

Hagiwara Solutions has gained e xperience and achievements for over 20 years as a trailblazer in the area of industrial flash storage device manufacturing.
Based on this accumulated knowledge, we have built a unified framework through development, production, sales, and customer support.
We have received a high evaluation from our clients with high quality and reliability of our products.

Redpine Signals, Inc. specializes in ultra-low power & high-performance multi-protocol wireless products. Its portfolio includes chipsets, modules & devices with 802.11n(2.4/5 GHz), 802.11ac Wave 2(2x2, 1x1), dual-mode BT 5.0, 802.15.4/ZigBee/Thread, 802.11p(V2X) & embedded Cortex M4. Redpine’s modules are fully certified & compliant with appropriate wireless standards. They are offered in various form factors, temperature grades (industrial & commercial),as well as different software integrations(with & without embedded stacks) which provides flexibility to the system designers. Our leading module product families are n-Link (hosted), Connect-io-n (embedded), WiSeConnect(advanced embedded secured), WiSeMCU(MCU & multi-protocol wireless) & WaveCombo™(V2X communication). Redpine also offers FIPS 140-2 certified Wi-Fi module & a High Power Module(23 dBm) for Drone & other similar markets.

QGen is a qualifiable and tunable code generation and model verification environment for a safe subset of Simulink® and Stateflow® models. It reduces development and verification costs for safety-critical applications through a qualifiable code generator, model verification, a model / source code / object code debugger, tight integration with AdaCore’s qualifiable simulation and structural coverage analysis tools, and static analysis to detect potential errors.

Categories: Analog and Mixed Signal Chips, Microprocessors and Microcontrollers, SoCs, System Boards

RTC magazine spotlights trends and breakthroughs in the design, development and technology of embedded computers. The publication offers broad based technical, product and market-coverage of the embedded computer arena to industry decision makers. With strong market analysis and technical content, RTC is the magazine engineers and managers rely on for timely coverage of this developing and expanding industry. We offer FREE subscriptions for qualified subscribers.

Categories: Design Tools

solidThinking Embed (formerly known as VisSim Embedded) is a visual environment for model based development of embedded systems. Its highly efficient diagram-to-code capability shortens the development time and increases product quality. You can quickly develop virtual prototypes of any dynamic system. Models are built by simply sliding blocks into the work area and wiring them together with the mouse.
Embed automatically converts the control diagrams into C-code ready to be downloaded to the target hardware. The generated C-code is recognized for its efficiency with respect to memory requirements and runtime.

solidThinking Embed represents a new era of VisSim for efficient model-based embedded development including new packaging aimed at providing more functionality with simplified configuration and installation.

SPARK Pro is an integrated static analysis toolsuite for verifying high-integrity software through formal methods. It supports the SPARK 2014 language and provides advanced verification tools that are tightly integrated into AdaCore's IDEs. Using SPARK Pro, developers can formally define and automatically verify software architectural properties, and guarantee a wide range of software integrity properties such as freedom from run-time errors, enforcement of security policies, and functional correctness (compliance with a formally defined specification). This automated verification is particularly well-suited to applications where software failure is unacceptable. SPARK Pro helps reduce delivery costs and timescales, and through the use of formal methods it prevents, detects and eliminates defects with mathematics-based assurance.

Categories: Debugging Software Tools, Security Products

TrustInSoft Analyzer is an advanced static source code analyzer tool founded on formal methods, to verify software.
TrustInSoft Analyzer offers all the features needed to check the behaviours of the software, and the resources to solve the detected errors. It is the Turnkey solution to guarantee that your software is safe and secure.

Register Now