AdaCore
Founded: 1994
Founder: Franco Gasperoni, Cyrille Comar
Headquarters: 46 Rue D’amsterdam, Paris, Ile-de-France, 75009, France
Phone: +33 149706716
Number of employees: 51-200
Website: www.adacore.com
Overview
AdaCore, a leading provider of software development and verification tools for mission-critical and safety-critical systems, was founded in 1994 by Franco Gasperoni and Cyrille Comar. With a strong focus on the Ada programming language, AdaCore has since grown to become a well-respected player in the software industry, providing tools, expertise, and services to various sectors such as aerospace, defense, automotive, and transportation.
The company is headquartered in New York City, with offices in Paris, France, and European subsidiaries in the United Kingdom and Estonia. AdaCore’s team consists of highly skilled professionals who are experts in Ada, SPARK, and related technologies, including formal methods and static analysis. The company prides itself on its close collaboration with its customers, providing personalized support to help them achieve success in their projects.
One of AdaCore’s flagship products is the GNAT Pro suite, which includes the GNAT Pro Ada compiler and a wide range of software development tools for Ada and SPARK. GNAT Pro supports several target platforms, including x86, ARM, and PowerPC, and has been certified for use in developing safety-critical and security-critical applications. The suite offers advanced static analysis tools like the CodePeer and SPARK Pro tools, which help developers detect potential errors and vulnerabilities in their code.
Another noteworthy product from AdaCore is the SPARK Pro toolset, a formally verifiable subset of the Ada language designed for developing high-assurance software systems. SPARK Pro includes a powerful formal verification environment that can prove the absence of runtime errors and other software defects, enabling developers to build software with a high level of confidence in its correctness and reliability. The SPARK Pro toolset has been used in a variety of industries, including aerospace, automotive, and defense, to develop systems with stringent safety, security, and reliability requirements.
In addition to its software tools, AdaCore offers a range of professional services to support its customers in their software development efforts. These services include consulting, custom software development, training, and certification support. AdaCore’s experts help customers adopt best practices in software engineering and navigate the complexities of safety and security certification processes.
Over the years, AdaCore has been involved in several funding rounds, though specific details about the investments remain undisclosed. The company has used these investments to expand its product offerings and support its growth in various industries. AdaCore has also pursued strategic partnerships with other industry players, such as Wind River Systems and Rapita Systems, to better serve its customers and enhance its product capabilities.
In 2016, AdaCore made a significant acquisition by purchasing the assets of SofCheck, a company specializing in advanced static analysis tools for the Ada language. This acquisition allowed AdaCore to integrate SofCheck’s technology into its own product offerings, resulting in the development of the CodePeer advanced static analysis tool. CodePeer has since become a crucial component of the GNAT Pro suite, helping developers detect and fix potential errors and vulnerabilities in their software.
In the realm of open-source software, AdaCore has actively contributed to and supported several projects, such as the GCC (GNU Compiler Collection) project and the RTEMS (Real-Time Executive for Multiprocessor Systems) project. The company’s commitment to open-source development has fostered a strong community around its products, resulting in a wealth of shared knowledge and resources for Ada and SPARK developers.
AdaCore’s success has been recognized through various awards and certifications. For instance, the company has received the prestigious “Frost & Sullivan European Aerospace and Defense Product Leadership Award” in recognition of its innovative solutions and commitment to customer satisfaction. In addition, several of AdaCore’s products, including the GNAT Pro suite, have obtained certification for use in safety-critical and security-critical applications. These certifications, such as DO-178C for airborne systems and ISO 26262 for automotive systems, demonstrate the reliability and robustness of AdaCore’s software development tools.
The company is dedicated to advancing the state of the art in software engineering and regularly participates in research and development projects. For example, AdaCore has been involved in various European Union-funded research projects, such as the Hi-Lite project, which aimed to improve formal methods and static analysis techniques for high-integrity systems. By participating in these projects, AdaCore helps drive innovation in the software engineering field and ensures that its products remain at the forefront of technology.
AdaCore is also committed to education and raising awareness of the benefits of Ada and SPARK in the software engineering community. The company regularly sponsors and participates in conferences, workshops, and other events aimed at promoting the adoption of these languages and the use of formal methods in software development. Furthermore, AdaCore offers a range of training courses and materials to help developers gain expertise in Ada, SPARK, and related technologies.
In recent years, AdaCore has been actively exploring the integration of artificial intelligence (AI) and machine learning technologies into its products. This exploration aims to further enhance the capabilities of its software development tools and enable developers to create even more reliable and secure software systems.
In summary, AdaCore has established itself as a leading provider of software development and verification tools for mission-critical and safety-critical systems. Its history is marked by innovation, strategic acquisitions, and a commitment to customer success. With a focus on Ada and SPARK programming languages, the company has consistently delivered high-quality products and services that meet the stringent requirements of various industries, including aerospace, defense, automotive, and transportation. As AdaCore continues to grow and evolve, it remains dedicated to advancing the state of the art in software engineering and promoting the adoption of reliable and secure software development practices.
Disclaimer: Please note that the names and positions of employees mentioned may be subject to change, as individuals may move to different roles or organizations. While we make every effort to keep our information accurate and up-to-date, we cannot guarantee that all employee details are current or complete. We encourage you to verify the identity and positions of any individual mentioned and check their Linkedin Profile before taking any action based on their role.
Employees
Franco Gasperoni – CEO and founder
Cyrille Comar – co-founder and President
Marie Labas – Group Finance Director
Quentin Ochem – Chief Product Officer
Emma Adby – Managing Director
Tracey Gilbert – Human Resources Manager
Juan Carlos Bernedo – Chief Sales Officer
Martyn Pike – Sales Director
Jessie Glockner – US Marketing Manager; GNAT Academic Program Coordinator