Fondée en 1994, AdaCore conçoit et fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Quatre produits phares composent l’offre de la société:
? GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité. GNAT Pro est disponible pour Ada ainsi que pour C et C++,
? L’outil d’analyses statistiques avancées compatible avec CWE CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants. CodePeer peut détecter certaines des "25 erreurs logicielles les plus dangereuses" listées par le référentiel Common Weakness Enumeration (CWE) de MITRE Corporation,
? L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
? L’outil de développement basé sur les modèles QGen, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® and Stateflow® destiné aux systèmes de contrôle critiques.
L’utilisation des produits AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes militaires, aérospatiaux, le contrôle aérien, et les systèmes ferroviaires. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/industries/ pour de plus d'information.
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:
? The GNAT Pro development environment, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro is available for Ada and also for C and C++,
? The CWE-Compatible CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect errors both during development and retrospectively on existing software. CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE),
? The SPARK Pro verification environment, a toolset providing full formal verification oriented toward high-assurance systems with stringent safety and/or security requirements, and
? The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, and a model-level debugger.
Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries/ for further information.
AdaCore products are non-proprietary open technology and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com/
C'est votre page
et vous souhaitez
la modifier ?
Connectez-vous pour accéder à votre espace membre.