| Type | Corporation |
|---|---|
| Industry | Computer software |
| Founded | 1994 |
| Headquarters | New York, Paris |
| Key people | Robert Dewar (CEO) Ed Schonberg (Vice President) |
| Products | GNAT Pro GPS PolyORB |
| Website | www.adacore.com |
AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator.
Its main product is GNAT Pro a commercial-grade open source Ada development that supports all Ada versions (Ada 2005, Ada 95, Ada 83). All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic or open source use.
The company was founded in 1994, and was originally named Ada Core Technologies (ACT). In 2004 it was rebranded to AdaCore.
AdaCore is privately owned and has North American headquarters in New York and European headquarters in Paris.
Contents |
Robert BK Dewar, President & CEO
Dr. Robert Dewar is co-founder, President and CEO of AdaCore and Emeritus Professor of Computer Science at New York University. Dr. Dewar has been a major contributor to Ada throughout its evolution and is a principal architect of AdaCore’s GNAT Ada technology. He has co-authored compilers for SPITBOL (SNOBOL), Realia COBOL for the PC (now marketed by Computer Associates), and Alsys Ada, and has also written several real-time operating systems, for Honeywell.
Franco Gasperoni, Managing Director
Franco Gasperoni is co-founder and Managing Director of AdaCore in Europe. He has been involved with Ada both commercially and technically since 1991. Franco has an engineering degree from the Ecole des Mines de Paris, France and a PhD in Computer Science from New York University, USA. While at the Ecole des Mines, Franco worked with Maurice Allais, the French Economics Nobel laureate.
Edmond Schonberg, Vice President
Ed Schonberg is co-founder and Vice President of AdaCore. A professor of Computer Science at New York University, he is one of the principal developers of the first validated Ada compiler at NYU. Dr. Schonberg is co-author of and accompanist for Ada & the Mandate, and the Musical Adventures of Lady Ada. His research interests include the design and implementation of programming languages, Software Engineering and programming methodologies, and chamber music.
Richard Kenner, Vice President
Richard Kenner is a co-founder and Vice President of AdaCore. He was a researcher in the Computer Science Department at New York University from 1975 through 1998. During that time, he worked with the SETL Project, a research project in high-level programming languages, the PUMA Project, which designed and built an emulator for the CDC 6600 in the late 1970s, and with the Ultracomputer Project, which did research on highly-parallel computer systems.
Cyrille Comar, Managing Director
Cyrille Comar is co-founder and Managing Director of AdaCore Europe. He is one of the key architects of the GNAT compilation technology, and led the implementation of the Ada 95 object-oriented features and the GNAT library model. Cyrille is actively participating in the DO-178C Working Group and its Object Oriented Technology subgroup. He has published numerous papers on GNAT technology, software quality and multi-language programming. Cyrille holds Masters and PhD degrees in Computer Science from Pierre and Marie Curie University (Paris 6).
Ada and GNAT Pro are used in long-lived applications where safety, security, and reliability are critical., Domains include commercial and defense avionics, air traffic control, railroad systems, space, energy, financial services and medical devices.
Its customers include:
AdaCore has several strategic alliances and partnerships:
The GNAT Academic Program (GAP) was created to support the study of Ada in courses from elementary programming, data structures, software engineering and for more advanced courses in compiler construction. The community consists of over 175 members in 35 countries teaching Ada using GNAT.
Member projects include:
European Robotics Cup[4]
The Telecom Robotics club at Telecom ParisTech is using Ada and the GNAT technology for its project submissions to the European Robotics Cup. In 2010, Telecom Robotics finished in the top ten out of 150 entries. Telecom Robotics is continuing to use Ada and GNAT on its projects, including a robot based on LEGO Mindstorms.
Arctic Sea Ice Buoy and CubeSat Projects
Students at Vermont Technical College are using AdaCore’s GNAT development environment along with Altran Praxis’ SPARK tools on two NASA-sponsored programs with large software components.
For the first project, the students are designing and building both the hardware and software for an Arctic Sea Ice Buoy that measures wind speed, direction, temperature and GPS position. Data from the buoy are sent back to the home base via the Iridium satellite constellation. The students are producing the prototype buoy for the study of sea/ice interaction in the Arctic Ocean, and a follow-on grant will fund placement of between 10 and 20 buoys on the Arctic Ocean ice.
The second project is a continuation of work on CubeSat, a space satellite 10 cm in diameter with a mass of 1 kg.
Dasher robot
Graduate students at Mälardalen University are designing, building and programming the Dasher robot using AdaCore’s GNAT toolset, on Wind River Systems’ VxWorks real-time operating system.
The Dasher project’s goal is to create a humanoid (two-legged) robot that can run 100 meters in 9.5 seconds, which would break the human record.