Rapita Verification Suite Integrations

Jama Connect®, a product development platform, uniquely creates Living Requirements™. This digital thread is created through siloed, test, and risk activities to provide end to end compliance, risk mitigation, process improvement, and compliance. Companies creating complex products, systems, and software can now define, align, and execute on what they need. This reduces the time and effort required to prove compliance and saves on rework. You can be sure of success by choosing a solution that is easy-to-use, flexible, and offers support and services that are adoption-oriented.

GitLab is a complete DevOps platform. GitLab gives you a complete CI/CD toolchain right out of the box. One interface. One conversation. One permission model. GitLab is a complete DevOps platform, delivered in one application. It fundamentally changes the way Security, Development, and Ops teams collaborate. GitLab reduces development time and costs, reduces application vulnerabilities, and speeds up software delivery. It also increases developer productivity. Source code management allows for collaboration, sharing, and coordination across the entire software development team. To accelerate software delivery, track and merge branches, audit changes, and enable concurrent work. Code can be reviewed, discussed, shared knowledge, and identified defects among distributed teams through asynchronous review. Automate, track, and report code reviews.

JUnit 5 represents the evolution of the JUnit framework, aiming to establish a modern foundation for testing on the JVM that caters to developers. It emphasizes compatibility with Java 8 and later versions while also supporting various testing methodologies. We encourage our users to back our efforts, as your contributions would allow us to maintain momentum. Our commitment to JUnit will persist, regardless of the level of financial support we receive, but additional backing would enable us to concentrate our efforts more effectively rather than just working on it during our free time. For instance, we aspire to hold regular meetings and collaborate closely for several days, which would facilitate quicker progress through in-person design and coding sessions. By contributing, you can help turn this vision into a reality while enhancing the overall development process!

Jenkins, the premier open-source automation server, boasts an extensive library of plugins that facilitate the building, deployment, and automation of any project. Its versatility allows Jenkins to function not only as a straightforward continuous integration (CI) server but also as a comprehensive continuous delivery hub tailored for diverse projects. This self-sufficient, Java-based application is designed to operate immediately, with installation packages available for Windows, Linux, macOS, and various Unix-like platforms. Configuring Jenkins is straightforward through its intuitive web interface, which features real-time error checks and embedded assistance. With a plethora of plugins accessible in the Update Center, Jenkins seamlessly integrates with nearly every tool utilized in the continuous integration and delivery pipeline. Its plugin architecture allows for significant expandability, offering almost limitless options for enhancing Jenkins’s functionality. Additionally, Jenkins can efficiently allocate tasks across multiple machines, significantly accelerating the build, testing, and deployment processes across various environments, which ultimately leads to increased productivity. This adaptability makes Jenkins a key player in modern software development workflows.

Bamboo excels in providing exceptional support for the "delivery" component of continuous delivery. Its deployment projects streamline the often tedious process of releasing software across various environments, all while granting you the ability to manage permissions tailored to each specific environment, ensuring a smooth and controlled deployment experience. This feature enhances the overall efficiency and reliability of the software delivery process.

Develop and test your system using Simulink prior to implementing it on actual hardware. This allows you to explore and apply innovative designs that might typically be overlooked, all without the need to engage in C, C++, or HDL programming. By modeling both the system you are testing and the physical plant, you can investigate a broader design landscape. Your entire team can benefit from a unified multi-domain platform that simulates the interactions of all system components. You can also package and share your simulation results with team members, suppliers, and clients for collaborative feedback. This approach helps minimize costly prototypes by allowing you to experiment with scenarios that might otherwise be deemed too risky or impractical. Use hardware-in-the-loop testing and rapid prototyping to confirm your design's effectiveness. With this method, you can ensure traceability throughout the process, from requirements gathering to design and code development. Rather than manually crafting thousands of lines of code, you can automatically generate high-quality C and HDL code that mirrors your original Simulink model. Finally, deploy this code directly onto your embedded processor or FPGA/ASIC for seamless integration and operation. This comprehensive approach not only streamlines development but also enhances overall project efficiency.

