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

IoT Data Analysis at the Edge
Sponsored by Mouser Electronics and STMicroelectronics
No longer is machine learning a niche application for electronic engineering. Machine learning is leading a transformative revolution in a variety of electronic designs but implementing machine learning can be a tricky task to complete. In this episode of Chalk Talk, Amelia Dalton and Louis Gobin from STMicroelectronics investigate how STMicroelectronics is helping embedded developers design edge AI solutions. They take a closer look at the benefits of STMicroelectronics NanoEdge-AI® Studio and  STM32Cube.AI and how you can take advantage of them in your next design. 
Click here for more information and to download the Intelligence at the Edge eBook
Jun 28, 2023
35,187 views