Search results for "AdaCore"

During the last 10 years, model-based design environments have proved to be a significant innovation for developers of embedded control software. However, in safety-critical domains such as avionics, rail, and automotive systems, current off-the-shelf approaches raise several issues with respect to software verification.

AdaCore’s CodePeer advanced static analysis tool for the automated review and validation of Ada source code has been qualified as a software verification tool for developers in both avionics and railway industries. CodePeer assesses the program before execution to find errors efficiently and early in the development life cycle. Using advanced mathematics, it analyses every line of software, considering every possible input and every path th...

Along with partner Altran,AdaCorewill be sponsoringthe inaugural High Integrity Software Conference (HIS), taking place in Bristol on the 23rd October 2014. HIS 2014, which is one day long, is a conferencefor sharing information about key challenges and recent developments within software engineering.

Offering an integrated approach to the entire software development and verification lifecycle, Altran and AdaCore have released SPARK Pro 14.0. The integrated development and verification environment providesusers with more powerful and easier to use tools that support the latest version of the SPARK language, SPARK 2014. The product bringssoftware specification, coding, testing and unit verification by proof within a single integrated framework.

GNAT Pro 7.2, for ARM Cortex processors running Android, is the latestAda cross-development environment fromAdaCore.The GNAT Pro product, hosted on Windows and Linux, comprises a complete Ada toolsuite for developing and maintaining Android applications using a mixture of Ada and Java.

GNAT Pro 7.2, the latestcross-development environment from AdaCore, extends support toARM processors running Linux. This GNAT Pro ARM product provides a complete Ada development environment oriented towards embedded systems that require the flexibility and extensive services provided by Linux.Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portability.

Assessing potential bugs before program execution, CodePeer 2.3 is the latest version of AdaCore's static analysis tool for the automated review and validation of Ada source code. The tool is able to find errors efficiently and early in the development life cycle.

Supporting all levels of safety certification,GNATcoverage 1.2 is the leatest version of AdaCore's source and object code coverage analysis tool. The release includes supports usage with an iSystem hardware probe generating Nexus trace data, as well as usage with Valgrind on Linux.

AdaCore today announced the availability of the GNAT Pro Ada development environment on the Wind River Linux platform. This new implementation continues a long, successful relationship between AdaCore and Wind River, marked by hundreds of joint customers worldwide, and brings the Ada language’s reliability benefits to the increasingly popular Wind River Linux platform.

Vector Software announced VectorCAST support for AdaCore’s GNAT Pro Safety-Critical product for ARM micro-controllers. The AdaCore GNAT Pro Safety-Critical application provides a complete Ada development environment, oriented towards systems that have safety-critical or stringent memory constraints requirements. ARM is a popular low-cost, low power microprocessor that is growing in popularity in industries like aerospace, defense, and trans...