RVS 3.19 Launched
Rapita is proud to be an ISOLDE Partner
Rapita and SYSGO underline partnership
RVS 3.18 Launched
Measuring response times and more with RapiTime
Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Supporting modern development methodologies for verification of safety-critical software
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
DASC 2023
DO-178C Multicore In-person Training (Huntsville)
HISC 2023
NXP's MCFA 2023
Dr. Guillem Bernat is the Head of Sales and a founder of Rapita Systems. He received his PhD in Computer Science from the Universitat de les Illes Balears in Spain in 1998 and then took a lecturing position at the Real-Time Systems Group at the University of York in the UK. In 2004, he founded Rapita Systems to commercialize technology for measurement-based worst-case execution time (WCET) analysis technology. Rapita Systems has since grown to provide industry-leading solutions for verification of critical systems, including software for timing and WCET analysis, structural coverage analysis and functional testing, and services including multicore timing analysis. Dr. Bernat has more than 70 published papers in international conferences and journals, has lectured extensively in real-time systems and is a frequent speaker at international conferences.
Links:
