Ada toolsuite helps project managers track and mitigate product vulnerability
NEW YORK, March 15, 2022–(BUSINESS WIRE)–AdaCoreToday,, a trusted provider in software development and verification instruments, announced the new version of its signature GNAT Pro AssuranceProduct now offers a service that assists customers in implementing a vulnerability mitigation strategy using third-party tools. GNAT Pro Assurance 22 customers can request a detailed listing of known problems, each one keyed by The MITRE CorporationsCommon Vulnerability Enumeration (CVE) database. Vulnerability reports can be accessed in both machine-readable CVE JSON and human-readable PDF formats. AdaCore also produces Software Bills of Materials. The industry-standard Software Package Data Exchange format (SPDX), is used to provide SBOMs. This allows for automated incorporation into vulnerability management and reporting systems.
GNAT Pro Assurance, the top-tier edition AdaCores GNAT Pro product range, offers a complete Ada solution. It includes a comprehensive suite development and verification tools, a configurable library of run-times, and a number of specialized small footprint runtimes. It is designed for developers of safety- or security-critical applications that need long-term maintenance. This includes projects that must meet domain-specific software assurance standards. These standards are applicable to safety certification. They include EN 50128 (rail), DO-178C(airborne software), ECSS E-ST-40C, ECSS Q-ST-80C (space), ISO 26262 for automotive and industrial systems. Relevant standards for security include DO-326A/ED-202/ED-203A and DO-356A/ED-356A (airworthiness). GNAT Pro Assurance customers have the option to receive certification and/or qualifications material for specific run time libraries and/or tools.
GNAT Pro Assurance offers a unique opportunity: Branch sustainmentService allows customers to select a specific version of technology to receive workarounds and product updates as necessary to address critical issues. This ensures product stability and allows for controlled evolution to fix problems that don’t have realistic solutions.
“The problem with software security is that vulnerabilities are easily and quickly discovered.” AfterOnce a system is deployed, it is often multi-layered and interdependent components are from different vendors.” Alexander Senier (Lead of Cybersecurity at AdaCore) said. “A vulnerability that a vendor fixes might require an expensive corrective in another component. If that vendor fails, then the whole system may be insecure.” GNAT Pro Assurance ensures that our customers do not get into such a predicament. We provide sustained branches, and we perform automatic analysis of known vulnerabilities on those branch and make them accessible to customers. We also analyze whether security problems found in current GNAT Pro version are present in sustained branch and port security fix to those older versions, if necessary. This allows customers to have their systems deployed securely over the life of their projects.
AdaCore’s Commercial Director Jamie Ayre said, “Ada is a language that developers prefer for long-lasting, high-reliability software. The sustained branch support for GNAT Pro Assurance meets the requirements for both stability in product and corrections for critical problems.” “Moving to a new product version may solve a problem but could lead to regressions or other problems. GNAT Pro Assurances’ sustained branch service is unique in the industry. Customers can lock in a specific product version and receive updates when necessary to address a critical issue.
Contact usGet GNAT Pro Assurance today!
About AdaCore
AdaCore, founded in 1994, supplies software development and verification instruments for mission-critical, safety critical, and security-critical system.
Customers have used AdaCore products over the years to maintain and field a wide variety of critical applications in areas such as railway, space and automotive, financial services, air traffic control, medical devices and commercial and military aircraft. AdaCore’s global customer base is growing. www.adacore.com/industriesFor more information, please visit
AdaCore products can be downloaded open-source and have expert online support from the developers. The company has its North American headquarters located in New York City and its European headquarters located in Paris. www.adacore.com.
http://www.adacore.com
http://twitter.com/AdaCoreCompany
Businesswire.com – View the source version https://www.businesswire.com/news/home/20220315005238/en/
Contacts
Contact the Press
Jessie Glockner
AdaCore
E: [email protected]
T: +1-646-532-2723
