Safety-Critical Systems

Static analysis of contextual memory accesses in real-time kernels to help enforce safe memory-sharing policies between kernel and application components.