Enabling AI automation in safety-critical avionics with SAIF
Rapita Systems
Enabling AI automation in safety-critical avionics with SAIF
4:28
How to use AI-driven requirements traceability for faster testing and certification
Rapita Systems
How to use AI-driven requirements traceability for faster testing and certification
39:25
Out of the box solution for multicore analysis
Rapita Systems
Out of the box solution for multicore analysis
39:20
Airborne Safety with FACE™ in the Digital Battlespace
Rapita Systems
Airborne Safety with FACE™ in the Digital Battlespace
44:38
What does AC 20-193 mean for your multicore project? What changed from CAST-32A?
Rapita Systems
What does AC 20-193 mean for your multicore project? What changed from CAST-32A?
53:52
How to verify your multicore RTOS for DO-178C & AC 20-193
Rapita Systems
How to verify your multicore RTOS for DO-178C & AC 20-193
44:21
How similar are AC 20-193 and AA-22-01?
Rapita Systems
How similar are AC 20-193 and AA-22-01?
30:04
What is object code verification in DO-178C? (and how do you do it?)
Rapita Systems
What is object code verification in DO-178C? (and how do you do it?)
1:02:36
How to do worst-case execution time analysis for DO-178C | A case study
Rapita Systems
How to do worst-case execution time analysis for DO-178C | A case study
1:10:06
How to get 100% code coverage for DO-178C | A case study
Rapita Systems
How to get 100% code coverage for DO-178C | A case study
1:07:12
How to do functional testing for DO-178C
Rapita Systems
How to do functional testing for DO-178C
53:23
How to understand and verify multicore interference for DO-178C
Rapita Systems
How to understand and verify multicore interference for DO-178C
46:58
Rapita Systems — Safety Through Quality
Rapita Systems
Rapita Systems — Safety Through Quality
1:38
Simulation for the Motorola 68020 microprocessor with Sim68020
Rapita Systems
Simulation for the Motorola 68020 microprocessor with Sim68020
9:05
How to mitigate interference in multicore processors for DO-178C
Rapita Systems
How to mitigate interference in multicore processors for DO-178C
52:25
How to integrate and verify time-critical applications on DO-178C multicore platforms
Rapita Systems
How to integrate and verify time-critical applications on DO-178C multicore platforms
1:09:09
Multicore Software Verification with RVS 3.22
Rapita Systems
Multicore Software Verification with RVS 3.22
2:07
How to certify multicore DO-178C software with MACH178 Foundations
Rapita Systems
How to certify multicore DO-178C software with MACH178 Foundations
3:30
Visualize call dependencies with RVS
Rapita Systems
Visualize call dependencies with RVS
0:39
Streamlined software verification with RVS 3.21
Rapita Systems
Streamlined software verification with RVS 3.21
1:45
Testing using the RapiTest Editor
Rapita Systems
Testing using the RapiTest Editor
2:39
Launching critical software to success with RVS 3.20
Rapita Systems
Launching critical software to success with RVS 3.20
1:30
Kickstart your verification with RVS tutorials
Rapita Systems
Kickstart your verification with RVS tutorials
1:03
Viewing software behavior at a glance with RVS treemaps
Rapita Systems
Viewing software behavior at a glance with RVS treemaps
1:13
Using support functions with RapiTest
Rapita Systems
Using support functions with RapiTest
0:48
Streamlined software verification with RVS 3.19
Rapita Systems
Streamlined software verification with RVS 3.19
1:56
Analyze code complexity with RVS
Rapita Systems
Analyze code complexity with RVS
1:00
Sequence analysis with RapiTime
Rapita Systems
Sequence analysis with RapiTime
1:52
Streamlined verification with RVS 3.18
Rapita Systems
Streamlined verification with RVS 3.18
1:31
Gregory Krzyston Interview - Rapita Career Profile
Rapita Systems
Gregory Krzyston Interview - Rapita Career Profile
3:05
Complementary DO-178C verification with Ansys SCADE Test and RVS
Rapita Systems
Complementary DO-178C verification with Ansys SCADE Test and RVS
1:47
Enabling cost-effective modular avionics through the FACE standard with Rapita, Bell and DDC-I
Rapita Systems
Enabling cost-effective modular avionics through the FACE standard with Rapita, Bell and DDC-I
7:11
MACH178 - Multicore Avionics Certification for High integrity DO-178C projects
Rapita Systems
MACH178 - Multicore Avionics Certification for High integrity DO-178C projects
3:10
Accelerated verification with RVS 3.17
Rapita Systems
Accelerated verification with RVS 3.17
1:27
Generating test templates with RapiTest
Rapita Systems
Generating test templates with RapiTest
2:19
Merging timing results with RapiTime
Rapita Systems
Merging timing results with RapiTime
0:48
Custom multicore exports with RVS
Rapita Systems
Custom multicore exports with RVS
0:59
Out of the box software verification with Deos and RVS
Rapita Systems
Out of the box software verification with Deos and RVS
1:05
Tool qualification with RVS
Rapita Systems
Tool qualification with RVS
1:51
Revolutionized testing with RVS 3.16
Rapita Systems
Revolutionized testing with RVS 3.16
0:57
Analyzing results from multicore timing analysis
Rapita Systems
Analyzing results from multicore timing analysis
1:52
Using time bands to apply instrumentation with RapiTime
Rapita Systems
Using time bands to apply instrumentation with RapiTime
1:08
Easily configurable analysis with RVS
Rapita Systems
Easily configurable analysis with RVS
2:25
Rapita Systems Team Profile: Hashem Ghazzawi, Account Manager
Rapita Systems
Rapita Systems Team Profile: Hashem Ghazzawi, Account Manager
3:30
Supporting multicore timing analysis with RVS 3.15
Rapita Systems
Supporting multicore timing analysis with RVS 3.15
1:36
How to verify multicore hardware & software for avionics
Rapita Systems
How to verify multicore hardware & software for avionics
1:04:32
Multicore Timing Analysis Demo
Rapita Systems
Multicore Timing Analysis Demo
6:53
Webinar: Solving DAL-A Safety Certification Challenges for Military Avionics Systems
Rapita Systems
Webinar: Solving DAL-A Safety Certification Challenges for Military Avionics Systems
1:03:10
Tool automation in multicore timing analysis
Rapita Systems
Tool automation in multicore timing analysis
7:08
Modular avionics: Future Airborne Capability Environment (FACE) with Rapita, Bell and DDC-I
Rapita Systems
Modular avionics: Future Airborne Capability Environment (FACE) with Rapita, Bell and DDC-I
7:11
Testing using spreadsheets in RapiTest
Rapita Systems
Testing using spreadsheets in RapiTest
3:12
How the Solar Orbiter's Energetic Particle Detector software is verified
Rapita Systems
How the Solar Orbiter's Energetic Particle Detector software is verified
3:23
Back-to-back testing with Rapita Verification Suite and SCADE Test
Rapita Systems
Back-to-back testing with Rapita Verification Suite and SCADE Test
46:03
Enabling cost-effective modular avionics through the FACE standard with Rapita, Bell and DDC-I
Rapita Systems
Enabling cost-effective modular avionics through the FACE standard with Rapita, Bell and DDC-I
7:11
Streamlined software verification with RVS 3.14
Rapita Systems
Streamlined software verification with RVS 3.14
1:53
Easily manage test runs with RapiTest
Rapita Systems
Easily manage test runs with RapiTest
1:03
Optimizing tests to run after code changes with RVS
Rapita Systems
Optimizing tests to run after code changes with RVS
2:25
Clear qualification guidance with RVS qualification kits
Rapita Systems
Clear qualification guidance with RVS qualification kits
0:57
Justifying untestable code with RapiCover
Rapita Systems
Justifying untestable code with RapiCover
5:01
Continuous verification with RVS and Bamboo
Rapita Systems
Continuous verification with RVS and Bamboo
2:08
Continuous verification with RVS and Jenkins
Rapita Systems
Continuous verification with RVS and Jenkins
2:16
Zero footprint timing analysis with RapiTime Zero
Rapita Systems
Zero footprint timing analysis with RapiTime Zero
0:52
Zero footprint system event tracing with RapiTask Zero
Rapita Systems
Zero footprint system event tracing with RapiTask Zero
0:47
Zero footprint coverage analysis with RapiCover Zero
Rapita Systems
Zero footprint coverage analysis with RapiCover Zero
0:51
How does integrated modular avionics apply to multicore software?
Rapita Systems
How does integrated modular avionics apply to multicore software?
32:08
System event tracing with RapiTask
Rapita Systems
System event tracing with RapiTask
0:39
Execution time analysis with RapiTime
Rapita Systems
Execution time analysis with RapiTime
1:09
Rapita Verification Suite (RVS): On-target software verification for critical embedded systems
Rapita Systems
Rapita Verification Suite (RVS): On-target software verification for critical embedded systems
1:53
Merging coverage from different builds
Rapita Systems
Merging coverage from different builds
2:33
Merging coverage from multiple tests with RapiCover
Rapita Systems
Merging coverage from multiple tests with RapiCover
1:27
Requirements traceability with RapiTest (ReqIF)
Rapita Systems
Requirements traceability with RapiTest (ReqIF)
2:12
Structural coverage analysis with RapiCover
Rapita Systems
Structural coverage analysis with RapiCover
1:15
Functional testing with RapiTest
Rapita Systems
Functional testing with RapiTest
1:50
Identifying Race Conditions using Multi-Threaded Testing
Rapita Systems
Identifying Race Conditions using Multi-Threaded Testing
1:53
How to verify multicore RTOS Partitioning for DO-178C (CAST-32A) projects
Rapita Systems
How to verify multicore RTOS Partitioning for DO-178C (CAST-32A) projects
1:22:25
How to demonstrate freedom from interference for multicore ISO 26262 projects
Rapita Systems
How to demonstrate freedom from interference for multicore ISO 26262 projects
1:04:16
How to certify multicore timing analysis for DO-178 Projects
Rapita Systems
How to certify multicore timing analysis for DO-178 Projects
48:31