📜 Post with us on Reddit
📝 Create a new article
🏭 Create a company page
🇬🇧 - in English
🇫🇷 - en Français (FR)
🇵🇹 - em Português (PT)
🇩🇪 - auf Deutsch (DE)
🇯🇵 - 日本語で (JA)
Sponsored articles

You can edit almost every page by Creating an account and confirming your email.

AdaCore

From EverybodyWiki Bios & Wiki


  • Comment: In accordance with the Wikimedia Foundation's Terms of Use, I disclose that I have been paid by my employer for my contributions to this article. Markhermeling (talk) 19:38, 15 June 2026 (UTC)


AdaCore
File:AdaCore.svg
Private
ISIN🆔
Founded 📆1994
Founders 👔
  • Cyrille Comar
  • Robert Dewar
  • Franco Gasperoni
  • Richard Kenner
  • Edmond Schonberg
Headquarters 🏙️New York and Paris
Area served 🗺️
Products 📟 
  • GNAT Pro
  • SPARK Pro
  • GNAT Pro for C/C++
  • GNAT Pro for Rust
  • GNAT Dynamic Analysis Suite
  • GNAT Static Analysis Suite
  • CodeSonar
OwnerBattery Ventures
Members
Number of employees
200 (2026)
🌐 Websiteadacore.com
📇 Address
📞 telephone

AdaCore is a privately held software company that develops programming tools for high-integrity systems in Ada, SPARK, C/C++, and Rust.[1] Headquartered in New York City and Paris, the company was founded in 1994 and supplies development and verification tools used in the aerospace, defense, automotive, rail, and medical device industries.[2]

History

AdaCore's origins lie in an academic project at New York University that began around 1980, when concerns about whether the newly designed Ada language was implementable led the US Air Force to a contract to New York University to build an executable definition of it. The resulting Ada/Ed system, an interpreter written in the high-level set-theoretic language SETL[3], served as an operational definition of Ada 83.[4]

When Ada underwent its first major revision (Ada 9X, which became Ada 95), the NYU team received a contract from the US Air Force to prototype the new language features and give feedback to the design team, then led by Tucker Taft.[5] This was to be a compiler, not an interpreter. The GNAT project started in 1992; the contract required the GNU General Public License for all development, with copyright assigned to the Free Software Foundation.[6] GNAT, the GNU NYU Ada Translator, was an Ada front-end for the GNU Compiler Collection (GCC) compiler suite. The front-end was developed atby the New York University team led by Robert Dewar and Edmond Schonberg, while a Florida State University team under Theodore Baker designed the original concurrency components of the runtime.[7] Richard Kenner,was the main author of “Gigi”, the GNAT to GNU interface that sat between the Ada components of the front end and GCC[8].

In August 1994, members of the NYU team created AdaCore Technologies, Inc. in New York, founded by Dewar, Schonberg, and Kenner, launching with a contract in hand from Silicon Graphics.[7][9] A Paris-based sister company, ACT Europe, was founded soon after, and led by Cyrille Comar and Franco Gasperoni, to serve the European market.

Over the following decades, the product line expanded beyond the compiler. The two companies jointly launched the GNAT Programming System (GPS) IDE, later renamed GNAT Studio.[10] In 2004, AdaCore created the GNAT Academic Program (GAP) to encourage Ada in university curricula.[11][12] In January 2012, AdaCore merged with SofCheck, Inc., the Massachusetts company founded by Ada 95 lead designer Tucker Taft; the two had previously co-developed the CodePeer static analysis tool based on SofCheck Inspector, and Taft joined AdaCore as Director of Language Research. Robert Dewar served as CEO until 2012 and as President until his death from cancer on June 30, 2015.[13][14]

On February 1, 2021, AdaCore acquired Componolit GmbH, a Dresden-based provider of formal verification tools for trusted systems, whose RecordFlux technology formally describes, tests, and implements binary communication protocols.[15][16] The company also broadened its language focus: it extended Ada to the formally verifiable SPARK variant of Ada, C and C++, and partnered with Ferrous Systems to bring safety-certified Rust toolchains to market, joining the Rust Foundation in 2023.[17][18]

In March 2024, Battery Ventures announced an investment in AdaCore.[1][19] In June 2025, AdaCore and CodeSecure announced a merger agreement; CodeSecure was formed in 2023 when Battery Ventures acquired GrammaTech's software products division, including the CodeSonar and CodeSentry product lines.[20][2] The combined company operates under the AdaCore brand with headquarters in Paris and New York, with Franco Gasperoni as CEO.[2]

Markets

AdaCore’s tools are used in the development of software for commercial avionics, military systems, space, air traffic management, automotive systems, rail signaling, and medical devices.[2] These systems often require for systems requiring safety or security certification against functional safety standards such as DO-178C, EN 50128, ISO 26262, IEC 61508 and others.[1] Reported customers include the automotive supplier JTEKT, which selected SPARK Pro for safety-critical automotive software.[21][22] In 2019, NVIDIA announced it was working with AdaCore to use Ada and SPARK in security-critical firmware for its system-on-a-chip products, including autonomous driving applications targeting ISO 26262 compliance.[23][24]

