43 search results for
Pages
GNATcoverage
GNATcoverage helps assess a testing campaign’s completeness by providing sound analysis and evidence that all of the code has been sufficiently exercised.Pages
GNATcoverage Product Update
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings. Watch the video presentations.Press Releases
AdaCore Releases New GNATcoverage Tool
AdaCore Releases First Non-Intrusive Coverage Tool to Fully Support All Levels of Safety CertificationNew GNATcoverage tool provides advanced program coverage analysis on both object code and source codePress Releases
AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool
Award-winning, non-intrusive coverage tool supports all levels of safety certification and adds hardware probe functionalityPress Releases
AdaCore’s GNATcoverage Product Awarded Electron d'Or Prize
Open Source coverage analysis tool wins prize in 14th annual award programArticles
Lauterbach et AdaCore s’associent pour GNATcoverage
Press Releases
Qualification Material Available for GNATcheck and GNATcoverage
AdaCore releases components allowing more agile software certificationPages
Avionics
AdaCore has a long and successful history serving customers in the Avionics industry building systems requiring DO-178B/DO-178C certification.Pages
Rail
AdaCore provides rail software developers with qualified tools and certified runtimes they need to build EN 50128 certified software systems.Pages
Automotive
AdaCore’s enables developers working on critical automotive applications to optimize their development, verification, and certification processes.Pages
GNAT Pro Assurance
GNAT Pro Assurance offers developers the chance to freeze on a stable version of the GNAT technology - essential for long-lived projects or certification.Pages
GNATtest
GNATtest (based on AUnit) helps automate processes for developing and managing the large number of test cases needed for verifying large software systems.Pages
Toolsuite
GNAT Pro comprises a comprehensive toolsuite for Ada, C, and C++ including IDEs, a visual debugger, and a set of libraries, bindings and tools.Press Releases
AdaCore Publishes Handbook on DO-178C/ED-12C Guidance
Free booklet shows how AdaCore qualified tools can reduce costs of certifying airborne softwarePress Releases
Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj
New 70-page report explains how to reduce safety certification effort through Ada language and qualified AdaCore toolsPress Releases
French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology
Two-year project designed for auditing and certifying military software initiativesPress Releases
AdaCore Launches GNATdashboard
New tool helps Ada developers keep technical debt in check, supports quality assurance activities, integrates and aggregates results of AdaCore’s static and dynamic analysis toolsPress Releases
GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project
PARIS, NEW YORK, December 17, 2012 – Paris Space Week 2012- AdaCore today announced that Terma A/S has selected the GNAT Pro Safety-Critical development environment to develop onboard software for the Atmosphere-Space Interactions Monitor (ASIM) that will be mounted on the Columbus module of the International Space Station. Terma will useGNAT Pro Safety-Critical combined with the GNATemulator and GNATcoverage dynamic testing tools to develop and test the application prior to deployment on the actual LEON 3 embedded processor.Press Releases
AdaCore Launches GNATtest
Unit test harness generator reduces test development effort for large software projectsPress Releases
Thales Selects AdaCore Toolset for Argos Satellite Project
GNAT Pro to be used on high-assurance software for global location and data collection systemPress Releases
AdaCore Releases GNAT Pro 6.4
Ada development environment brings new features, platforms, and tool supportPress Releases
AdaCore Releases New GNATemulator Tool
AdaCore Releases New GNATemulator Tool for Efficient Embedded Software Testing Provides open source, integrated, lightweight target emulationPress Releases
AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions
GNAT Pro, CodePeer, SPARK Pro and QGen upgraded with new features, better performancePages
EN 50128
EN 50128 is a certification standard issued by CENELEC (the European Committee for Electrotechnical Standardization).Pages
Partners
AdaCore has developed strategic alliances and partnerships allowing customers to benefit from an ever-increasing complementary range of tools and services.Press Releases
AdaCore Extends Support for Wind River VxWorks Portfolio
GNAT Pro Ada and VxWorks offer 32-bit and 64-bit support on the latest Arm, Intel, and Power multi-core processorsPress Releases
AdaCore V19 Product Release Expands Platform Coverage, Brings Performance Improvements and Functionality Enhancements
Annual major release extends Ada ecosystem, ramps up C and C++ supportPress Releases
AdaCore Extends Support for Wind River VxWorks
AdaCore committed to long-term Ada, C, and C++ support on industry-leading RTOSPress Releases
AdaCore Now a Principal Member of The Open Group FACE™ Consortium
Company increasing its level of membership and participationPages
ATM
AdaCore’s tools and services are the ideal choice for developing large, long-lived Air Traffic Management systems, where safety and security is paramount.Pages
GNAT Dynamic Analysis Suite
A package of testing and coverage tools for analyzing the dynamic behavior of Ada code.Pages
GNATfuzz
Fuzz testing is a technique used to uncover coding errors and security loopholes in software systems and networks.Pages
GNAT Pro for C/C++
Press Releases
Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software
Qualified autocode generator implemented in AdaDocumentation
GNAT DAS User's Guide
This is the user documentation for GNAT DAS (Dynamic Analysis Suite), a package comprising GNATcoverage, a DO178-capable structural coverage analysis toolset; GNATtest, a unit test harness generator; and GNATfuzz, a tool for automating dynamic testing on Ada code, performing test case generation and discovery of software vulnerabilities through fuzzing.Pages
AdaCore and the Future Airborne Capability Environment
The FACE™ approach is a government-industry initiative for reducing defense system life cycle costs through portable and reusable software components.Pages
Certification & Qualification
AdaCore tools meet the highest levels of domain-specific software certification standards, offering both feature functionality and safety assurance.Press Releases
AdaCore Launches GNAT Dynamic Analysis Suite
Pages
AdaCore Tech Days Alabama 2019
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer, SPARK Pro, and QGen.