| 翻訳と辞書 |
AdaCore
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.
GNAT Pro, AdaCore's main product, is a commercial-grade open source Ada development that supports all Ada versions (Ada 2012, Ada 2005, Ada 95, Ada 83) and includes professional consulting, training and maintenance services. All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic 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.
==Customers==
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:
*Astrium - (International Space Station )
*BAE Systems - (Eurofighter Typhoon )
*Barco - (Advanced Jet Avionics Display )
*Boeing - (787 Dreamliner (Common Core System) )
*(Deep Blue Capital ) - (Financial System Development )
*EADS CASA - (nEUROn Unmanned Aircraft )
*Embraer - (AMX Modernization program )
*Eurocopter - (Military Helicopter ARINC 653 )
*Hamilton Sundstrand - (787 Dreamliner (Air Conditioning Control Unit) )
*Lockheed Martin - (C130 J Flight Management System )
*MBDA - (MBDA Extends Global Software Licensing Agreement with AdaCore )
*Rockwell Collins - (Cross Domain Guard for Military Tactical Systems )
*Saab - (Land and Naval Surveillance and Defense Systems )
*(Secunet ) - (Multi-Level Security Workstation )
*Siemens - (Railway Control System )
*(Smartward ) - (Hospital Information System Development )
*Terma - (Space Monitor Project )
*Thales Group - (Argos Satellite Project ), (Airbus A350 XWB (Xtra Wide-Body) )
*(TOYOTA ITC ) - (High-Reliability Vehicle Component Research Project )
*Vermont Technical College - (Lunar CubeSat )
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「AdaCore」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|