Dr Guillem Bernat
- Chief Executive Officer
- Rapita Systems
Dr Guillem Bernat is the CEO of Rapita Systems Ltd. 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 commercialise technology for measurement based worst-case execution time analysis technology. Rapita Systems has grown to provide a set of software verification tools for safety critical systems including timing analysis, WCET analysis and structural code coverage to satisfy DO-178B/C and ISO26262 objectives. 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.
Sessions
-
Multi-core and Multi-systems
The complexity of multi-core and multi-system architectures, often built using heterogeneous components like Systems on Chip (SoC), and the mixing of multi-core processors with Open Systems Architecture, provide challenges to test avionics systems, and make it difficult to understand their behavior and define comprehensive testing requirements. Traditional testing methods, designed for single-core systems, are not adequate for verifying the correctness and behavior of multicore systems. Issues like data control coupling, safety critical multicore timing analysis, determinism and the need for extensive coverage testing further complicate the process. What are the latest AMC20-193 guidelines, having replaced CAST-32A? It is important to understand the underlying hardware and software components to effectively test and verify multicore and multisystem avionics systems.