NEW YORK & PARIS--(Ada 2012- New Language Technology for High-Integrity Software,’ on Tuesday, September 18 as part of the Design East conference in Boston, MA. The paper will focus on the challenges of modern embedded software development, the need for so-called High-Integrity systems to meet safety and/or security requirements, including compliance with certification standards such as DO-178B/DO-178C or the Common Criteria, and the role that languages, like Ada 2012, can play to help simplify development and certification processes.)--AdaCore today announced that Tucker Taft, the Director of Language Research at AdaCore, will present a paper, ‘
2012- New Language Technology for High-Integrity Software
Tuesday, September 18, 2012, 3:15 PM-4:15 PM
Design East, Hynes Convention Center, Boston, MA
AdaCore will also be exhibiting at Design East, Booth #1000. Experts will be on site to discuss current news and ongoing developments, including the latest version of the company’s flagship development environment product, GNAT Pro 7.0, which features a comprehensive implementation of the new Ada 2012 language standard. GNAT Pro 7.0 offers a range of improvements, supports several new platforms, includes an important new testing tool (GNATtest), and enhances several existing tools. These new features establish the Ada programming language as the benchmark for developers requiring the highest levels of reliability, safety, and security in their software.
If you are interested in scheduling a meeting with an AdaCore representative at the show, please contact Jessie Glockner, firstname.lastname@example.org / 508-475-0025 x140.
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com