Static Analysis of Contextual Memory Accesses for Safe Memory Sharing

Abstract

Real-time kernels must carefully control accesses to memory belonging to different protection domains. This work studies static analysis of contextual memory accesses in systems where statically generated data may be shared between kernel and user-level components, making conventional memory-space access rules more difficult to enforce.

Fabien Siron

Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.