Free Software / Open Source

AdaCore’s product compiler suites for C, C++, Rust, Ada, and SPARK are based on open source compilers, AdaCore is known as a strong contributor to the Free Software open source community, with contributions to GCC, GDB, Binutils, QEMU, Alire, and more.[25][26]

References

  1. ↑ 1.0 1.1 1.2 Bowen, Mark (March 28, 2024). "Battery Ventures announces investment in AdaCore to propel future of High Integrity Software Development". Intelligent CIO Europe. Retrieved July 11, 2026.
  2. ↑ 2.0 2.1 2.2 2.3 "AdaCore expands with CodeSecure merger". eeNews Europe. June 18, 2025. Retrieved July 11, 2026.
  3. ↑ Dewar, Robert B. K.; Fisher Jr., Gerald A.; Schonberg, Edmond; Froelich, Robert; Bryant, Stephen F.; Goss, Clinton; Burke, Michael (November 1980). "The NYU Ada translator and interpreter". Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80. 15. pp. 194–201. doi:10.1145/948632.948659. ISBN 0-89791-030-3. Unknown parameter |s2cid= ignored (help) Search this book on
  4. ↑ "AdaCore's Robert Dewar passes away". Military Embedded Systems. July 2015. Retrieved July 11, 2026.
  5. ↑ "Tucker Taft". The AdaCore Blog. Retrieved July 11, 2026. Prior to that Tucker was a Chief Scientist at Intermetrics, Inc. ... where in 1990-1995 he led the design of Ada 95.
  6. ↑ "GNAT - implementation of programming language Ada". Progopedia. Retrieved July 11, 2026.
  7. ↑ 7.0 7.1 Miranda, Javier; Schonberg, Edmond (June 2004). "The GNAT Project". The GNU Ada Compiler (PDF). Retrieved July 11, 2026. Search this book on
  8. ↑ Kenner, Richard (1994). "Integrating GNAT and GCC". ACM Press: 84–92. doi:10.1145/197694.197710. ISBN 978-0-89791-666-0.
  9. ↑ "20 years on..." The AdaCore Blog. March 11, 2015. Retrieved July 11, 2026.
  10. ↑ "How to transition from GPS to GNAT Studio — GNAT Studio documentation". AdaCore Documentation. Retrieved July 11, 2026. GPS has been renamed to GNAT Studio.
  11. ↑ "GNAT Academic Program Celebrates Its 150th Member" (Press release). AdaCore. Retrieved July 11, 2026. GAP was created in 2004 to encourage and extend the use of Ada in Computer Science education...
  12. ↑ "GNAT Academic Program". AdaCore. Retrieved July 11, 2026.
  13. ↑ "AdaCore and SofCheck Merge". EEJournal. January 10, 2012. Retrieved July 11, 2026.
  14. ↑ "AdaCore merges with multicore software specialist SofCheck". Electronics Weekly. January 2012. Retrieved July 11, 2026.
  15. ↑ "AdaCore acquires Componolit to expand its market share in Germany". Help Net Security. February 17, 2021. Retrieved July 11, 2026.
  16. ↑ "Adacore acquires Componolit in move to broaden cybersecurity range". Military Embedded Systems. February 17, 2021. Retrieved July 11, 2026.
  17. ↑ "AdaCore and Ferrous Systems partner to develop mission critical Rust". Embedded.com. February 3, 2022. Retrieved July 11, 2026.
  18. ↑ "AdaCore joins the Rust foundation". The AdaCore Blog. 2023. Retrieved July 11, 2026.
  19. ↑ "Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development" (Press release). Business Wire. March 28, 2024. Retrieved July 11, 2026.
  20. ↑ "AdaCore and CodeSecure agree to merger". Military Embedded Systems. June 18, 2025. Retrieved July 11, 2026.
  21. ↑ "Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software" (Press release). Business Wire. June 23, 2020. Retrieved July 11, 2026.
  22. ↑ "Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software". Embedded Computing Design. June 2020. Retrieved July 11, 2026.
  23. ↑ "AdaCore and NVIDIA team on Ada and SPARK programming languages for safety-critical software". Military & Aerospace Electronics. February 14, 2019. Retrieved July 11, 2026.
  24. ↑ "AdaCore enhances security-critical firmware with NVIDIA". Help Net Security. February 7, 2019. Retrieved July 11, 2026.
  25. ↑ "Community". AdaCore. Retrieved July 11, 2026.
  26. ↑ "A New Era For Ada/SPARK Open Source Community". The AdaCore Blog. January 30, 2023. Retrieved July 11, 2026.

External Links


This article "AdaCore" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:AdaCore. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.


Retrieved from "https://en.everybodywiki.com/index.php?title=AdaCore&oldid=6238339"
License CC BY-SA 3.0
Powered by MediaWiki