70 search results for
Press Releases
AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship
12 September 2017 AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 17th October 2017. Now in its fourth year, the mission of the High Integrity Software Conference is to share challenges, best practice and experiences between software engineering practitioners engaged in complex systems. The conference is endorsed by official supporters BAE Systems and Jaguar Land Rover and plays host to a number of industrial exhibitors.Press Releases
AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform
Ada Development Environment helps embedded software developers produce reliable, safe and secure systemsPress Releases
AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
Programming competition aimed at embedded systems programmers, to demonstrate Ada’s benefits for reliable, safe and secure softwarePress Releases
New SPARK Adoption Guidance Published
Free booklet, co-authored by Thales, explains how to exploit SPARK/Ada technology to achieve high levels of software assurancePress Releases
AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS
AdaCore/SYSGO Partnership Fosters Spread of Embedded AdaPress 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
AdaCore’s CodePeer Officially Registered as CWE-Compatible
Detects buffer overflow and other dangerous software errorsPress Releases
Winners Announced for First Annual “Make with Ada” Programming Competition
ARM embedded systems projects demonstrate Ada’s benefits for reliable, safe and secure softwarePress Releases
AdaCore and Altran to sponsor High Integrity Software Conference
20 September 2016 — AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016.Press Releases
Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet
Thales Alenia Space implements critical spacecraft software in AdaPress 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
AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
Programming competition aimed at embedded systems programmers, to demonstrate Ada’s benefits for reliable, safe and secure softwarePress Releases
AdaCore Releases GNAT Pro 7.4
New version of Ada Development Environment highlights annual major release of company product linePress Releases
AdaCore Releases SPARK Pro 16
Formal verification toolset helps reduce certification effort for safety-critical and high-security systemsPress 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’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification
Static analysis tool to be qualified as DO-178B verification tool, reducing software certification costs for industry leader UTC Aerospace SystemsPress Releases
Celebrating Ada Lovelace: The Pioneer of Programming
Commemorating Lady Ada’s 200th birthday, AdaCore’s detailed graphic summarizes her life and accomplishments, recaps milestones and resources for programming language named in her honorPress Releases
AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2
Latest version of AdaCore cross-development environment targets students and other developers of nonproprietary softwarePress Releases
AdaCore’s GNAT Pro Available for Wind River VxWorks 7
Offers Full Ada, Support for the Latest Wind River RTOS, More Seamless Integration with WorkbenchPress Releases
SPARK Going to the Moon
Vermont Technical College writing flight software for Lunar IceCube, will use GNAT Pro and SPARKPress Releases
AdaCore Releases CodePeer 3.0
Advanced static analysis tool for Ada has been qualified under DO-178B and EN50128, adds support for IEEE 754 floating point semantics and enhances support for project filesPress Releases
AdaCore Releases GNAT Pro 7.3
New version of Ada Development Environment highlights annual major release of company product linePress Releases
ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems
Public/private laboratory for mathematical proof-based tools led by Inria and AdaCoreEvents
Project P Workshop
AdaCore will be exhibiting at this event. Matteo Bordin will be presenting “Overview of other generators of the project” and “Model Verification and Code Generation with QGen”.
Pages
AdaCore Tech Days Boston
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer, SPARK Pro, and QGen.Press Releases
AdaCore Announces Winners for Second Annual “Make with Ada” Programming Competition
Entries demonstrate the ease of using Ada and SPARK languages for developing reliable, safe and secure softwarePress Releases
Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software
Qualified autocode generator implemented in AdaPress Releases
MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software
NEW YORK and PARIS and BURLINGTON, Mass., November 15, 2017 – AdaCore Tech Days – AdaCore today announced that MDA, a business unit of Maxar Technologies, has selected the GNAT Pro Assurance Ada development environment for the LEON3 target processor, to produce the software for a Ku-Band communication subsystem that will replace the current version. This critical International Space Station (ISS) subsystem has to work reliably over the long term, a requirement that led MDA to maintain Ada as the implementation language. With GNAT Pro Assurance, a service known as sustained branches allows MDA to continue developing and maintaining their software over the long term using a specific version of the GNAT Pro technology, with access to code generator updates to correct critical issues.Press Releases
AdaCore Launches New GNAT Pro Product Lines
Flagship Ada Development Environment Addresses New Needs and DomainsPress Releases
AdaCore Exhibiting and Presenting at ERTS2 2018
Software safety, avionics certification, and static analysis to be addressed at Embedded Real-Time Software and Systems Conference in ToulousePress Releases
DENSO Using SPARK Technology for Automotive Research Project
Formal methods help to demonstrate Freedom from InterferencePress 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 performancePress Releases
Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart
AdaCore software development and verification tools help Real Heart deliver the high assurance, safety, and reliability that lifesaving medical devices demand.Press Releases
AdaCore’s GNAT Pro Ada Toolchain Released for BlackBerry QNX
AdaCore and BlackBerry partnering to support development of critical applicationsPress Releases
University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project
Ada selected over C to run on a Cortex M1 corePress Releases
AdaCore Tools Streamline Development of Safe, Secure, Automotive and Autonomous System Software
AdaCore’s advanced software development and verification tools help enhance the safety and security of automotive, autonomous, and advanced driver-assistance systems while facilitating future technology upgrades and requirements.Press Releases
AdaCore’s GNAT Pro Supports Lynx Software Technologies’ LynxSecure Separation Kernel Hypervisor on Intel Processors
Ada toolset allows developers to field software components for Windows, Linux, LynxOS-178 and LynxSecure Application partitionsPress 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 Shows How to Address the Cybersecurity Challenge
Free book offers guidance for achieving secure and reliable softwarePress Releases
AdaCore Demonstrating GNATcheck Ada Coding Standard Enforcement Tool for FACE™ Components
GNAT Pro tool checks adherence to Ada subsets for Safety Base / Security and Safety Extended profiles of the FACE Technical StandardPress Releases
High Integrity Software Conference reaches out to budding developers in its fifth year
The High Integrity Software Conference will take place in Bristol on 6November 2018. Now entering its fifth year, the conference continues to be the premier annual forum for the sharing of challenges, best practice and experience between software engineering practitioners – for software that matters. This mission continues to grow in importance, with 2018 having once again been a year in which software fallibility, cybersecurity breaches and the loss of public trust in autonomous systems have made headlines.Press Releases
AdaCore’s Annual Make with Ada Competition is Starting
Over $8000 in cash and prizes for imaginative embedded systems projects in Ada or SPARKPress Releases
ci-tec Selects AdaCore’s GNAT Pro Ada Development Environment for Industrial Process Management & Control Application
AdaCore software development and verification tools help ci-tec port and upgrade combustion chamber optimization product.Press Releases
AVIO Selects AdaCore’s GNAT Pro Assurance Toolsuite for European Space Agency Program
Safety-critical on-board software for Vega-C launcher being developed in Ada, leveraging GNATemulator to expedite testingPress Releases
AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support
GNAT Pro and GNAT Community toolchains available both for professionals and hobbyistsPress Releases
AdaCore enhances security-critical firmware with NVIDIA
Programming languages Ada and SPARK help lower the cost of security-critical software development and verificationPages
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.Press 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 RTOSPages
2018 Tech Days Boston Slides
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer, SPARK Pro, and QGen.Press Releases
AdaCore Announces Winners for Third Annual “Make with Ada” Competition
Contest draws over 40 entrants; shows ease of using Ada and SPARK to develop reliable, safe, and secure softwarePress Releases
AdaCore Now a Principal Member of The Open Group FACE™ Consortium
Company increasing its level of membership and participationPages
Medical
AdaCore’s technology provides the assurance that medical device developers, regulators, doctors and patients need so they can focus on saving human lives.Press Releases
Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite
NORTHPORT AND NEW YORK, N.Y. – June 26, 2019 – Code Dx, Inc., provider of an award-winning application security management solution that automates and accelerates the discovery, prioritization, and risk management of software vulnerabilities, today announced its partnership with AdaCore, a trusted provider of software development and verification tools for the Ada, C, and C++ programming languages.Press Releases
AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defence Industries
PARIS & NEW YORK & BRISTOL, UK, 14 August 2019 - AdaCore, a trusted provider of software development and verification tools, today announced the opening of AdaCore Ltd, which will serve as the company’s UK centre-of-excellence for the development of safety- and security-critical software tools.Press Releases
AdaCore’s Fourth Annual Make with Ada Programming Competition Launches Today!
Over $8K in cash and prizes to be awarded for the most innovative embedded systems projects developed using Ada and/or SPARKPress Releases
The High Integrity Software Conference Continues to Champion High-Assurance Software Development
AdaCore and Altran today announce their renewed sponsorship of the annual High Integrity Software (HIS) Conference, taking place in Bristol on November 5th, 2019. Now in its sixth year, the event attracts leaders in industry and academia who share the common focus of producing high integrity software. This promises to be the pivotal event as we enter an age of digital dependency, and many aspects of our everyday lives rely on the correct behaviour of software-intensive electronic systems. The event addresses new, current and future challenges and continues to grow year on year. It welcome an international audience, with delegates from continental Europe to Japan. Recognising the need to engage new engineers on this key topic, there are special rates available for those at an early stage of their career.Press Releases
European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development
NEW YORK & PARIS & NEWPORT, Wales, September 24, 2019 - UK Space Conference - AdaCore, a trusted provider of software development and verification tools, today announced that the European Space Agency (ESA) has selected AdaCore to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.Press Releases
AdaCore Introduces Support for C++ Embedded Environments
GNAT Pro cross-environment handles standalone C++ and mixed-language embedded software developmentPages
AdaCore Tech Days Los Angeles 2020
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer, SPARK Pro, and QGen.Press Releases
AdaCore Toolchain for Ada, SPARK and C Now Qualified for ISO 26262 and IEC 61508
NEW YORK & PARIS, February 18, 2020 - AdaCore today announced that three of its signature software development/verification tools for Ada, SPARK and C have been qualified under the ISO 26262 and IEC 61508 functional safety standards. AdaCore has over two decades of certification experience in safety-critical domains such as avionics, space, and rail. By completing the qualification process for automotive and industrial standards, the company has shown that its high integrity technologies can meet the demanding assurance requirements of the software-intensive automotive industry.Press Releases
AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition
A variety of unique submissions demonstrate the ease of learning and using Ada and SPARK in embedded applicationsPages
AdaCore Tech Days Los Angeles 2020
AdaCore presents the latest news and provide technical roadmaps for the company's product offerings - GNAT Pro, CodePeer, SPARK Pro, and QGen.Press Releases
Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software
Events
Flight Software Workshop 2021
AdaCore was a sponsor for this 14th annual Workshop on Spacecraft Flight Software. AdaCore Senior Software Engineer Tonu Naks gave a presentation on QGenV: Harnessing Qualified Code Generator for Model Verification.
Pages
Java log4j Vulnerability Update
We have investigated the Java log4j logging facility documented as CVE-2021-4428 and also known as log4shell. We can confirm that AdaCore is not affected.Pages
Certification & Qualification
AdaCore tools meet the highest levels of domain-specific software certification standards, offering both feature functionality and safety assurance.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.