VxWorks®, a leading real-time operating platform in the industry, provides all the performance, reliability, safety and security capabilities you need for the most critical infrastructure's embedded computing systems. VxWorks is a preemptive, deterministic RTOS that prioritizes real-time embedded applications. It has low latency and minimaljitter. VxWorks has many security features that address the evolving security threats connected devices face at every stage, from boot-up to operation to data transfer to powered off. VxWorks has been certified to IEC 61508, ISO 26262, and DO-178C safety standards. VxWorks is built on an extensible, future-proof architecture that allows you to quickly respond to changing market demands, customer needs, technological advancements, and preserves your investment.

Developed in collaboration with top chip manufacturers over a span of 15 years, FreeRTOS is now downloaded approximately every 170 seconds and stands as a top-tier real-time operating system (RTOS) tailored for microcontrollers and small microprocessors. Available at no cost under the MIT open source license, FreeRTOS encompasses a kernel along with an expanding collection of IoT libraries that cater to various industries. Prioritizing reliability and user-friendliness, FreeRTOS is renowned for its proven durability, minimal footprint, and extensive device compatibility, making it the go-to standard for microcontroller and small microprocessor applications among leading global enterprises. With a wealth of pre-configured demos and IoT reference integrations readily available, users can easily set up their projects without any hassle. This streamlined process allows for rapid downloading, compiling, and quicker market entry. Furthermore, the ecosystem of partners offers a diverse range of options, including both community-driven contributions and professional support, ensuring that users have access to the resources they need for success. As technology continues to evolve, FreeRTOS remains committed to adapting and enhancing its offerings to meet the ever-changing demands of the industry.

Accelerate the launch of your critical embedded systems with our commercial real-time operating system (RTOS), along with our comprehensive development tools and services. BlackBerry QNX provides a proven RTOS, hypervisor, and a suite of embedded software designed to ensure your success. Our platform is the preferred choice for applications ranging from ventilators and train control systems to factory automation and medical robotics. Regardless of whether your focus is on achieving safety certification, enhancing security, or maximizing performance, our solutions can help you develop more dependable products. If your goals include improving security or ensuring safety, or if you aim to simplify your cross-platform development workflow, we are here to assist. We specialize in bringing your projects to fruition with an RTOS and hypervisor specifically designed for embedded systems, including options that come pre-certified. Our modular microkernel architecture not only enhances reliability but also reduces the need for duplicative OS development efforts across various products, allowing for more efficient use of resources. By choosing BlackBerry QNX, you are investing in the future of embedded systems development.

Contemporary vehicles, aircraft, and other intricate industrial products consist of numerous electronic elements that work harmoniously to deliver essential functionalities. Beneath these sophisticated systems lies a vast array of embedded software code, amounting to millions of lines, which guarantees seamless operation across various scenarios. Ansys SCADE Suite significantly lowers safety certification expenses by streamlining the design of critical control applications while automating tasks like verification, certified code generation, and documentation creation. Over the last ten years, Ansys SCADE has proven to be an indispensable strategic asset for Subaru in the competitive landscape of launching new hybrid and electric vehicle models, reinforcing the company's dedication to exceptional safety and quality standards. The efficiencies gained during the comprehensive development process of the ECU—without compromising the precision of its control software—have been vital for Subaru in adopting cutting-edge technologies and staying ahead in the automotive market. This innovative approach not only enhances Subaru's product offerings but also strengthens its market position as a leader in automotive safety and technology.

Enhance collaboration among teams and streamline project management by utilizing a cohesive solution for requirements gathering, coding, testing, and release processes. In traditional software development settings, various fragmented tools are often employed to oversee the application lifecycle, leading to disorganized development assets. This disorganization can impede teamwork, reduce clarity, compromise system integrity, and obstruct innovation. Polarion ALM offers a comprehensive solution that promotes project transparency by providing real-time, consolidated management insights. This ensures that all team members understand the objectives of their work, fostering alignment and facilitating progress while safeguarding both integrity and compliance. With this unified approach, teams can react more swiftly and efficiently to emerging business opportunities and evolving customer expectations. Furthermore, this solution enables seamless collaboration among all stakeholders by offering 100% browser-based access to a centralized data repository, enhancing overall productivity and effectiveness.

