404 - Page not found! Content which may include . The ‘A’ Team comes to the rescue of code coverage analysis Why there’s no standard approach for Data Coupling and Control Coupling Analysis Unlocking DO-178C Compliance Webinar Unlocking DO-178C Compliance Webinar DO-178C Multicore In-person Training (Bristol) DO-178C Multicore In-person Training (Anaheim, CA) Launching critical software to success with RVS 3.20 RVS Space Order Information Kickstart your verification with RVS tutorials DO-178C Multicore In-person Training (Madrid) RVS 3.20 Launched Which certification standards and guidelines does RVS help to meet? How is RapiCover Zero optimized to support my industry? How is RapiCover optimized to support my industry? How is RVS optimized to support my industry? Mitigation of interference in multicore processors webinar Mitigation of Interference in Multicore Processors Webinar Aerospace Tech Week Europe 2024 Introduction to Data Coupling and Control Coupling for DO-178C Upcoming Webinar: Deep Dive on Multicore Interference Deep Dive on Multicore Interference Webinar DO-178C Multicore Certification Workshop at Aerospace Tech Week Data Coupling & Control Coupling Verifying additional code for DO-178C NXP's MCFA 2023 DO-178C Multicore In-person Training (Toulouse) RVS 3.19 Launched Viewing software behavior at a glance with RVS treemaps Using support functions with RapiTest Streamlined software verification with RVS 3.19 Rapita is proud to be an ISOLDE Partner ISOLDE : Demonstrating High Performance RISC-V Processing Systems and Platforms Rapita and SYSGO underline partnership Developing DO-178C and ED-12C-certifiable multicore software DO-178C Multicore In-person Training (Huntsville) How does RapiTime Zero support results collection from multiple test runs? How can RapiTest let me test my unmodified object code? How does RapiTest help me write complex or reusable test logic in my tests? How does RVS supplement my Simulink model-based development workflow? Support functions Collect coverage incrementally Test what you compile Automatically merge timing results Computer Architecture Engineer for Multicore Processor Analysis MATLAB® Simulink® Derisk your multicore certification approach with the MACH178 Blueprint Automotive electronics Software engineering HISC 2023 DASC 2024 Challenges of certifying multicore avionics in line with A(M)C 20-193 objectives - ATW Europe 2023 Data coupling and control coupling solutions for DO-178C DO-178C multicore training MOSA, FACE & SOSA TIM and Expo Measuring response times and more with RapiTime Streamlined software verification with RVS 3.18 RVS 3.18 Launched Sequence analysis with RapiTime VFS Forum 79 Visualize call dependencies with RVS Analyze code complexity with RVS Solid Sands partners with Rapita Systems Aeromart Montreal 2023 Multicore timing solutions for automotive Reduce your automotive V&V effort with Rapita Systems Jama Connect® How can RVS help me understand my code base? How does RapiTime support additional types of timing analysis such as response time analysis? Response time analysis Analyze timing behavior across code sequences How does RVS support the analysis of shared code compiled by build systems with multiple executables? Visualize call dependencies Analyze code complexity Supporting ISO 26262 ASIL D software verification for EasyMile IMPASA - Improving Aerospace Software Assurance SKY AI CONNECT: Advanced Computing and Intelligent Aerospace Technologies Certification Together International Conference Aerospace Tech Week Europe 2023 Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects Efficient DO-178C verification - WCET analysis Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain Rapita Systems SL Efficient DO-178C verification - Code coverage Efficient DO-178C verification - Functional testing RapiCover’s advanced features accelerate the certification of military UAV Engine Control Why choose Rapita? Using RVS to support multicore timing analysis Webinar: Efficient DO-178C verification - WCET analysis Webinar: Efficient DO-178C verification - Code coverage Webinar: Efficient DO-178C verification - Functional testing Multicore DO-178C Training Rapita co-authored paper wins ERTS22 Best paper award Platform Support Packages Order information Complementary DO-178C verification with Ansys(R) SCADE Test(TM) and RVS High Integrity Software Conference 2022 There are how many sources of interference in a multicore system? A look back on Rapita's Multicore DO-178C training in Huntsville Accelerated verification with RVS 3.17 Out-of-the-box software verification with Deos® and RVS RVS 3.17 Launched York Aerospace and Rocketry Society MACH-22 Update Can I use RapiTask to investigate the scheduling behavior of my code that runs on Deos? Can I use RapiTime to verify my code that runs on Deos? Can I use RapiCover to verify my code that runs on Deos? Can I use RVS to verify my code that runs on Deos? Can I use RapiTime to support worst-case execution time analysis of code in my SCADE project? Can I use RVS to test my SCADE model code on target? RVS 3.17 Deos Supporting modern development methodologies for verification of safety-critical software Verifying your Multicore RTOS Flexible licensing software fit for modern working Can I create and manage groups for my floating RVS licenses? ERTS Congress SYSGO + Rapita: Verifying your Multicore RTOS A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project Verifying Multicore Systems supporting the FACE standard - ATW Global 2021 Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021 A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project AMC 20-193 and what it means to you Tool qualification with RVS Rapita Customer Testimonials RVS 3.16 Launched Revolutionized testing with RVS 3.16 Analyzing results from multicore timing analysis How does RapiTime support multicore timing analysis? Testing using the RapiTest Editor Using time bands to apply instrumentation with RapiTime DO-178C Glossary Analyze results from multicore timing analysis Investigate multicore interference effects Integrated testing format RVS 3.16 Launched Air Force FACE and SOSA TIM and Expo Robust partitioning for multicore systems doesn’t mean freedom from interference Easily configurable analysis with RVS DO-178C - Stage of Involvement 4 DO-178C - Stage of Involvement 3 DO-178C - Stage of Involvement 2 DO-178C - Stage of Involvement 1 DO-178C Blog Series: Introduction to DO-178C Supplementing DO-178C activities for CAST-32A 2021 FACE™ Consortium F2F Meetings TSAO-ID: Tri-Service Open Architecture Interoperability Demonstration Aerospace Tech Week Americas 2023 slides.length) {slideIndex = 1} if (n < 1) {slideIndex = slides.length} for (i = 0; i < slides.length; i++) { slides[i].style.display = "none"; } for (i = 0; i < dots.length; i++) { dots[i].className = dots[i].className.replace(" active", ""); } slides[slideIndex-1].style.display = "block"; dots[slideIndex-1].className += " active"; } @media only screen and (min-width: 992px) and (max-width: 1199px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } @media only screen and (min-width: 639px) and (max-width: 992px) { .prev { margin-left: -60%; } .next { margin-right: -10%; } } @media only screen and (max-width: 639px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } "> What's in a good qualification kit? NXP MultiCore for Avionics Conference Aerospace Tech Week – November 2021 Delivering world-class tool support to Collins Aerospace How to perform Cost-Effective Multicore Verification Efficient Verification Through the DO-178C Life Cycle Supporting Collins Aerospace with DO-178C Enterprise Tool Qualification (RVS) NASA selects Rapita Verification Suite for the Lunar Gateway Digital Avionics Systems Conference slides.length) {slideIndex = 1} if (n < 1) {slideIndex = slides.length} for (i = 0; i < slides.length; i++) { slides[i].style.display = "none"; } for (i = 0; i < dots.length; i++) { dots[i].className = dots[i].className.replace(" active", ""); } slides[slideIndex-1].style.display = "block"; dots[slideIndex-1].className += " active"; } @media only screen and (min-width: 992px) and (max-width: 1199px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } @media only screen and (min-width: 639px) and (max-width: 992px) { .prev { margin-left: -60%; } .next { margin-right: -10%; } } @media only screen and (max-width: 639px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } "> York Aerospace and Rocketry Society Update A Commercial Solution for Safety-Critical Multicore Timing Analysis FACE Technical Interchange Meeting - September 2021 Is a Platform Support Package available for my platform? What are Platform Support Packages and why are they needed? Bell selects Rapita for Invictus 360 FARA Project Engineering Services Order Information RapiDaemon DO-178C Tool Qualification Order Information RapiTest DO-178C Tool Qualification Order Information RapiTime DO-178C Tool Qualification Order Information RapiCover DO-178C Tool Qualification Order Information RTBx Order Information RVS Acad Order Information RVS Auto Order Information RVS Aero Order Information How does RVS support Enterprise licensing? My project includes subcontracting organization(s) and I have confidentiality concerns. Can RVS help me? How does RapiTime support results collection from multiple builds or test runs? Multicore timing analysis support with RVS 3.15 Verifying multicore hardware and software Easily migrate to new versions DO-178B/C qualification kit Qualified target integration service ISO 26262 qualification kit Qualified instrumenters Assurance issue notification Introducing the RapiTest Editor Cobertura JUnit Redact source code for confidentiality Custom multicore exports Automatically merge timing results RVS 3.15 Launched Current opportunities at Rapita RVS 3.15 Launched CAST-32A Compliance Update Tool automation in multicore timing analysis Custom multicore exports with RVS MACH178 How to verify multicore hardware & software for avionics Merging timing results with RapiTime CAST-32A Compliance Update July 2021 Automatically merge timing results Compliance with the Future Airborne Capability Environment (FACE) standard Reduce analysis effort through automation Evaluate and select multicore hardware and RTOS Characterize and quantify multicore interference Produce AC 20-193 and AMC 20-193 compliance evidence Target Integration Service Training Consultancy Capture values from hardware event monitors Tool Qualification Kits Qualified Target Integration Service RapiDaemon Qualification Service Template compliance documents RapiDaemons Reports Characterization tests RVS toolsuite Process documents Platform Analysis and Characterization Service Software Analysis and Characterization Service Custom exports Solving DAL-A Safety Certification Challenges for Military Avionics Systems Testing using spreadsheets in RapiTest Analysis and injection engine supports diverse verification activities US export control Space avionics Defense avionics Civil avionics RVS tool integration Hardware engineering RVS Proof of Concept study RapiDaemon Tool Qualification for DO-178C Software verification of the Solar Orbiter's EPD 5 key factors to consider when selecting an embedded testing tool Webinar: Solving DAL-A Safety Certification Challenges for Military Avionics Systems Training courses R&D Ecosystem partnerships Technical working group memberships Support RVS tool qualification Custom tool development Systems engineering Software verification and validation Engineering Services Training Compiler verification Multicore timing analysis Automated test environments DO-178C Guidance: Introduction to RTCA DO-178 certification New paper: Surrogate Applications for Multicore Contention Modeling Can I collect RapiCover Zero results from tests run by a third-party test framework? Can I collect RapiCover results from tests run by a third-party test framework? Can you provide samples of tests written in different RapiTest formats? FACE Technical Interchange Meeting Aerospace TechWeek 2021 Can statistical modeling approaches be used to provide support for timing measurements? Can statistical modeling approaches be used to provide support for multicore timing measurements? Does AC 20-193/AMC 20-193 guidance apply to platforms with multiple different processors? Rapita hosts SCADE webinar with ANSYS Efficient testing with RVS and ANSYS® SCADE® Test™ How do I apply for multicore timing analysis training courses? Who delivers multicore timing analysis training? What are the typical class sizes for multicore timing analysis training courses? Do you provide certificates for completion of multicore timing analysis training courses? Do you offer custom multicore timing analysis training courses? Are multicore timing analysis training courses public or hosted just for my organization? Do multicore timing analysis training courses include practical components? What will I learn from attending multicore timing analysis training course(s)? What multicore timing analysis training courses do you offer? How do I apply for RVS tool training courses? What are the typical class sizes for RVS tool training courses? Do you provide certificates for completion of RVS tool training courses? Who delivers RVS tool training courses? Do you offer custom RVS tool training courses? Are RVS tool training courses public or hosted just for my organization? Do RVS tool training courses include practical components? What will I learn from attending RVS tool training course(s)? What RVS tool training courses do you offer? Has the delivery of your training courses been affected by COVID-19? How are your training courses delivered? Do you offer custom training courses? What types of training course do you offer? Enabling cost-effective modular avionics with FACE Training Efficient testing with RVS and ANSYS® SCADE® Test™ Webinar slides.length) {slideIndex = 1} if (n < 1) {slideIndex = slides.length} for (i = 0; i < slides.length; i++) { slides[i].style.display = "none"; } for (i = 0; i < dots.length; i++) { dots[i].className = dots[i].className.replace(" active", ""); } slides[slideIndex-1].style.display = "block"; dots[slideIndex-1].className += " active"; } @media only screen and (min-width: 992px) and (max-width: 1199px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } @media only screen and (min-width: 639px) and (max-width: 992px) { .prev { margin-left: -60%; } .next { margin-right: -10%; } } @media only screen and (max-width: 639px) { .prev { margin-left: -50%; } .next { margin-right: 0%; } } "> Software verification on the Solar Orbiter How do RapiDaemons support multicore timing analysis? How long has RVS been used for software verification? FACE Virtual Technical Interchange Meeting FACE Virtual Technical Interchange Meeting RVS 3.14 Launched Metrowerks CodeTest - How and why to upgrade Streamlined software verification with RVS 3.14 DO-178C Virtual Workshop Clear qualification guidance with RVS qualification kits Optimizing tests to run after code changes with RVS Easily manage test runs with RapiTest Generating test templates with RapiTest How do RVS qualification kits help me throughout the qualification process? How do RVS qualification kits help reduce review effort? Can you help me migrate my existing tests so they work in RapiTest? How does RapiTime help me select the instrumentation to apply to my code? How does RapiTest help me select which tests to run? How does RapiTest help me write tests? How does RVS support multicore timing analysis? Can I use RapiTest to test my SCADE Test tests on target? Can MACH178 be used to generate assurance evidence incrementally? MATLAB® Simulink® MCDC coverage and WCET analysis Code coverage for space RVS 3.14 Launched Leveraging FACE Conformance Artifacts to Support Airworthiness Do I need to register for support? How long does my support and maintenance contract last? How do I request support? What’s included in the standard software support and maintenance package? Which versions of RVS does support and maintenance cover? Compliance checklists Template tool user documents Clear qualification guidance SCADE Test Migrate tests from other tools Streamlined qualification material VectorCAST® Easily manage test runs Multicore timing analysis Capture values from hardware event monitors Automatically generate test vectors Easily analyze multicore performance metrics MASTECS Project Propelling the next generation of scientists Testing using the RapiTest scripting language Incremental assurance Continuous verification with RVS and Jenkins Zero footprint timing analysis with RapiTime Zero Zero-footprint system event tracing with RapiTask Zero Zero footprint coverage analysis with RapiCover Zero Interference channel analysis support for multicore airworthiness certification with RapiDaemons MACH178 Another successful DO-178C Virtual Training Course complete Incremental Assurance of Multicore Integrated Modular Avionics (IMA) Certifying multicore systems for DO-178C (CAST-32A) projects NXP MCFA 2020 DO-178C Virtual Workshop Assured Multicore Partitioning for FACE Systems RVS 3.13a released NXP MultiCore for Avionics Conference Airborne Safety with FACE™ in the Digital Battlespace Airborne Safety with FACE™ in the Digital Battlespace Requirements for zero-footprint RVS analysis Assured Partitioning for FACE Systems Rapita partners with EIS to expand reach into South African market Code coverage for Ada, C and C++ Future Airborne Capability Environment (FACE) F2F Meeting What is Rapita's Multicore Timing Solution? Why should I use Rapita's solution? Can MACH178 help me with certification aspects of my multicore project? Support Going above and beyond the quality standards Do you provide detailed process descriptions to be incorporated into traditional DO-178C planning documents such as the PSAC and SVP? Airborne Safety with FACE™ in the Digital Battlespace Embedded Industrial Solutions CC. System event tracing with RapiTask eSOL TRINITY hosts Japanese language webinar on execution time analysis with RVS Software support and maintenance Generate test templates Trailblazer Program MDS Intelligence Timing analysis during unit testing Ask the expert: Multicore safety Execution time analysis with RapiTime Is cache partitioning helpful or harmful to multicore timing performance? Day in the life of a Rapita FAE: The New-Starter Experience During COVID-19 FACE Components: Interchangeable but not Equal How the Operating System Segment fits into the FACE architecture Safe Use of Multi-Core Processors Seminar Requirements traceability with RapiTest Multicore Avionics Certification for High-integrity DO-178C projects On-target software verification with RVS Continuous verification with RVS and Bamboo Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets Justifying untestable code with RapiCover Merging coverage from different builds with RapiCover Merging coverage from multiple tests with RapiCover Functional testing with RapiTest RVS 3.13 Launched Achieving robust timing requirements with earlier WCET analysis Tool integration Analyze interference in multicore systems Surrogate RapiDaemon tool Porting and customization Verify hardware event monitors Tuneable RapiDaemons Advanced RapiDaemons Standard RapiDaemons RapiDaemons Support Understand program scheduling behavior Analyze execution time behavior Structural coverage analysis Requirements-based and functional testing Training Celestain Structural coverage analysis with RapiCover RVS 3.10 Launched Streamlined software verification with RVS 3.8 RVS 3.9 launched RVS 3.11 Launched RVS 3.12 Launched Generating low level tests from system tests Evolving language support in RVS: Libadalang Zero-footprint coverage analysis with RapiCover Zero Zero-footprint RTOS event tracing with RapiTask Zero Zero-footprint execution time analysis with RapiTime Zero DO-178B Level A Embraer FCS Multicore Timing Analysis for DO-178C Automating WCET Analysis for DO-178B & DO-178C Seven Roadblocks to 100% Structural Coverage (and how to avoid them) Three steps to avoid software obsolescence in avionic systems Eight top code coverage questions in embedded avionics systems CodeTEST™ Replacement with RVS MASTECS: Multicore analysis service and tools for embedded critical systems HICLASS: Enabling Development of Complex and Secure Aerospace Systems SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction P-SOCRATES: Parallel SOftware framework for time-CRitical mAny-core sysTEmS FRESCOR: Framework for Real-time Embedded Systems based on contracts How are RapiDaemons licensed? What do I get when I get access to RapiDaemons? Do you have a standard set of RapiDaemons for my hardware? Do I need to use RVS tools to use RapiDaemons? How do I use RapiDaemons? How do I know when my testing is complete? How much is enough to satisfy AC 20-193/AMC 20-193? Do you support the analysis of GPU-based architectures for multicore timing behavior? Have you performed platform analysis for my multicore platform? How long does it take to comprehensively analyze the interference channels present in multicore platforms? Is there a standard list of interference channels that I should test? Have projects supported by MACH178 completed FAA or EASA certification? Which components are involved in MACH178? What is MACH178? How do I verify my software’s functional and temporal behavior when instrumentation has been applied? How do I verify my software’s functional and temporal behavior when instrumentation has been applied? How do I verify my software’s functional and temporal behavior when instrumentation has been applied? Can I use RVS tools with my continuous integration environment? How does RapiTest support my traceability workflow? Best usage guidance Qualified instrumenters Tool qualification licensing Qualified target integration service Tool qualification for DO-178 and ISO 26262 DO-178B/C qualification kit ISO 26262 qualification kit RTBx Qualification RTOS-independent scheduling visualization ReqIF format requirements Scripting format Spreadsheet format RVS 3.13 Launched Digital Avionics Systems Conference DO-178C Virtual Training MACH178 Software Verification Services Multicore Timing Solution 500){ jQuery('.floatingbtn').show(); } else { jQuery('.floatingbtn').hide(); } }); */ //put components in appropriate dropdown list jQuery('.pspdetails').appendTo('.detailholder'); jQuery('.psp-item').each(function(){ var psp_text = jQuery(this).text().split(","); var option = jQuery(''); option.attr('data-state',psp_text[2].trim()); option.attr('value',psp_text[1].trim()); option.text(psp_text[1]); option.addClass(psp_text[0].trim()); jQuery('select.'+psp_text[0].trim().split(" ")[0]).append(option); }); //check the decisions made var choices = [0,0,0,0,0]; //ensure someone only selects a debugger/simulator jQuery('.questions .Debugger').change(function(){ jQuery('.questions .Simulator').val("default"); choices[3] = 0; }); jQuery('.questions .Simulator').change(function(){ jQuery('.questions .Debugger').val("default"); choices[2] = 0; }); jQuery('.questions select').change(function(){ var position = jQuery(this).attr('data-position'); if(jQuery(this).find(":selected").attr("data-state") == "Already available"){ choices[position] = 1; } else { choices[position] = 0; } }); function reveal(){ var occurences = jQuery.grep(choices, function (elem) { return elem === 1; }).length; var response = ""; jQuery('.response p').remove(); setTimeout( function() { if (occurences == 4){ jQuery('.responseA').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else if (occurences > 0){ jQuery('.responseB').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else { jQuery('.responseC').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } }, 800); } jQuery('body').on('click','.find-psp',function (e) { e.preventDefault(); if (jQuery('.detailholder .form-success').length == 0){ jQuery('#edit-compiler').val(jQuery('.questions .Compiler option:selected:not(:disabled)').text()) jQuery('#edit-instruction-set').val(jQuery('.questions .Instruction option:selected:not(:disabled)').text()) jQuery('#edit-debugger').val(jQuery('.questions .Debugger option:selected:not(:disabled)').text()) jQuery('#edit-simulator').val(jQuery('.questions .Simulator option:selected:not(:disabled)').text()) jQuery('#edit-rtos').val(jQuery('.questions .RTOS option:selected:not(:disabled)').text()) jQuery('.detailholder .submit-form').click(); } reveal(); }); }); } Zero-footprint event-level scheduling analysis for critical software Why choose RapiTaskZero? Gain insight into your application through scheduling analysis Locate rare timing events that need attention Identify bottlenecks in your application by analyzing capacity issues Compare scheduling algorithms from different RTOSs Visualize scheduling behavior of libraries without source code Request a demoCheck PSP compatibility "> RapiTaskZero 500){ jQuery('.floatingbtn').show(); } else { jQuery('.floatingbtn').hide(); } }); */ if (window.location.href.indexOf("/layout") > -1){ jQuery('.hide').show(); jQuery('div').removeClass("hide"); jQuery('div').removeClass("invisible"); alert("we're here"); } //put components in appropriate dropdown list jQuery('.pspdetails').appendTo('.detailholder'); jQuery('.psp-item').each(function(){ var psp_text = jQuery(this).text().split(","); var option = jQuery(''); option.attr('data-state',psp_text[2].trim()); option.attr('value',psp_text[1].trim()); option.text(psp_text[1]); option.addClass(psp_text[0].trim()); jQuery('select.'+psp_text[0].trim().split(" ")[0]).append(option); }); //check the decisions made var choices = [0,0,0,0,0]; //ensure someone only selects a debugger/simulator jQuery('.questions .Debugger').change(function(){ jQuery('.questions .Simulator').val("default"); choices[3] = 0; }); jQuery('.questions .Simulator').change(function(){ jQuery('.questions .Debugger').val("default"); choices[2] = 0; }); jQuery('.questions select').change(function(){ var position = jQuery(this).attr('data-position'); if(jQuery(this).find(":selected").attr("data-state") == "Already available"){ choices[position] = 1; } else { choices[position] = 0; } }); function reveal(){ var occurences = jQuery.grep(choices, function (elem) { return elem === 1; }).length; var response = ""; jQuery('.response p').remove(); setTimeout( function() { if (occurences == 4){ jQuery('.responseA').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else if (occurences > 0){ jQuery('.responseB').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else { jQuery('.responseC').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } }, 800); } jQuery('body').on('click','.find-psp',function (e) { e.preventDefault(); if (jQuery('.detailholder .form-success').length == 0){ jQuery('#edit-compiler').val(jQuery('.questions .Compiler option:selected:not(:disabled)').text()) jQuery('#edit-instruction-set').val(jQuery('.questions .Instruction option:selected:not(:disabled)').text()) jQuery('#edit-debugger').val(jQuery('.questions .Debugger option:selected:not(:disabled)').text()) jQuery('#edit-simulator').val(jQuery('.questions .Simulator option:selected:not(:disabled)').text()) jQuery('#edit-rtos').val(jQuery('.questions .RTOS option:selected:not(:disabled)').text()) jQuery('.detailholder .submit-form').click(); } reveal(); }); }); } Zero-footprint timing analysis for critical software Why choose RapiTimeZero? Collect timing metrics from systems that produce branch traces Identify code to optimize for worst-case behavior Debug rare timing events Simplify verification through integration with your CI tool Analyze timing behavior of libraries without source code Request a demoCheck PSP compatibility "> RapiTimeZero 500){ jQuery('.floatingbtn').show(); } else { jQuery('.floatingbtn').hide(); } }); */ //put components in appropriate dropdown list jQuery('.pspdetails').appendTo('.detailholder'); jQuery('.psp-item').each(function(){ var psp_text = jQuery(this).text().split(","); var option = jQuery(''); option.attr('data-state',psp_text[2].trim()); option.attr('value',psp_text[1].trim()); option.text(psp_text[1]); option.addClass(psp_text[0].trim()); jQuery('select.'+psp_text[0].trim().split(" ")[0]).append(option); }); //check the decisions made var choices = [0,0,0,0,0]; //ensure someone only selects a debugger/simulator jQuery('.questions .Debugger').change(function(){ jQuery('.questions .Simulator').val("default"); choices[3] = 0; }); jQuery('.questions .Simulator').change(function(){ jQuery('.questions .Debugger').val("default"); choices[2] = 0; }); jQuery('.questions select').change(function(){ var position = jQuery(this).attr('data-position'); if(jQuery(this).find(":selected").attr("data-state") == "Already available"){ choices[position] = 1; } else { choices[position] = 0; } }); function reveal(){ var occurences = jQuery.grep(choices, function (elem) { return elem === 1; }).length; var response = ""; jQuery('.response p').remove(); setTimeout( function() { if (occurences == 4){ jQuery('.responseA').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else if (occurences > 0){ jQuery('.responseB').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } else { jQuery('.responseC').clone().appendTo('.response'); jQuery('.response').addClass("responseshow"); } }, 800); } jQuery('body').on('click','.find-psp',function (e) { e.preventDefault(); if (jQuery('.detailholder .form-success').length == 0){ jQuery('#edit-compiler').val(jQuery('.questions .Compiler option:selected:not(:disabled)').text()) jQuery('#edit-instruction-set').val(jQuery('.questions .Instruction option:selected:not(:disabled)').text()) jQuery('#edit-debugger').val(jQuery('.questions .Debugger option:selected:not(:disabled)').text()) jQuery('#edit-simulator').val(jQuery('.questions .Simulator option:selected:not(:disabled)').text()) jQuery('#edit-rtos').val(jQuery('.questions .RTOS option:selected:not(:disabled)').text()) jQuery('.detailholder .submit-form').click(); } reveal(); }); }); }; Zero-footprint coverage analysis for critical software Why choose RapiCoverZero? Collect coverage from systems that produce branch traces Save time with efficient merge and mark verification workflow Simplify verification through integration with your CI tool Collect coverage for libraries without source code Request a demo Check PSP compatibility "> RapiCoverZero RVS RapiTest RapiTask RapiTime Multicore for ISO 26262 - Demonstrating freedom from interference webinar Out of the box Solution for Multicore Analysis - Rapita & DDC-I Multicore Timing for DO-178 Projects Webinar Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects Validation of COTS Ada Compiler for Safety-Critical Applications Establishing WCET for the Airbus A330 Multi-Role Transport Tanker CDS gets WCET support for their next-generation custom processor OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover Collins Aerospace: DO-178C code coverage analysis Automating schedulability analysis of on-board software on the Solar Orbiter Triumph Integrated Systems: DO-178C Verification and Validation Alenia Aermacchi (Leonardo) M-346 Wide Body Jet Flight Control System Infineon SafeTCore drivers BAE Systems Hawk Mission Computer RapiCover Tutorials Flexible test authoring Execution Time Profile Chart Automatically merge coverage Justification templates Custom fields Migrate justifications when code changes Multi-justifications Justify untestable code Merge Coverage utility Configurable export formats Functional testing Produce certification evidence Zero footprint coverage analysis Source to object code traceability Filter by scopes Aggregate Profile Chart Platform support Automate testing on host and target Multicore support Collect coverage across power cycles Comprehensive verification toolsuite Shared integration with instrumentation-based RVS tools Code viewer RVS Project Manager View detailed timing metrics at a glance Advanced search function Documentation Treemaps Easily filter results Invocation Timeline Chart Floating licenses Annual licenses Perpetual licenses Bamboo Portable test environments Configurable export formats Configurable export formats Compare reports Customizable color scheme Understand scheduling behavior Locate rare timing events Analyze system capacity issues Customizable task colors Rewind Trace Portable justification library Optimize code for timing performance Automatically reformat spreadsheet tests Template integrations Customizable workflow Requirements traceability Software Configuration Management Efficient integration workflow Zero footprint system event tracing Zero footprint execution time analysis Comprehensive language support Shared integration with zero-footprint RVS tools Jenkins Flexible licensing options Node-locked licenses Assurance issue notification Structural coverage analysis Compiler extension editor Optimal Dataset Calculator Datasets for managing tests Filter by datasets Advanced MC/DC analysis Worst-case execution time analysis Zero footprint software verification Lauterbach debugger Flexible integration strategies Produce certification evidence Optimize code for timing performance Remove coverage from reports iSYSTEM debugger C++ Assembly Mixed language support Ada C Low target overheads Clone integration Compiler wrappers Integrate with existing build systems Easily configurable analysis Efficient integration workflow OS-only instrumentation System event tracing Efficient, configurable analysis Execution time analysis Efficient MC/DC target library Identify tests that hit each element Highlight missing MC/DC vectors Legacy Ada testing tool Race condition testing Access private objects Black box testing White box testing Flexible stubbing Efficient test generation Web-based manager Easy to get started On-the-fly filtering Automatically timestamp data Flexible connection strategies Automated tracing High-speed continuous processing Which languages does RapiCover Zero support? Can I collect coverage data across power cycles and reset sequences? Can I view my results in the context of my project source code? How does RapiCover Zero work? Which platforms and data collection mechanisms do zero-footprint RVS tools support? Which coverage criteria can I measure using RapiCover Zero? Can RapiCover Zero collect MC/DC results? How do I learn more about RapiTask Zero? Which languages does RapiTask Zero support? If I have RapiTime or RapiTime Zero, do I still need RapiTask or RapiTask Zero? How are my results presented? Can I use RapiTask Zero to analyze the behavior of multicore architectures? How does RapiTask Zero show OS events such as inter-process communication (semaphores, messages), timers, hardware I/O etc? Why do I need RapiTask Zero when I have tools from my RTOS vendor? How does RapiTask Zero work? What is RapiTask Zero? How do I learn more about RapiTime Zero? Which languages does RapiTime Zero support? How does RapiTime Zero help me investigate timing behavior? Can I use RapiTime Zero to analyze the timing behavior of multicore architectures? Which types of timing data does RapiTime Zero report? How does RapiTime Zero work? What is RapiTime Zero? How do I learn more about RapiCover Zero? How are my results presented? What happens when I change my code? Can I add manual configurations that flag my code as being exempt/uncoverable? How do you support RVS users? What happens if I encounter an issue while using an RVS tool? How are RVS products licensed? How large a code base can RVS tools handle? What is RapiCover Zero? How does RapiTask show OS events such as inter-process communication (semaphores, messages). timers, hardware I/O etc? Which coverage criteria can I measure using RapiCover? How long does the tool qualification process take? Do you offer support for projects with a long life cycle? What if I discover an error in your qualification support? What if I make a change to my RVS integration after qualification? What is the scope of your qualification support? Why is your tool qualification process more complex than that for my other tools? Can you help me provide all of the evidence I need to qualify RVS for use in my project? You don’t offer qualification support for using the RVS tool I’m using in my safety context. What can I do? Which RVS tools do you provide qualification support for? Which input languages to the RVS tools can be qualified? What standards do you use for tool qualification? How do I learn more about RapiTest? Can I collect coverage incrementally from multiple builds? What is the RTBx? Can I determine timing metrics on my target, which has limited RAM and/or ROM? How does RapiTime help me investigate timing behavior? How are my results presented? How are my results presented? If I have RapiTime, do I still need RapiTask? Can I only use RapiTask with RapiTime, or can I use RapiTask as a standalone tool? Why do I need RapiTask when I have tools from my RTOS vendor? Can I use RapiTask to analyze the behavior of multicore architectures? How are my results presented? Which types of timing data does RapiTime report? How does RapiTime calculate the worst-case execution time of my software? Can I use RapiTime to analyze the timing behavior of multicore architectures? In addition to guaranteeing that timing deadlines are met, how else can I use RapiTime? How do I determine the execution time overhead from instrumenting my source code? My software is part of a product that must be certified against a safety guideline. Can RapiTime be qualified for use in my project? Can I determine coverage for a decision containing large numbers of conditions? Can I collect coverage data across power cycles and reset sequences? My software is part of a product that must be certified against a safety guideline. Can RapiCover be qualified for use in my project? What types of testing does RapiTest support? How do I write tests for use with RapiTest? What kind of stubbing behavior does RapiTest support? How many tests can RapiTest run at once? How are my results presented? My software is part of a product that must be certified against a safety guideline. Can RapiTest be qualified for use in my project? Which languages does RapiCover support? Which languages does RapiTime support? Which languages does RapiTest support? Which languages does RVS support? Can I use RapiTask with my build system? Can I use RapiTime with my build system? Can I use RapiTest with my build system? Can I use RapiCover with my build system? Which hardware architectures do RVS tools support? Can I use RVS with my build system? Which host operating systems can RVS be used on? Can I use RVS on my target, which has limited RAM and/or ROM? My software is part of a product that must be certified against a safety guideline. Can RVS tools be qualified for use in my project? How do RVS tools collect data from my target? How does RVS fit into my development environment? How do I learn more about RVS? Which industries use RVS? How does RVS work? How does RapiTask work? How does RapiTime work? How does RapiTest work? How does RapiCover work? Zero-footprint verification with RVS 3.12 Rapita hosts successful webinar with DDC-I ASC: Airborne Software Capacity PROXIMA: Probabilistic real-time control of mixed-criticality multicore and manycore systems AMASS: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems PRESTO: Improvements of industrial real-time embedded systems development process AUTOSAC: Automated generation of tests from Spark Ada Contracts PROARTIS: PRObabilistic Analyzable Real Time Systems ParMERASA: Multi-Core Execution of Parallelised Hard Real-Time Applications CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems VeTeSS: Verification and Testing to Support Functional Safety Standards MERASA: Multi-Core Execution of Hard Real-Time Applications ALL-TIMES: Integrating European Timing Analysis Technology COLA: Cache Optimizations for LEON Analyses eSOL® TRINITY ScaleIL Dedicated Systems KONAKA Savunma eSOL® Cinawind IMicro Systems Pvt LTD HiRain® What is RapiTask? What is RapiTest? What is RapiTime? What is RapiCover? What is RVS? How do I learn more about RapiTime? How do I learn more about RapiCover? How do I learn more about RapiTask? I’m interested in your full qualification package. Can you describe the process? Which languages does RapiTask support? I have one computer in the lab, and one in the office. Do I need two licenses? Does my license include access to software support and maintenance? Our licenses are provided via USB license keys. Can we continue to use these? My organization uses an older version of RVS that doesn’t support RLM licensing. How are we affected? We employ third-party contractors, and they need to use RVS for a specific project. How do we manage this? Can multiple people logged in on the same machine use the same license? If I have a floating license, how do I know which licenses are in use at any given time? How do I set up floating license groups? Can I reserve floating licenses for particular users or groups of users? My organization already uses the RLM license server. Can we use it for RVS licensing? Can I use a license server on a virtual machine or docker? Do I need a license server? How do I upgrade my license (e.g. from a nodelocked to floating), or add new tools or features? How do I renew my license? What happens when my license expires? How do I know when my license will expire? How do I find out what licenses I have? How do I check whether I have an active support and maintenance contract, and how do I purchase one? Can I change my annual license to a perpetual license? What is an annual license? What is a perpetual license? Do you use USB license keys? How are your file licenses protected? How are your licenses provided? Which license option is best for my organization? Can I upgrade my node-locked license to a floating license? Can I move my node-locked license to a different machine? What are the limitations of a node-locked license? Where can a floating license be used? What is a floating license? What are "core" and "plugin" licenses? How do I connect RTBx to my target? Which hardware architectures can you analyze? What is Rapita's approach to multicore timing analysis? What components are involved in your multicore timing analysis solution? Why should I use Rapita's solution? Do you test the validity of hardware event monitors? Do you verify the behavior of RapiDaemons? Which metrics can you collect from my multicore platform? Why don't you have a tool that automates multicore timing analysis? How many hardware event monitors can you collect values from per test? Can you analyze systems using asymmetric multiprocessing? Are there any constraints on the application scheduling, supervisor, or hypervisor? Can you quantify our cache partitioning to maximize our performance? How do you ensure that worst-case execution time metrics are not excessively pessimistic? Can you help me optimize the configuration of my multicore system? If my RTOS vendor says they provide robust partitioning, why do I need Rapita? Why can't I do my own multicore timing analysis and certification? Why can I trust Rapita's Multicore worst-case execution time statistics? What are 'porting' and 'configuration' of RapiDaemons What is a RapiDaemon? What is an interference channel? Can your solution help me with certification aspects of my multicore project? What is multicore timing analysis? Which safety standards do you offer qualification support for? What is tool qualification and why do I need to do it? What if I discover a tool bug after qualification? What if you discover a tool bug after qualification? What is the difference between decision coverage and branch coverage? Do you offer services not listed on this page? Can you run projects with security requirements (EYES ONLY/secret) activities? How do you run service projects? How do I collect timestamped data with the RTBx? What is the “maximum sustained tracing rate”? Will the RTBx support my processor running at x MHz? What if I don’t have a spare I/O port? What is the difference between a trace and a map? What is static stack analysis? What is DO-178B? What is ED-12B? What is ED-12C? What is code coverage? What is statement coverage? What is decision coverage? What is DO-178C? What is branch coverage? What is MC/DC? What is a condition? What is CAST 10 decision coverage? What is WCET / Worst-case execution timing? What is dynamic stack analysis? What is on-target testing / embedded testing? What is on-host testing? What are coverage holes? Learn more about: DO-178C Guidance: Introduction to RTCA DO-178 certification Data Coupling & Control Coupling MC/DC Coverage Embedded Software Testing Tools What is CAST-32A? Check out our videos on: Multicore Avionics Certification for High-integrity DO-178C projects On-target software verification with RVS Functional testing with RapiTest Structural coverage analysis with RapiCover Execution time analysis with RapiTime