Rapita Verification Suite Integrations

Jama Connect

Jama Software

Jama Software® is focused on maximizing innovation success in multidisciplinary engineering organizations. Numerous firsts for humanity in fields such as fuel cells, electrification, space, software-defined vehicles, surgical robotics, and more all rely on Jama Connect® requirements management software to minimize the risk of defects, rework, cost overruns, and recalls. Using Jama Connect, engineering organizations can now intelligently manage the development process by leveraging Live Traceability™ across best-of-breed tools to measurably improve outcomes. Our rapidly growing customer base spans the automotive, medical device, life sciences, semiconductor, aerospace & defense, industrial manufacturing, consumer electronics, financial services, and insurance industries.

386 Ratings

View Software

Visit Website

GitLab

GitLab is a complete DevOps platform. With GitLab, you get a complete CI/CD toolchain out-of-the-box. One interface. One conversation. One permission model. GitLab is a complete DevOps platform, delivered as a single application, fundamentally changing the way Development, Security, and Ops teams collaborate. GitLab helps teams accelerate software delivery from weeks to minutes, reduce development costs, and reduce the risk of application vulnerabilities while increasing developer productivity. Source code management enables coordination, sharing and collaboration across the entire software development team. Track and merge branches, audit changes and enable concurrent work, to accelerate software delivery. Review code, discuss changes, share knowledge, and identify defects in code among distributed teams via asynchronous review and commenting. Automate, track and report code reviews.

14 Ratings

Starting Price: $29 per user per month

View Software

JUnit

JUnit 5 is the next generation of JUnit. The goal is to create an up-to-date foundation for developer-side testing on the JVM. This includes focusing on Java 8 and above, as well as enabling many different styles of testing. We ask you – our users – to support us so we can keep up the pace. We will continue our work on JUnit regardless of how many donations we receive. However, your support would enable us to do so with greater focus and not only on weekends or in our spare time. For example, we want to meet regularly and work colocated for a few days in order to get things done faster in face-to-face design and coding sessions. Your donations will help to make that a reality!

2 Ratings

View Software

Jenkins

The leading open source automation server, Jenkins provides hundreds of plugins to support building, deploying and automating any project. As an extensible automation server, Jenkins can be used as a simple CI server or turned into the continuous delivery hub for any project. Jenkins is a self-contained Java-based program, ready to run out-of-the-box, with packages for Windows, Linux, macOS and other Unix-like operating systems. Jenkins can be easily set up and configured via its web interface, which includes on-the-fly error checks and built-in help. With hundreds of plugins in the Update Center, Jenkins integrates with practically every tool in the continuous integration and continuous delivery toolchain. Jenkins can be extended via its plugin architecture, providing nearly infinite possibilities for what Jenkins can do. Jenkins can easily distribute work across multiple machines, helping drive builds, tests and deployments across multiple platforms faster.

2 Ratings

View Software

Bamboo

Atlassian

Bamboo offers first-class support for the "delivery" aspect of continuous delivery. Deployment projects automate the tedium right out of releasing into each environment, while letting you control the flow with per-environment permissions.

1 Rating

Starting Price: $10 for up to 10 jobs

View Software

Simulink

MathWorks

Design and simulate your system in Simulink before moving to hardware. Explore and implement designs that you wouldn’t otherwise consider – without having to write C, C++, or HDL code. Explore a wide design space by modeling the system under test and the physical plant. Your entire team can use one multi-domain environment to simulate how all parts of the system behave. Package and share your simulations with collaborators, suppliers, and clients. Reduce expensive prototypes by testing your system under conditions that are otherwise too risky or time-consuming to consider. Validate your design with hardware-in-the-loop testing and rapid prototyping. Maintain traceability from requirements to design to code. Instead of writing thousands of lines of code by hand, automatically generate production-quality C and HDL code that behaves the same way as the model you created in Simulink. Then deploy it directly onto your embedded processor or FPGA/ASIC.

Starting Price: $860 per year

View Software

VxWorks

Wind River

The World’s Leading Real-Time Operating System for the Intelligent Edge For nearly 35 years, VxWorks has been used to ensure the security, safety, and reliability you need to design and build mission-critical embedded systems that simply must work. VxWorks® is the industry’s most trusted and widely deployed real-time operating system (RTOS) for mission-critical embedded systems that must be secure and safe. It delivers a proven, real-time, and deterministic runtime combined with a modern approach to development. Regardless of industry or device type, companies building intelligent edge systems rely on the VxWorks pedigree of security, safety, high performance, and reliability. VxWorks is a deterministic, priority-based preemptive RTOS with low latency and minimal jitter. It is built on an upgradable, future-proof architecture to help you rapidly respond to changing market requirements and technology advancements.

Starting Price: $18,500 / seat

View Software

FreeRTOS