A robust application platform designed for autonomous driving systems utilizes diverse collective data to perceive the outside environment and make informed driving decisions independently. This system is supported by a scalable distributed computing infrastructure that leverages many-core processors alongside a variety of processor types to deliver the enhanced computational power essential for sophisticated information processing. Furthermore, the platform is designed to be adaptable, enabling software applications to operate across a range of hardware resources while maintaining real-time capabilities to guarantee both safety and reliability in autonomous operations. This versatility ensures that the system can evolve alongside advancements in technology and changing operational requirements.

LynxOS has been utilized in countless embedded devices, demonstrating dependable performance for over three decades in various safety and security-sensitive markets. This operating system offers a proven method for running applications within a Unix-like environment, where a unified kernel manages all resources and application services, making it particularly effective for hardware designs that were developed before the advent of virtualization. We aim to ensure our customers purchase only what is necessary for their specific needs. While real-time operating systems (RTOS) can deliver significant advantages, they are not essential for every embedded system configuration. For a more extensive overview of our resources related to RTOS, we invite you to explore our Embedded Systems Learning Center, which provides valuable information to assist you in making informed software purchasing choices as you design or enhance your system and evaluate potential real-time platform vendors. Moreover, this center is a great resource to help you understand the trade-offs and benefits associated with various embedded system approaches.

Xilinx's AI development platform for inference on its hardware includes a suite of optimized intellectual property (IP), tools, libraries, models, and example designs, all crafted to maximize efficiency and user-friendliness. This platform unlocks the capabilities of AI acceleration on Xilinx’s FPGAs and ACAPs, accommodating popular frameworks and the latest deep learning models for a wide array of tasks. It features an extensive collection of pre-optimized models that can be readily deployed on Xilinx devices, allowing users to quickly identify the most suitable model and initiate re-training for specific applications. Additionally, it offers a robust open-source quantizer that facilitates the quantization, calibration, and fine-tuning of both pruned and unpruned models. Users can also take advantage of the AI profiler, which performs a detailed layer-by-layer analysis to identify and resolve performance bottlenecks. Furthermore, the AI library provides open-source APIs in high-level C++ and Python, ensuring maximum portability across various environments, from edge devices to the cloud. Lastly, the efficient and scalable IP cores can be tailored to accommodate a diverse range of application requirements, making this platform a versatile solution for developers.

Deos™, developed by DDC-I, is a safety-critical real-time operating system (RTOS) that has been rigorously verified according to DO-178C/ED-12C Design Assurance Level A (DAL A) standards specifically for avionics applications. This RTOS supports ARINC 653 APEX and rate monotonic scheduling (RMS), and it is designed to meet the FACE Safety Base Profile requirements. Since its initial verification by Transport Canada in 1998, it has been a trusted solution in the aviation industry, with its certification allowing it to operate in tens of thousands of aircraft. Over the past two decades, Deos has adapted and evolved to incorporate new processors and features, demonstrating its flexibility and resilience. It has also undergone successful audits by a range of global certification authorities, including the FAA, ENAC, JAA, EASA, and CAAC, as well as by designated engineering representatives from various airframe and avionics suppliers, ensuring its continued compliance with industry standards. Its proven track record and ongoing development make it a pivotal component in modern aviation safety systems.

INTEGRITY employs hardware memory protection to effectively isolate and safeguard embedded applications. By utilizing secure partitions, it ensures that every task has the necessary resources to operate correctly while simultaneously shielding the operating system and user tasks from erroneous and harmful code, which encompasses threats like denial-of-service attacks, worms, and Trojan horses. To facilitate developers in expediting their product creation, Green Hills Software provides a comprehensive suite of middleware that has been integrated and validated for use with INTEGRITY, featuring options like FFS, FAT, NFS, and journaling file systems, alongside both IPv4 and IPv6 host and routing networking stacks, as well as a FIPS 140-2 certified Suite B embedded encryption library, among other tools. Notably, each middleware package has undergone pre-integration and rigorous testing to ensure it operates smoothly with INTEGRITY’s sophisticated RTOS features. Furthermore, Green Hills Software also presents tailored platforms for various industries, which encompass a fully integrated ecosystem that includes the INTEGRITY RTOS along with essential development tools, aiming to streamline the development process even further. This cohesive approach not only boosts efficiency but also enhances the overall security of embedded applications.

