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:
- To schedule a meeting with AdaCore representatives at the event, please contact Adacore@rainierco.com
- AdaCore blog posts on this topic: #ARM, #SPARK
- Follow AdaCore on Twitter and Facebook, and connect on LinkedIn
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.