Developed in partnership with the world’s leading chip companies over a 15-year period, and now downloaded every 170 seconds, FreeRTOS is a market-leading real-time operating system (RTOS) for microcontrollers and small microprocessors. Distributed freely under the MIT open source license, FreeRTOS includes a kernel and a growing set of IoT libraries suitable for use across all industry sectors. FreeRTOS is built with an emphasis on reliability and ease of use. With proven robustness, tiny footprint, and wide device support, the FreeRTOS kernel is trusted by world-leading companies as the de facto standard for microcontrollers and small microprocessors. With detailed pre-configured demos and Internet of Things (IoT) reference integrations, there is no need to determine how to setup a project. Quickly download, compile, and get to market faster. Our partner ecosystem provides a breadth of options including community contributions and professional support.

View Software

BlackBerry QNX

Launch your critical embedded systems faster with our commercial RTOS, development tools and services. BlackBerry QNX delivers a time-tested real-time operating system (RTOS), hypervisor, and other embedded software to help make you successful. We are the embedded OS of choice for ventilators, train controls, factory automation systems, medical robots and more. Whether your priority is safety certification, security or performance, our software, tools and services can help you build more reliable products. If you’re looking to increase security or safety, or you want to streamline your cross-platform development process, we can help. We can bring your plans to life with an RTOS and hypervisor purpose-built for embedded systems, including pre-certified product variants. Our modular microkernel architecture delivers better reliability and saves duplication of OS development effort across multiple products.

View Software

Ansys SCADE Suite

Ansys

Modern automobiles, aircraft, and other complex industrial products are composed of multiple electronic components, perfectly integrated to provide critical functionality. Underlying these advanced systems are millions of lines of embedded software code that ensure their flawless operation under every operating scenario. Ansys SCADE Suite drastically reduces safety certification costs by simplifying critical control application design and automating verification, qualifiable/certified code generation, and documentation generation. In the race to launch new hybrid and electric vehicle models, Ansys SCADE has emerged as a valuable strategic tool for Subaru over the past decade, supporting the automaker’s commitment to uncompromising safety and quality. The time saved during the end-to-end development of the ECU — without sacrificing the accuracy of its control software — has been crucial to Subaru’s ability to introduce innovative new technologies.

View Software

Polarion ALM

Siemens

Connect teams and projects, and improve application development processes with a single, unified solution for requirements, coding, testing, and release. In legacy software development environments, many different point solutions are used to manage the application lifecycle. As a result, development artifacts are scattered, slowing down collaboration, hindering transparency, undermining integrity and making it difficult to drive innovation. Polarion ALM gives organizations one unified solution that delivers project transparency through real-time aggregated management information. Everyone is aligned around what is being built and why to drive advancement while protecting integrity and compliance. This helps teams respond faster and with better quality to new business opportunities and customer demands. Unlock synergies across all collaborators with 100% browser-based access to a single data source.

View Software

eMCOS

eSOL

● Application platform for autonomous driving systems that recognizes external environment through various collective data, and autonomously drive based on appropriate judgment ● Scalable distributed computing environment backed by many-core processors, and various types of processors to support advanced computing power required for intelligent information processing ● Scalable platform that allows software assets to be run on various hardware resources with real-time capability to ensure reliability and safety

View Software

LynxOS

Lynx Software Technologies

LynxOS has been deployed in millions of embedded devices and has operated reliably for 30+ years across multiple safety and security-critical embedded markets. It is a tried and true approach for hosting applications on a Unix-like OS model wherein all resources and application services are centrally managed by a common kernel and is best-suited for working with hardware architectures that predate virtualization. We want our customers to buy what they need, and only what they need. Real-time operating systems can provide a tremendous amount of value, but they are not required for every embedded system design. For a more complete listing of our RTOS-related resources, visit our Embedded Systems Learning Center, which is filled with helpful material for making software purchase decisions as you design or update your system and consider which real-time platform vendor is right for you.

View Software

Xilinx

The Xilinx’s AI development platform for AI inference on Xilinx hardware platforms consists of optimized IP, tools, libraries, models, and example designs. It is designed with high efficiency and ease-of-use in mind, unleashing the full potential of AI acceleration on Xilinx FPGA and ACAP. Supports mainstream frameworks and the latest models capable of diverse deep learning tasks. Provides a comprehensive set of pre-optimized models that are ready to deploy on Xilinx devices. You can find the closest model and start re-training for your applications! Provides a powerful open source quantizer that supports pruned and unpruned model quantization, calibration, and fine tuning. The AI profiler provides layer by layer analysis to help with bottlenecks. The AI library offers open source high-level C++ and Python APIs for maximum portability from edge to cloud. Efficient and scalable IP cores can be customized to meet your needs of many different applications.

View Software

Deos

DDC-I

