Hardware engineering

We provide hardware engineering services to support the development of safety-critical systems, including:

• Benchmarking and optimization to exploit (and compare) parallel heterogeneous processors (multi and many cores, CPUs, GPUs, etc.)
• Application parallelization and configuration (e.g. mapping data/code to memory, thread-level and data-level parallelism, etc)
• FPGA design of interference generators to assess the isolation properties of applications
• Low-level (assembly) programming, performance optimization and debugging for multicore CPUs, GPUs, etc.
• Representative kernel generation for fast performance analysis
• Platform configuration to reach the desired balance between performance isolation and average performance
• Characterization of interference sources (interference channels) in multicore systems
• Analysis of technical reference manuals to produce the analysis documentation required for certification (e.g. interference channel identification, critical configuration setting identification)