SAFERTOS® serves as a pre-certified safety Real Time Operating System (RTOS) specifically designed for embedded processors, offering outstanding performance alongside reliable dependability while consuming minimal resources. Customized for your unique processor/compiler combination, SAFERTOS® comes with complete source code and our comprehensive Design Assurance Pack (DAP). This DAP provides full visibility into the entire Design Life Cycle and showcases the exceptional quality of our RTOS solution. Leveraging our significant expertise in Safety Critical design, we have streamlined the certification of SAFERTOS® as part of a product, making the process straightforward and efficient. Developed with a focus on the safety sector, SAFERTOS® incorporates deterministic priority-based scheduling as a core Safety Requirement, ensuring that all efforts are directed towards maintaining predictable behavior throughout its operation. This commitment to reliability not only enhances system performance but also instills confidence in users who rely on such critical applications.

Ada stands out as a cutting-edge programming language embraced by development teams globally for a wide range of critical software applications, spanning from microkernels and compact, real-time embedded systems to extensive enterprise solutions and beyond. The reasons for choosing Ada are clear: it enables the creation of dependable and efficient code, allowing developers to ensure functionality while conserving time and resources. One of Ada’s distinguishing aspects is its ability to help identify and rectify bugs early in the software development life cycle, when rectifying them is most cost-effective. This is crucial for projects that require strict adherence to time or space limitations, as Ada consistently supports the creation of software that prioritizes reliability, safety, and security without compromising on performance. Additionally, Ada is equipped with all the essential features expected from a modern programming language, including advanced capabilities for concurrent programming and multicore support, which are vital for today’s complex software demands. Embracing Ada not only enhances code quality but also fosters a culture of meticulous programming practices within development teams.

LynxSecure® functions as a programmable processor partitioning system that leverages hardware virtualization to effectively isolate computing resources. Its distinctive design, which focuses on least-privilege principles coupled with a fine-grained distributed resource control model, underpins the Lynx MOSA.ic™ Modular Development Framework. This framework aims to foster trust among customers, partners, and stakeholders by facilitating the development of innovative software platforms that significantly reduce costs, risks, and time in the creation and deployment of safe, secure, and connected mission-critical systems utilized in both manned and autonomous military, aerospace, and federal applications. Unlike traditional methods that rely on issuing commands to platform APIs as dictated by a programming manual, LynxSecure empowers developers to directly influence system behavior through a unique system architecture specification that they create, with enforcement carried out exclusively by the processor. This direct control enhances the precision and adaptability of software development in high-stakes environments.

Wind River®, Helix™, Virtualization Platform consolidates multiOS and mixed-criticality apps onto a single edge computing software platform. This simplifies, secures, and future-proofs critical infrastructure solutions in aerospace, defense, industrial and medical markets. Industries must adapt quickly to cloud deployment and modern software while still maintaining their legacy software. Helix Platform allows legacy software, while being run alongside new applications, to be preserved. It also provides all the benefits and consistency of a scalable, agile platform across a wide range edge devices. Highly regulated applications require robust space and time partitioning. Multiple workloads can be combined without certification.

PikeOS is a separation kernel-based hypervisor that supports multiple partitions for many operating systems and applications. It allows you to create smart devices for the Internet-of-Things. PikeOS is the best choice for systems that require protection against Cyber-Security attack due to its separation kernel approach. It is widely used in millions of edge and IoT systems. However, it has also been deployed in critical communications infrastructures. PikeOS combines virtualization and real time with unique technologies that have never been seen before. It allows you to move multiple complex embedded circuit boards into one hardware. It is also able to handle new hardware concepts like Big-SoCs that have multiple heterogeneous cores. PikeOS can run on multiple architectures and support processors that have a memory management unit (MMU).