RVS 3.18 Launched
Solid Sands partners with Rapita Systems
Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
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
Flexible licensing software fit for modern working
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
Aerospace Tech Week Europe 2023
Aeromart Montreal 2023
Certification Together International Conference
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:
