IBM Rational Quality Manager is designed to help medium to large teams collaborate by allowing them to seamlessly share information, to use automation to accelerate project schedules, and to report on project metrics for informed release decisions.
These systems provide functions ranging from basic to highly sophisticated. From applications such as basic servo actuation in a public water delivery system to crash avoidance systems in the latest generation of automobiles to robotic surgery systems.
Given these increased needs, demands, and their associated safety and security requirements, many industry vertical applications have created development best practices, guidelines, and certification processes.
Static analysis is a crucial capability in supporting all standards. Static analysis simplifies the enforcement of coding standards across teams. Improving the overall compliance for a required certification standard and quality of the code.
CodeSonar itself has also been independently certified for use in development of safety-critical software up to the highest safety integrity levels for ISO 26262, EN 50128, and IEC 61508, as demonstrated by the certificate from SGS-TÜV Saar GmbH, an independent third party certification body for functional safety.
It’s key in defining the functionality and controlling the electrical and mechanical systems in the products we rely on every day. In airplanes, automobiles, trains, or medical devices, for example, failure can result in injury or loss of life. Extra care and effort is required to ensure the safe operation of the system for the safety of users and to avoid costly product recalls.
For code where safety is critical, companies must comply with strict development standards and guidelines, such as DO-178C and DO-178B for commercial avionics, ISO 26262 for automobiles, IEC 62304 for medical devices, or IEC 61508 for general functional safety. It is each company’s responsibility to produce evidence that they follow good development processes, such as traceability from requirements to implementation, sufficient testing, and that their tools do not introduce errors in the product.
IBM Rational DOORS and IBM Rational Rhapsody Test Conductor are qualified with TÜV SÜD qualification assessments according to ISO 26262, covering ASIL A – D applications. The qualifications are based on an application-specific verification workflows and Safety manuals. The workflow documentation, Safety Manuals TÜV SÜD certificates, and additional tools and artifacts for ISO 26262 are provided in the IBM Rational DOORS Kit for ISO 26262 and IEC 61508 and the IBM Rational Rhapsody Kit for ISO 26262 and IEC 61508.
It provides a complete test development environment, built on Eclipse, and it integrates easily with developer desktop compilers and embedded target platforms.
Cantata has been independently certified by SGS-TÜV SAAR GmbH as usable in the development of safety related software, up to the highest safety integrity levels, for the following standards:
Cantata has also been successfully qualified many times to DO-178B and DO-178C / DO-330 avionics Projects.
CodeSonar, GrammaTech’s flagship product, identifies programming bugs that can result in system crashes, memory corruption, and other serious problems.
CodeSonar’s powerful static analysis engine works out-of-the-box, requiring no changes to your existing build system or code. It performs whole-program analysis on codebases over 10 million lines of code.
CodeSonar also includes workflow automation features, like an API for custom integrations and support for extensions that add custom checks.
IoT (Internet of Things) consists of billions of highly integrated, multi-functional smart devices in a digital network. Application software, cloud services and critical control tasks have to collaborate seamlessly. Hence, the underlying operating system must act as a catalyst and bring together general IT and Embedded capabilities.
That’s why we have developed PikeOS. This real-time operating system offers a separation kernel based hypervisor with multiple partitions for many other operating systems and applications. It enables you to build smart devices for the Internet of Things according to the quality, safety and security standards of your industry.
Embeddded Studio is a streamlined and powerful C/C++ IDE (Integrated Development Environment) for Arm microcontrollers
Real-time recording and visualization tool for embedded systems
Embedded Studio PRO is an all-in-one embedded develpment package for Arm microcontrollers
ELFLib—The ELF Library from the Embedded Experts
The SEGGER ELFLib is a library for extracting various information from ELF files, be it generic ELF related information (e.g. section information), or compiler specific debugging information (e.g. variables/functions, their types, address, …)
SystemView PRO unlimited real-time recording and visualization tool for embedded system
From fast IP evaluation to shipping an optimized board support package (BSP) for your SoC, Arm’s flagship tool suite provides a single solution for semiconductor companies to adopt throughout the product lifecycle.
With an improved user experience compared to previous generation tools, Development Studio contains the flexible Eclipse IDE. It enables intuitive source code editing, project management and integration for several productivity plugins, such as version control. Best of all, it is just as effective working on Linux or Windows host platforms.
Streamline is a system-wide analysis tool for Linux, Android and bare-metal embedded systems. It captures performance information from the CPU, GPU and OS, giving developers better insight into how software executes. Streamline helps developers quickly zoom in on bottlenecks, multi-threading issues and inefficient resource usage.
With the visual end user experience being as important as how fast code runs, tracing graphics code, like OpenGL ES, Vulkan and OpenCL API calls and understanding complex frame effects helps to identify and resolve issues quickly. Supporting Android and Linux Arm-based targets, Mali Graphic Debugger intercepts all calls, analyses their application and identifies areas for optimization.
Arm C/C++ Compiler leads the way in performance, code density, architectural accuracy and safety for bare-metal and real-time OS applications on Arm. Based on over 25 years of investment in compiler technology and developed alongside the Arm architecture means that the Arm Compiler builds the most efficient code possible for Arm processors.
With the ability to easily connect to Arm Cycle Models, you can develop bare-metal software early as well as accelerate system-level debugging. Or alternatively when connecting to Arm Fast Models, developers can co-design software before hardware availability. Both options power accelerated SoC design.
