EEJournal

industry news
Subscribe Now
November 3, 2015

AdaCore Addresses Safe, Reliable Embedded Software Development at ARM TechCon 2015

New York, NY, November 3, 2015

News Highlights:

  • Dr. Patrick Rogers, a member of the senior technical staff at AdaCore, will be a featured speaker at ARM TechCon, which is taking place November 10-12 at the Santa Clara Convention Center in Santa Clara, California.
  • Dr. Rogers’ presentation, “Practical Development of Safe, Secure, Reliable Embedded Software,” will show how to use SPARK 2014 for ARM-based software development. His talk is scheduled for Wednesday, November 11, at 2:45 pm in the Expo Theater at the Convention Center.
  • AdaCore is a leading provider of tools and expertise for safe, secure, and high-reliability software development. Dr. Rogers is an expert in these fields and a highly touted speaker who has delivered presentations and tutorials internationally on topics related to high-integrity embedded systems development.
  • ARM TechCon 2015 provides a comprehensive forum for both the hardware and software communities, created to ignite the development and optimization of future ARM-based embedded products .

Additional Resources:

About AdaCore 

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services.  AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

Leave a Reply

featured blogs
Captivating Component Art
May 2, 2024
I'm envisioning what one of these pieces would look like on the wall of my office. It would look awesome!...
More from Max's Cool Beans...

featured video

Why Wiwynn Energy-Optimized Data Center IT Solutions Use Cadence Optimality Explorer

Sponsored by Cadence Design Systems

In the AI era, as the signal-data rate increases, the signal integrity challenges in server designs also increase. Wiwynn provides hyperscale data centers with innovative cloud IT infrastructure, bringing the best total cost of ownership (TCO), energy, and energy-itemized IT solutions from the cloud to the edge.

Learn more about how Wiwynn is developing a new methodology for PCB designs with Cadence’s Optimality Intelligent System Explorer and Clarity 3D Solver.

featured paper

Designing Robust 5G Power Amplifiers for the Real World

Sponsored by Keysight

Simulating 5G power amplifier (PA) designs at the component and system levels with authentic modulation and high-fidelity behavioral models increases predictability, lowers risk, and shrinks schedules. Simulation software enables multi-technology layout and multi-domain analysis, evaluating the impacts of 5G PA design choices while delivering accurate results in a single virtual workspace. This application note delves into how authentic modulation enhances predictability and performance in 5G millimeter-wave systems.

Download now to revolutionize your design process.

featured chalk talk

Introduction to the i.MX 93 Applications Processor Family
Sponsored by Mouser Electronics and NXP Semiconductors
Robust security, insured product longevity, and low power consumption are critical design considerations of edge computing applications. In this episode of Chalk Talk, Amelia Dalton chats with Srikanth Jagannathan from NXP about the benefits of the i.MX 93 application processor family from NXP can bring to your next edge computing application. They investigate the details of the edgelock secure enclave, the energy flex architecture and arm Cortex-A55 core of this solution, and how they can help you launch your next edge computing design.
Click here for more information about NXP Semiconductors i.MX 93 Power Efficient Applications Processors (Coming Soon)
Oct 23, 2023
24,909 views