Rapita Systems Ltd.
Rapita Systems is a leading supplier of software verification tools and services, providing quality solutions to the global high-integrity aerospace and automotive electronics industries.
- +44 1904 413945
- info@rapitasystems.com
- Atlas House
Osbaldwick Link Road
York, YO10 3JB
United Kingdom
Filter Results By:
Products
Applications
-
product
SWIR and VIS-SWIR Cameras
A range of InGaAs based cameras offering “best in class” sensitivity in the region up to 1700nm.
-
product
RTOS Scheduling Visualization
RapiTask
*Examine Ada, C or C++ applications via scheduling visualization*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues*Compare scheduling algorithms from different RTOSs
-
product
Functional Testing For Critical Software
RapiTest
*Requirements-based testing for Ada, C & C++ on-host & target*Reduce test authoring effort through easy-to-use test formats*Manage project artifacts with requirements traceability*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
product
Low-overhead Coverage Analysis For Critical Software
RapiCover
* Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target* Reduce test builds needed for analysis on constrained targets* Save time with efficient merge and mark verification workflow* Simplify verification by integrating with your CI tool* Produce evidence for DO-178 and ISO 26262 certification
-
product
In-depth Execution Time Analysis For Critical Software
RapiTime
*Timing analysis (inc. WCET) for Ada, C & C++ on-target & host**Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
product
Embedded Engineering Solutions
Our engineering solutions support the development of safety-critical embedded systems. We support systems, hardware and software engineering, software V&V including multicore timing analysis, the development of efficient automated test environments, and develop custom tools to meet verification needs.
-
product
Proven Testing Solutions for Critical Software
V&V Services
*Unit and integration testing*System and acceptance testing*DO-178 process definition and optimization*Test automation*Timing analysis and optimization*On-target problem solving*Third-party software verification*Assurance services
-
product
Rapita Verification Suite
RVS
*Run requirements-based tests on your code *Produce coverage evidence including MC/DC from tests *Analyze execution time including worst-case timing on-target *Understand program scheduling behavior *Produce evidence for DO-178 and ISO 26262 certification
-
product
The Ultimate Data Logging Solution
RTBx
*Automatically collect and timestamp execution data from embedded systems*Produce traces for RVS analysis*Easy to get started*Reduce post-processing effort
-
product
Zero-footprint Event-level Scheduling Analysis For Critical Software
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
-
product
Zero-footprint Timing Analysis For Critical Software
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
-
product
Zero-footprint Coverage Analysis For Critical Software
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
