Resources Library
This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the international standard IEC 60880:2006 Nuclear Power Plants – Instrumentations and Control Systems Important to Safety – Software Aspects for Computer-Based Systems.
This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard IEC 61508:2010 Functional Safety of Electrical / Electronic / Programmable Electronic Safety-related Systems.
This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalised international standard IEC 62304:2006 Medical Device Software – Software Life-cycle processes.
This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard ISO 26262:2018 Road Vehicles – Functional Safety.
This paper examines how automatic test case generation can deliver significant cost savings, while satisfying the recommendations of ISO 26262 ASIL A to D.
This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation objectives of the finalized international standard RTCA DO‑178C, Software Consideration in Airborne Systems and Equipment Certification.
This paper examines how automatic test case generation can deliver significant cost savings while satisfying the software verification objectives of DO-178C software levels C and above.
This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation objectives of the international NATO AOP-52 (EDITION 1) – Guidance On Software Safety Design And Assessment Of Munition-Related Computing Systems.
This document summarises how Cantata supports compliance with EN 50716, the railway software standard for cybersecurity. It maps Cantata’s testing capabilities to the standard’s requirements, including verification, validation, and tool qualification. The briefing also outlines the role of unit and integration testing in demonstrating conformity within safety-critical railway systems.
This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the international standard EN 50657:2017.
This Briefing is intended to serve as a reference of how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard EN 50128:2011 Railway Applications – Communication, signalling and processing systems – Software for railway control and protection systems.
In this Sector Brief, we highlight the IEC 60880:2006 software standard’s requirements for verifying safety-critical software in nuclear power plants and demonstrate how Cantata supports project certification for Category A systems, including tool qualification for verification and validation.
In this Sector Brief, we highlight the IEC 61508 standard’s requirements for functional safety in industrial automation and how Cantata, certified as a T2 tool, supports project certification for safety-related software up to SIL 4.
In this Sector Brief, we highlight the IEC 62304 software standard, which defines lifecycle requirements for medical device software development and verification. We also discuss IEC 61508’s tool qualification criteria for safety-critical software, and how Cantata, certified for Class C software, supports project certification in the medical sector.
In this sector brief, we highlight a selection of rail systems projects and customers who have successfully utilized and Cantata to fulfill their high-reliability testing requirements. Additionally, we emphasize the significance of the European railway EN 50128:2011 standard and elucidate how Cantata contribute to project certification support.
In this Sector Brief, we highlight key avionics and defense projects that have used Cantata to meet stringent testing requirements under the DO-178C, DO-278A, and DO-330 standards. We also explore how Cantata and QA-MISRA support the qualification process for high-reliability systems across both military and civil aviation domains.
Efficiently perform unit and integration testing using AdaTEST 95. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features.
Accelerate C/C++ Coding Standards Compliance & Code Quality Insights.
The BBS Systems Department had a long history of using Cobol and mainframe technology. In common with a general trend in the financial sector, a decision was made to move towards object oriented systems development, using C++. ‘Reusability’ was the main means of achieving this goal.
Given the software-intensive nature of the INventor and the INjector, Marconi Communications consistently pursues improved methods to efficiently generate substantial volumes of dependable C++ code as part of its software process enhancement strategy.
This case study centers on Dr. Keil Informationstechnik GmbH & Co KG and a prominent telecom equipment supplier aiming to enhance their administration module reliability while utilizing Cantata as the primary testing tool.
Hamilton Medical’s cutting-edge ventilator, Galileo, has demonstrated exceptional efficacy in managing challenging ventilation cases. The pivotal factor in Galileo’s triumph is its integrated system control software. Ensuring the utmost quality, the software governing Galileo had to undergo rigorous testing.
Cantata has been used successfully since the inception of the CROMA Generator, an electrosurgical unit for the purpose of cutting and coagulating tissue, in 2013. At the time of tool selection, Creo Medical required an independently certified automated unit testing tool to verify their software under IEC 62304.
Cantata was employed for white-box component testing for safety-critical code in both host and target environments. Its success led to its implementation in the creation of a New Patient Monitor and a safety-critical Non-Invasive Blood Pressure measurement unit developed by GE Healthcare.
Simoco opted for Cantata to systematize unit and integration testing and gauge code quality. The primary project using Cantata involved creating a sizable control room system for a major utility. This system merged digital telephony with mobile radio services, ensuring reliable communication between control room operators and field staff.
Past experiences have cultivated a profound skepticism towards ‘ad hoc’ software testing methods due to software bugs being a major contributor to field-related issues. Cantata’s static analysis functions were used to eliminate the use of C constructs known to cause problems. Task testing was carried out to discover if there were any design errors in the tasks.
FastFocus needed a tool that met IEC 62304 standards, with a well-documented medical device background, reliable vendor support, and advanced features like automatic test case generation, function call control, code coverage, and certification evidence.
The project involved performing system acceptance tests on a railway signaling configuration tool that was needed to generate code metrics, assess coverage, and identify untested code areas. Cantata offered an integrated solution that proved simpler and more cost-effective, encompassing all required features.
Thales invested extensively in R&D, so as to produce innovative ETCS solutions. The main task was to develop two applications: one for radio block control on trackside, written in C++, and one for the train itself, written in C.
Kaba Gilgen AG upgraded metro stations in Paris with half-height Platform Screen Door (PSD) systems, using Cantata to meet the specific project needs. Detailed unit tests were run on all source files, ensuring 100% code coverage.
A Comprehensive Case Study on Verifying DE-CATS Software for Rolls-Royce Adour Mk 106 Engine with Cantata. Discover how OSyS achieved efficient unit testing, white-box data validation, and extensive code coverage for optimal results.
Meggitt’s two significant projects were the Engine Interface and Power Monitoring (EIPM) unit for the Airbus A380 aircraft, and the Engine Monitoring Unit (EMU) for the Rolls Royce Trent 900 engine. These projects necessitated robustly tested software to comply with the rigorous safety requirements of the civil avionics industry-standard DO-178B.
SAAB, adhering to rigorous safety requirements, used Cantata to certify the Airbus A400M wing flap control system to the highest safety level, generating automatic test reports for efficient issue identification and resolution.
The UK Highways Agency (HA) developed the Network ATM Supervisory Subsystem (NASS) to reduce congestion. This case study explores the testing strategy, code design, and module testing procedures used to validate the system’s effectiveness.
Accelerate safety standards compliance for C and C++ with automated unit and integration testing.
QA-MISRA is a powerful and fast static analysis tool designed to ensure compliance with coding standards, supporting C and C++ coding languages. QA-MISRA is highly extensible and flexible, offering built-in support for coding standards such as MISRA and AUTOSAR C++14 rules.
Ultra Electronics required testing tools that aligned with the stringent software testing criteria outlined in the civil avionics standard DO-178B. The Controls Division effectively employed Cantata to conduct C++ testing for the inaugural line test set utilized in conjunction with their Digital Automotive System Control Unit (DASCU).
Cantata Hybrid enables the execution of tests by utilizing non-Cantata test suites, such as GoogleTest® and GoogleMock®, as input sources allowing the generation of test results evidence and code coverage data from a certified unit test tool to comply with all major safety-critical standards.
This paper aims to serve as a tutorial for developers who are new to the development of software for safety-critical systems. It discusses the issues involved, introduces some of the techniques available to developers, and provides an overview of how QA-MISRA, Cantata, and Astrée can be used within the process.
Accelerate Finding All Runtime Errors & Data Races in C/C++With Sound Static Analysis.
This Paper provides guidelines for designing testable Ada software. With testability in mind, testing the designed software is much easier.
This brief covers ISO 26262 and ISO 21434, key automotive standards for safety and cybersecurity. It highlights how QA Systems’ tools, like Cantata and QA-MISRA, support compliance through automated testing, with Cantata certified for safety verification up to ASIL D.
AdaTEST 95 was used to produce on-board software for Astrium’s projects RADARSAT-2 (aimed to perform topographic mapping of the Earth’s surface) & Beagle 2 (a UK-led Mars lander) which faced different challenges in achieving software reliability.
Astrium chose AdaTEST 95 to test its Polar Platform satellite, thanks to its reliability, flexibility, and competitive pricing. The tool resolved the challenge of creating maintainable code and tests, seamlessly integrating into Astrium’s existing procedures without causing disruptions.
Saab Aerosystems re-implemented the Stores Management Unit (SMU) for the JAS39 Gripen fighter aircraft. They used AdaTEST 95 for testing, following the RTCA/DO-178B standard at criticality level A.
The key highlight of the new kit was its run-time environment situated on the target, exerting full control over the running application. AdaCore had to conduct extensive testing to meet the rigorous quality standards set by ESA. To achieve the stipulated 100% statement coverage, AdaTEST 95 was selected.
At their Aeronautical Systems plants in Marietta, Georgia, Lockheed Martin developed the US Air Force’s latest air-superiority fighter, the F-22. The Internal Independent Verification and Validation manager was required to find a suitable tool that would facilitate the extensive CSU testing.
Hitachi Vantara developed the Self-Driving Assistant software for autonomous vehicles. To ensure safety and adherence to standards, they chose Cantata as their testing tool for its ability to conduct unit, integration, and system testing.
Innoviz Technologies developed LiDAR and object recognition products for autonomous vehicles. In search of a versatile test automation and reporting solution compatible with ISO 26262 certification requirements, they opted for Cantata due to its strong integration capabilities with their intricate toolchain.
Curated Content Packs
Our curated content packs provide all information to address some of the most common problems when developing software
Does your Code meet its spec
Prove your tests check that software does what it should
Is your MISRA Tool to slow
Why static analysis speed is important and how to do it faster
How to measure and get full code coverage
Automatic test generation can reach 100% targets
Whether you’re evaluating tools or have technical questions, please contact us.