Deos™, DDC-I’s safety-critical time and space partitioned real-time operating system (RTOS) that has been verified to the guidance of DO-178C/ED-12C Design Assurance Level A (DAL A) for Avionics Applications, supports ARINC 653 APEX, rate monotonic scheduling (RMS), and is targeted at the FACE Safety Base Profile. It has been field proven as a safety-critical RTOS since its first verification and audit to DAL A by Transport Canada in 1998, and it has been certified and is flying in 10’s of thousands of aircraft. Since the initial verification, it has continually evolved throughout the last two decades with new processors and features in subsequent baselines, and it has been successfully audited by the world’s various governmental certification authorities (FAA, ENAC, JAA, EASA, CAAC, and others) and airframe and Avionics Supplier Designated Engineering Representatives (DERs).

View Software

INTEGRITY RTOS

Green Hills Software

INTEGRITY uses hardware memory protection to isolate and protect embedded applications. Secure partitions guarantee each task the resources it needs to run correctly and fully protect the operating system and user tasks from errant and malicious code, including denial-of-service attacks, worms, and Trojan horses. To help developers jumpstart product development, Green Hills Software offers an extensive array of middleware integrated and validated for INTEGRITY, including FFS, FAT, NFS, and journaling file systems, IPv4/IPv6 host and routing networking stacks, FIPS 140-2 certified Suite B enabled embedded encryption library, and more. Each of these middleware packages has been pre- integrated and tested to run seamlessly with and take full advantage of INTEGRITY’s advanced RTOS capabilities. For selected industries, Green Hills Software offers platforms that provide a completely integrated ecosystem. Each platform includes the INTEGRITY RTOS as well as development tools.

View Software

SAFERTOS

WITTENSTEIN high integrity systems

SAFERTOS® is a pre-certified safety Real Time Operating System (RTOS) for embedded processors. It delivers superior performance and pre-certified dependability, whilst utilizing minimal resources. SAFERTOS® is tailored to your specific processor/compiler combination, and delivered with full source code and our Design Assurance Pack (DAP) . The DAP gives you complete transparency over the full Design Life Cycle, and illustrates the exceptional high quality of our RTOS product. Using our extensive Safety Critical design experience we have made certifying SAFERTOS® integrated within a product an easy and hassle-free process. SAFERTOS® has been designed specifically for the safety sector, and deterministic priority based scheduling is the primary Safety Requirement. Every effort has been made to ensure deterministic behaviour is maintained.

View Software

Ada

AdaCore

Ada is a state-of-the-art programming language that development teams worldwide are using for critical software, from microkernels and small-footprint, real-time embedded systems to large-scale enterprise applications, and everything in between. Why use Ada? In short, because you want to write reliable and efficient code, with confidence that it works, and not waste time and effort in the process. Ada is unique among languages in how it helps you detect and eliminate bugs early in the software life cycle when they are least expensive to correct. And as evidenced by the many successfully fielded applications that need to meet a hard time or space constraints, Ada helps you build software that is reliable, safe, and secure without sacrificing performance. At the technical level, Ada has everything you might expect in a modern language. Concurrent programming features, including support for multicore.

View Software

LynxSecure

Lynx Software Technologies

LynxSecure® is a programmable processor partitioning system that uses hardware virtualization capabilities to isolate computing resources. Its unique least-privilege design and fine-grained distributed resource control model serves as the foundation to the Lynx MOSA.ic™ Modular Development Framework. To earn the trust of our customers, partners, and stakeholders in the creation of innovative software platforms that cost-, risk- and time-reduce the development and deployment of safe, secure, connected mission-critical systems for use in manned and autonomous military, aerospace, and federal systems. Rather than attempting to shape system behavior indirectly by issuing commands to platform APIs according to a programming manual, LynxSecure allows developers to directly control system behavior through a unique system architecture specification written by the developer and enforced solely by the processor.

View Software

Wind River Helix Virtualization Platform

Wind River

Wind River® Helix™ Virtualization Platform consolidates multi-OS and mixed-criticality applications onto a single edge compute software platform, simplifying, securing, and future-proofing critical infrastructure solutions in the aerospace, defense, industrial, medical, and automotive markets. The demand for more intelligence at the edge while supporting legacy applications requires industries to adapt quickly to modern software and cloud deployment practices while maintaining dedicated, long-standing software. To meet these challenges, Helix Platform allows legacy software to remain unchanged while running alongside new applications, and it provides all the benefits of a consistent, scalable, and agile platform across a wide range of edge devices. Highly regulated applications requiring robust time and space partitioning. Combining multiple workloads without certification requirements.

View Software

PikeOS

SYSGO

PikeOS 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 (IoT) according to the quality, Safety and Security standards of your industry. Due to its separation kernel approach, PikeOS is the first choice for systems which demand protection against Cyber-Security attacks. In addition to the broad usage within millions of IoT and edge systems, it has also been deployed within various high critical communication infrastructures. PikeOS brings together virtualization and real-time by means of unique and never seen before technologies. It allows you to migrate numerous complex embedded circuit boards in to a single hardware. It does not stop when it comes to new hardware concepts such as Big-SoCs with multiple heterogeneous processor cores. PikeOS runs on several architectures, supporting processors that come with a memory management unit (MMU).

View Software

Rapita Verification Suite Integrations